This is an incomplete list of books about Prolog that can be found online:
- Learn Prolog Now!
- Prolog Techniques
- Applications of Prolog
- Simply Logical
- Introduction to Prolog for Mathematicians
- Logic, Programming and Prolog
- A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe
I am counting on readers’ comments to grow it.
Update by ΤΖΩΤΖΙΟΥ:
Managing organized complexity 
>>> import pprint
>>> pprint.pprint(l-l1)
set([‘http://computing.unn.ac.uk/staff/cgpb4/prologbook/’,
‘http://cs.union.edu/~striegnk/courses/nlp-with-prolog/html/’,
‘http://www.amzi.com/AdventureInProlog/advfrtop.htm’,
‘http://www.amzi.com/ExpertSystemsInProlog/’])
l1 το δικό σου set, l από εκεί (με λίγο χειρωνακτικό ξεσκαρτάρισμα).
Next best thing:
http://www.alibris.co.uk/booksearch.detail?invid=10434919068&keyword=ivan+bratko&qwork=5417217&qsort=&page=1
Ivan Bratko, Prolog for Artificial Intelligence 1990
Me 6 euro (kai me fantastiko ekswfyllo)
Το έχει η βιβλιοθήκη μας. Πραγματικά κορυφαίο. Εγώ δίπλα μου έχω το “The Craft of Prolog“.
(Αλλά πιο πολύ με ενδιέφερε μια λίστα από ηλεκτρονικά βιβλία)
Πάντως το ποστ είχε αρκετά καλό ταιμινγκ για μένα, καθώς έψαχνα resources για prolog αυτο το καιρό. Πρέπει να γράψω για εργασία έναν wumpus world solver (βλέπε Norvig, AIMA).
Αν και ψάχνω για σύντομα σχετικά tutorials.
Χμ. Θα σου έλεγα πως για αυτό μπορείς να χρησιμοποιήσεις Event Calculus, αλλά από ότι βλέπω στο books.google.com είναι άσκηση στο βιβλίο του Norvig (σελίδα 476).