Simply Logical: Intelligent Reasoning by Example
by Peter Flach
Publisher: John Wiley 1994
Number of pages: 247
An introduction to Prolog programming for artificial intelligence covering both basic and advanced AI material. A unique advantage to this work is the combination of AI, Prolog and Logic. Each technique is accompanied by a program implementing it. Seeks to simplify the basic concepts of logic programming. Contains exercises and authentic examples to help facilitate the understanding of difficult concepts.
Home page url
Download or read it online for free here:
by Roman Bartak
Prolog is a programming language with precise operational meaning that borrows its basic concepts from logic programming. This text is an introduction to logic programming and Prolog for beginners but it also covers some advanced topics.
by Paul Brna
These notes are designed for undergraduate students who have some programming experience. The function of the text is to provide students studying Artificial Intelligence with an intensive introduction to Prolog, there is a slight bias towards AI.
by F. C. N. Pereira, S. M. Shieber - Center for the Study of Language
A concise introduction to logic programming and the logic-programming language Prolog both as vehicles for understanding elementary computational linguistics and as tools for implementing the basic components of natural-language-processing systems.
by Leon S. Sterling, Ehud Y. Shapiro - The MIT Press
Hitherto, knowledge of how to use Prolog for serious programming has largely been communicated by word of mouth. This textbook sets down and explains for the first time in an accessible form the deeper principles and techniques of Prolog programming.