Open License Computer Books

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 edition introduces major new developments in a continually evolving field and includes such topics as concurrency and equational and constraint logic programming.

The first 10 Prolog Programming Contests took place in Ithaca (1994), Portland (1995), Bonn (1996), Leuven (1997), Manchester (1998), Las Cruces (1999), Paphos (2001), Copenhagen (2002), Mumbay (2003) and Saint-Malo (2004).

The contest organisers have written this book, containing the (slightly reworked) questions and an answer (in Prolog of course) for each question.

The course for which these notes are designed is intended for undergraduate students who have some programming experience and may even have written a few programs in Prolog. They are not assumed to have had any formal course in either propositional or predicate logic.

This book is aimed at the Prolog programmer interested in either building expert systems or experimenting with various expert system techniques. Dennis Merritt chooses a step-by-step approach to building systems, explaining the concepts and showing the Prolog code at each stage. The book builds on simple beginning systems and progresses up to relatively sophisticated expert system tools.

This book takes a pragmatic, rather than theoretical, approach to the language and is designed for programmers interested in adding this powerful language to their bag of tools.