O`Keefe, Richard A.
The Craft of prolog
MIT Press, 1990
 Buku Teks
The Practice of prolog
Edited by Leon S. Sterling
Camberidge University Press , 1990
 Buku Teks
Ross, Peter
Advanced prolog: techniques and examples
Addison-Wesley, 1989
 Buku Teks
Gibbins, Peter
Logic with prolog
Clarendon Press, 1988
 Buku Teks
Clocksin, W.F.
Programming in prolog
Springer-Verlag, 1987
 Buku Teks