O`Keefe, Richard A.
The Craft of prolog
MIT Press, 1990
Buku Teks
Ross, Peter
Advanced prolog: techniques and examples
Addison-Wesley, 1989
Buku Teks
Maier, David
Computing with logic: logic programming with prolog
The Benjamin Cumming Pub., 1988
Buku Teks
Gibbins, Peter
Logic with prolog
Clarendon Press, 1988
Buku Teks
Ungkawa, Uung
Bahasa pemrograman logika turbo prolog
Andi, 1992
Buku Teks