Elektronicky dostupné materiály
Prolog
Barták R., On-line Guide to Prolog Programming,
http://kti.ms.mff.cuni.cz/~bartak/prolog/index.html
SICStus Prolog Manual,
http://www.fi.muni.cz/~hanka/sicstus/doc/html/
z
ejména kapitoly: The Prolog Language, Debugging, Built-In Predicates, Writing Effcient Programs
Teorie logického programování
Nilsson, U., Maluszynski, J., Logic, programming and Prolog. John Wiley & Sons, 1990.
http://www.ida.liu.se/~ulfni/lpp
Logické programování s omezujícími podmínkami
Dechter, R. Constraint Processing. Morgan Kaufmann Publishers, 2003.
http://www.ics.uci.edu/~dechter/books
SICStus Prolog Manual, kapitola o CLP(FD):
http://www.fi.muni.cz/~hanka/sicstus/doc/html/
kapitola: Constraint Logic Programming over Finite Domains
Tsang, E., Foundations of Constraint Satisfaction, Academic Press, 1993.
http://cswww.essex.ac.uk/Research/CSP/edward/FCS.html
Barták R., Přednáška Omezující podmínky na MFF UK, Praha.
http://kti.ms.mff.cuni.cz/~bartak/podminky/prednaska.html
Implementace Prologu
Matyska L., Toman D.: Implementační techniky Prologu, Informační systémy, (1990), 21-59.
http://www.ics.muni.cz/people/matyska/vyuka/lp/lp.html