=== Textbooks on Prolog ===

----
  * [[http://en.wikipedia.org/wiki/Prolog|Wikipedia: Prolog]]

== On-line books and tutorials ==

  *[[http://www.learnprolognow.org/|Learn Prolog Now]] A free online course (also printed book available).

  *[[http://kti.mff.cuni.cz/~bartak/prolog/|Prolog Programming]] A very nice, concise on-line guide to Prolog by Roman Barták. Numerous program examples. Highly recommended.

  *[[http://www.amzi.com/AdventureInProlog/|Adventure in Prolog]] An introductory on-line book by Dennis Merritt. A nice, good work.

  *[[http://www.amzi.com/ExpertSystemsInProlog/|Expert Systems in Prolog]] Another book on Prolog and Expert Systems by Dennis Merritt.

  *[[http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html|Prolog Tutorial]] A nice Prolog tutorial by J.R. Fisher. Numerous examples.

  *[[http://www.thefreecountry.com/documentation/onlineprolog.shtml|Free Online Prolog Tutorials, Logic Programming Tutorials]] A site with links to on-line Prolog courses.




== Books for download ==

  *[[http://www.ida.liu.se/~ulfni/lpp/|Logic Programming and Prolog]]. A very good, classic book on logical foundations of Prolog and ideas of logic programming with numerous examples is the one by Ulf Nilsson and Jan Małuszyński. You can download the .pdf file. Highly recommended.

  *[[http://web.ncf.ca/andre/publications/PPID.pdf|Prolog Programming in Depth]] Another, more practical book. Numerous example solutions and lines of Prolog code.

== In Polish ==

  * W.F. Clocksin, C.S. Mellish: Prolog. Programowanie. Helion, Gliwice, 2003.

  * A. Niederliński: Programowanie w logice z ograniczeniami. Łagodne wprowadzenie dla platformy ECLiPSe. PKJS, Gliwice 2010, 308 + XVIII stron. Strona ksiązki: [[http://www.pwlzo.pl/|Programowanie w logice z ograniczeniami]]

== Laboratorium i materiały ==

  * [[https://ai.ia.agh.edu.pl/wiki/prolog:start|Prolog Lab]]