Prolog and Natural-Language Analysis
by F. C. N. Pereira, S. M. Shieber
Publisher: Center for the Study of Language 2002
Number of pages: 204
This book provides, in one volume, one of the best introductions to prolog programming and one of the best introductions to natural language processing. It is virtually unique in that it shows how to interface a natural language interface to a theorem prover. This book was far ahead of its time when it was published, and it is still far ahead of most of the books written today on NLP.
Home page url
Download or read it online for free here:
by Michael Spivey - Prentice Hall
Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs and implementation techniques. It covers logical theory, programming, and the structure of a simple Prolog implementation.
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.
by Michael A. Covington, Donald Nute, Andre Vellino - Prentice-Hall
Full coverage of the Prolog programming language including the latest ISO standard. Includes ready-to-run code for expert system shells, other intelligent problem-solvers, and algorithms to read foreign file formats, even Lotus spreadsheets.
by Peter Flach - John Wiley
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.