I. Bratko: Prolog Programming for Artificial Intelligence, 4th Ed., Pearson, 2011.
A leckék nagyrészt ennek az első fele alapján készültek. A második fele különböző érdekes mesterséges intelligenciával kapcsolatos problémákra mutat megoldási módszereket.
L. Sterling, E. Shapiro: The Art of Prolog, 2nd Ed., MIT Press, 1994.
Kezdő Prolog tankönyv, de sokkal több technikai háttérrel. Nagyon izgalmas példaprogramok vannak benne, mint pl. egy egyenletmegoldó vagy egy fordítóprogram.
W.F. Clocksin, Clause and Effect - Prolog Programming for the Working Programmer, Springer, 1997.
Kezdő Prolog tankönyv programozóknak, minimális magyarázatokkal és sok példával. Ismétlésnek/gyakorlásnak is nagyszerű.
R.A. O’Keefe, The Craft of Prolog, MIT Press, 1990.
Haladó Prolog tankönyv, módszerek hatékony és helyes programok írására.
H. Coelho, J.C. Cotta, Prolog by Example - How to Learn, Teach and Use It, Springer, 1988.
175 különféle nehézségű feladat megoldása Prologban, különböző témákban.
P. Deransart, A. Ed-Dbali, L. Cervoni, Prolog: The Standard, Springer, 1996.
A Prolog szabvány bemutatása, jó referencia.
A fentiek mind angolul vannak. Magyar nyelven:
Ez a Prolog programozás alapjain kívül tartalmaz az itthoni fejlesztésű Mprolog (Modular Prolog) rendszerre specifikus részeket is (kapcsolat más programnyelvekkel, grafika stb.) Ld. még a Neumann János Számítógép-tudományi Társaság informatikatörténeti fórumának erről szóló oldalát.