Loogilise programmeerimise meetod

Tõnu Tamme. Loogilise programmeerimise meetod. Tartu, 2003.
Tõnu Tamme. Prologi kursus lingvistidele. August 1998. (ps,pdf)
Tõnu Tamme, Tanel Tammet, Rein Prank. Loogika: mõtlemisest tõestamiseni. Tartu, 1997, 2002.
Jaak Henno. Prolog ja Olümpose jumalad. Tallinn, 2004.
David Bowen (ed.), Lawrence Byrd, Fernando Pereira, Luis Pereira, David Warren. DECsystem-10 Prolog user's manual. 1982. (doc).
Ivan Bratko. Prolog programming for artificial intelligence. 3rd edition. Addison-Wesley, 2001.
Ülikooli serveritele on installeeritud
- pl (SWI-Prolog)
Korduma Kippuvad Küsimused (FAQ)
- http://www.logic.at/prolog/faq/
Muid materjale
- http://www.amzi.com/AdventureInProlog/
Kust saab hankida Prologi?
- SWI-Prolog (MS Windows, Linux jne.)
- GNU Prolog
- ECLiPSe
- Amzi! Prolog
- LPA Prolog
- SICStus Prolog (Quintus Prolog)
- Strawberry Prolog
- YAP