SOME LOGIC PROGRAMMING RESOURCES (based on http://p...content-available-to-author-only...p.org/display/96726 - updated and so on)
Learn Prolog Now!
Patrick Blackburn, Johan Bos, and Kristina Striegnitz
prolog :- tutorial.
John R. Fisher
Prolog Tutorials
James F. Power
(!)
(Assumes SICStus Prolog, most of the information should be portable to other
implementations)
Prolog Books & Tutorials
Amzi!
Guide to Prolog Programming
Roman Bártak
Prolog for Software Engineering
Peter B. Reintjes
An Introduction to Language Processing with Perl and Prolog
Pierre Nugues
(?)
P-99: Ninety-Nine Prolog Problems
Werner Hett
Prolog Programming A First Course
Paul Brna
Introduction to Prolog for Mathematicians
Jocelyn Paine
Free Prolog Books
Prolog Books
John Fletcher
Frequently Asked Questions - comp.lang.prolog
Public-domain Prolog library
Jocelyn Paine
Programming in Prolog
W.F. Clocksin and C.S. Mellish
Clause and Effect
(!) 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
(!)
The Craft of Prolog
Richard A. O'Keefe
Logic for Problem Solving
Robert Kowalski
Prolog: The ISO Standard
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
Prolog mode for (X)Emacs
Stefan Bruda
Natural Language Processing Techniques in Prolog
Patrick Blackburn and Kristina Striegnitz
Prolog Programming in Depth
Michael A.Covington, Donald Nute, Andre Vellino