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
Clocksin, W.F.
Programming in prolog
Springer-Verlag, 1987
 Buku Teks SO
Implementations of prolog
edited by, J.A. Campbell
Ellis Horwood Limited, 1984
 Buku Teks SO