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 J. R. Fisher - California State Polytechnic University, Pomona
Prolog is a logical and a declarative programming language. This tutorial is intended to help learn the essential, basic concepts of Prolog. The sample programs have been chosen to promote the use of Prolog in an artificial intelligence course.
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 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.