Prolog Books, Tutorials and Implementations
Copied and updated from http://ideone.com/mKB5l (with clicky links)
Introduction to Prolog Videos
Patrick Blackburn, Johan Bos, and Kristina Striegnitz
Prolog Programming in Depth
Michael A. Covington, Donald Nute, and André Vellino
Natural Language Processing for Prolog Programmers
Michael A. Covington
http://www.covingtoninnovations.com/books.html#nlp
John R. Fisher
Amzi!
Guide to Prolog Programming
ROMAN BARTÁK
Prolog for Software Engineering
Peter B. Reintjes
P-99: Ninety-Nine Prolog Problems
Werner Hett
Prolog Programming A First Course
Paul Brna
Introduction to Prolog for Mathematicians
Jocelyn Paine
John Fletcher
Frequently Asked Questions - comp.lang.prolog
Public-domain Prolog library
Jocelyn Paine
W.F. Clocksin and C.S. Mellish
(!) W.F. Clocksin
Logic, Programming and Prolog
Ulf Nilsson and Jan Maluszynski
Computing with Logic: Logic Programming with Prolog
(!) David Maier and David S. Warren
Artificial Intelligence through Prolog
Neil C. Rowe
Simply Logical: Intelligent Reasoning by Example
Peter Flach
Prolog Programming for Artificial Intelligence
Ivan Bratko
The Art of Prolog: Advanced Programming Techniques
Leon Sterling and Ehud Shapiro
Richard A. O'Keefe
Logic for Problem Solving
Robert Kowalski
J.P.E. Hodgson
Prolog Standards Documents
Roger Scowen
Warren's Abstract Machine: A Tutorial Reconstruction
Hassan Aït-Kaci.
Algorithm = Logic + Control
Robert Kowalski
Stefan Bruda
Natural Language Processing Techniques in Prolog
Patrick Blackburn and Kristina Striegnitz
Open source Prolog implementations
- Warren Abstract Machine
- JIT Prolog
- Prolog in Javascript
- Python Interpreter for Prolog
- Yield Prolog - a prolog-like technique implmeneted in languages with the yield statement