Terms and Conditions:

Ulf Nilsson wrote:Copyright (c) 2000, Ulf Nilsson and Jan Maluszýski. The book may be downloaded and printed for personal use only provided that the text (1) is not altered in any way, and (2) is accompanied by this copyright notice. The book may also be copied and distributed in paper-form for non-profit use only. No other form of distribution is allowed. It is not allowed to distribute the book electronically.

Book excerpts:

What sets this book apart from others on logic programming is the breadth of its coverage. The authors have achieved a fine balance between a clear and authoritative treatment of the theory and a practical, problem-solving approach to its applications. This book introduces major new developments (in 1995, of course) in a continually evolving field and includes such topics as concurrency and equational and constraint logic programming.

This second edition adds a clear and authoritative treatment of the theory, which is combined with an emphasis on practical programming issues. This is a broad and highly readable introduction to the subject for advanced students and programmers.