Tuesday, July 17, 2012

Another Logic Programming Reading List

Inspired by David Nolen's recent post, A Logic Programming Reading List, I compiled my own list. Of course my list is biased towards computational linguistics, but I included a book on databases. The titles are freely available on the Internet!

A very accessible introduction to Prolog, written for students of computational linguistics but it can be used by everyone interested in logic programming. The free version contains enough material to get started, so you don't have to buy the paper book.

I loved this book because it contains materials on Herbrand models, resolution, soundness and completeness, SLD-tree forms and cut, yet it is very accessible. Don't be afraid of those big words, it contains examples and its main topic is reasoning about structured knowledge.

If you want to dive deep into Prolog, you can't avoid the Warren Abstract Machine, as it is the target of Prolog compilers. This free ebook will help you to understand efficiency issues in logic programming.

A Prolog based introduction into the basic algorithms and methods of computational linguistics. It is "old-school", so it is dealing with rule-based techniques. At least, you should have a look at on the section on finite state automate, finite state parsers and regular languages.

Learn about semantics, lambda calculus and discourse representation theory.

Datalog is back! It is deeply rooted in logic programming, and this book puts it into context.

Fernando C.N. Pereira - Stuart M. Shieber: Prolog and Natural Language Analysis
This classic presupposes some knowledge of logic, formal language theory, and linguistics. If you are a linguist, this means Partee et al.


  1. This comment has been removed by the author.

  2. There are several good books on prolog, besides of mentioned - these, for example