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
<http://w...content-available-to-author-only...w.org/>
<http://c...content-available-to-author-only...n.edu/~striegnk/learn-prolog-now/html/>
<http://c...content-available-to-author-only...n.edu/~striegnk/learn-prolog-now/html/html/prolog-notes.pdf>
prolog :- tutorial.
John R. Fisher
<http://w...content-available-to-author-only...a.edu/~jrfisher/www/prolog_tutorial/contents.html>
Prolog Tutorials
James F. Power
(!) <http://w...content-available-to-author-only...m.ie/~jpower/Courses/PROLOG/index.html>
(Assumes SICStus Prolog, most of the information should be portable to other
implementations)
Prolog Books & Tutorials
Amzi!
<http://w...content-available-to-author-only...i.com/articles/prolog_books_tutorials.htm>
Guide to Prolog Programming
Roman Bártak
<http://k...content-available-to-author-only...i.cz/~bartak/prolog/index.html>
Prolog for Software Engineering
Peter B. Reintjes
<http://w...content-available-to-author-only...c.nz/~j-hamer/07.363/prolog-for-se.html>
An Introduction to Language Processing with Perl and Prolog
Pierre Nugues
(?) <http://w...content-available-to-author-only...h.se/home/Pierre_Nugues/ilppp/index.html>
P-99: Ninety-Nine Prolog Problems
Werner Hett
<https://p...content-available-to-author-only...h.ch/hew1/informatik3/prolog/p-99/index.html>
Prolog Programming A First Course
Paul Brna
<http://h...content-available-to-author-only...c.uk/pbrna/prologbook/>
<http://w...content-available-to-author-only...a.it/people/sessa/www/brna_prolog.pdf>
Introduction to Prolog for Mathematicians
Jocelyn Paine
<http://w...content-available-to-author-only...e.org/prolog/mathnotes/files/contents.html>
Free Prolog Books
<http://w...content-available-to-author-only...s.com/prologbook.html>
Prolog Books
John Fletcher
<http://w...content-available-to-author-only...o.uk/prolog_books.html>
Frequently Asked Questions - comp.lang.prolog
<http://w...content-available-to-author-only...c.at/prolog/faq/faq.html>
Public-domain Prolog library
Jocelyn Paine
<http://w...content-available-to-author-only...e.org/prolog/library.html>
Programming in Prolog
W.F. Clocksin and C.S. Mellish
<http://w...content-available-to-author-only...e.com/Programming-general/William-F-Clocksin-Christopher-S-Mellish-Programming-in-BI22314.html>
Clause and Effect
(!) W.F. Clocksin
Logic, Programming and Prolog
Ulf Nilsson and Jan Maluszynski
<http://w...content-available-to-author-only...u.se/~ulfni/lpp/index.html>
Computing with Logic: Logic Programming with Prolog
(!) David Maier and David S. Warren
Artificial Intelligence through Prolog
Neil C. Rowe
<http://f...content-available-to-author-only...s.edu/ncrowe/book/book.html>
Simply Logical: Intelligent Reasoning by Example
Peter Flach
<http://w...content-available-to-author-only...c.uk/~flach/SimplyLogical.html>
<http://w...content-available-to-author-only...c.uk/~flach/SL/SL.pdf>
Prolog Programming for Artificial Intelligence
Ivan Bratko
<http://w...content-available-to-author-only...e.com/Programming-general/PROLOG-Programming-for-Artificial-Intelligence-BI20607.html>
The Art of Prolog: Advanced Programming Techniques
Leon Sterling and Ehud Shapiro
(!)
The Craft of Prolog
Richard A. O'Keefe
<http://w...content-available-to-author-only...e.com/Programming-general/The-Craft-of-Prolog-Logic-Programming-BI8808.html>
Logic for Problem Solving
Robert Kowalski
<http://w...content-available-to-author-only...c.uk/~rak/index.html>
Prolog: The ISO Standard
J.P.E. Hodgson
<http://p...content-available-to-author-only...a.fr/~deransar/prolog/index.html>
Prolog Standards Documents
Roger Scowen
<http://w...content-available-to-author-only...u.edu/afs/cs/project/ai-repository/ai/lang/prolog/doc/standard/>
Warren's Abstract Machine: A Tutorial Reconstruction
Hassan Aït-Kaci
<http://w...content-available-to-author-only...b.es/shared/teach/a25002/WAMBOOK.PDF>
Algorithm = Logic + Control
Robert Kowalski
<http://w...content-available-to-author-only...c.uk/~rak/papers/algorithm%20=%20logic%20+%20control.pdf>
Prolog mode for (X)Emacs
Stefan Bruda
<http://t...content-available-to-author-only...s.ca/home/bruda/emacs-prolog/index.html>
Natural Language Processing Techniques in Prolog
Patrick Blackburn and Kristina Striegnitz
<http://c...content-available-to-author-only...n.edu/~striegnk/courses/nlp-with-prolog/html/>
Prolog Programming in Depth
Michael A.Covington, Donald Nute, Andre Vellino
<http://w...content-available-to-author-only...e.com/IT/Prolog-Programming-in-Depth-BI5667.html>