Another Logic Programming Reading List (Updated)

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!

Patrick Blackburn - Johan Bos - Kristina Striegnitz: Learn Prolog Now

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.

Peter Flach: Simply Logical - Intelligent Reasoning by Example

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.

Warren’s Abstract Machine: A Tutorial Reconstruction

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.

Kristina Striegnitz - Patrick Blackburn - Katrin Erk - Stephan Walter - Aljoscha Burchardt - Dimitra Tsovaltzi: Algorithms for Computational Linguistics

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 automata, finite state parsers and regular languages.

Aljoscha Burchardt - Stephan Walter - Alexander Koller - Michael Kohlhase - Patrick Blackburn - Johan Bos: Computational Linguistics

Learn about semantics, lambda calculus and discourse representation theory.

Michael Genesereth: Data Integration

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.