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 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 Markus Triska - metalevel.at
The goal of this material is to bridge the gap between the great Prolog textbooks of the past and the language as it currently is, several decades after these books were written. You will see that many limitations of the past are no longer relevant.
by James Hein - Portland State University
Programming experiments designed to help learning of discrete mathematics, logic, and computability. Most of the experiments are short and to the point, just like traditional homework problems, so that they reflect the daily classroom work.