Gibbins, Peter
Logic with prolog
Clarendon Press, 1988
 Buku Teks
Maier, David
Computing with logic: logic programming with prolog
The Benjamin Cumming Pub., 1988
 Buku Teks
Short, Kenneth L.
Microprocessors and programmed logic
Prentice-Hall, 1981
 Buku Teks SO
Diah Kusumawati
Pemakaian bahasa turbo prolog untuk pembuktian teorema
Universitas Indonesia, 1988
 UI - Skripsi Membership
Clocksin, W.F.
Programming in prolog
Springer-Verlag, 1987
 Buku Teks