Gibbins, Peter
Logic with prolog
Clarendon Press, 1988
 Buku Teks SO
Maier, David
Computing with logic: logic programming with prolog
The Benjamin Cumming Pub., 1988
 Buku Teks SO
Short, Kenneth L.
Microprocessors and programmed logic
Prentice-Hall, 1981
 Buku Teks SO
Andrey Andoko
Tuntunan praktis pemrograman bahasa Prolog: menggunakan program-program pada turbo prolog 2.0
Elex Media Komputindo, 1989
 Buku Teks SO
Clocksin, W.F.
Programming in prolog
Springer-Verlag, 1987
 Buku Teks SO