Βιβλιογραφία

Βιβλία

Ξενόγλωσσα:

Ivan Bratko. Prolog Programming for Artificial Intelligence. Addison Wesley, 1994.
Leon Sterling and Ehud Shapiro. The Art of Prolog. The MIT Press, 1994.
Richard O'Keefe. The Craft of Prolog (Logic Programming). The MIT Press, 1990.
W. F. Clocksin and C. S. Melish. Programming in Prolog: Using the ISO Standard. Springer 5 edition, 2003.

Ελληνικά:

Μ. Κατζουρακη, Μ. Γεργατσούλης και Σ. Κόκκοτος. Προγραμματίζοντας στη λογική . Ελληνική Εταιρία Επιστημόνων Η/Υ και Πληροφορικής , 1991.
Σπύρος Ξανθάκης. Prolog - Τεχνικές Προγραμματισμού. Εκδόσεις Νέων Τεχνολογιών, 1993.
Γεώργιος Μητακίδης. Από τη ΛΟΓΙΚΗ στο ΛΟΓΙΚΟ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ και την Prolog. Εκδόσεις Καρδαμίτσα, 1992.

Tutorials

Learn Prolog Now! by Patrick Blackburn, Johan Bos and Kristina Striegnitz
Prolog Tutorial by James Power
Logic, Programming and Prolog (Book)
On-line Guide to Prolog Programming
An Introduction to Prolog

http://en.wikibooks.org/wiki/Programming:Prolog
http://www.swi-prolog.org/ (SWI-Prolog Free download!)