The Practice of prolog
Edited by Leon S. Sterling
Camberidge University Press , 1990
 Buku Teks SO
Ross, Peter
Advanced prolog: techniques and examples
Addison-Wesley, 1989
 Buku Teks SO
Maier, David
Computing with logic: logic programming with prolog
The Benjamin Cumming Pub., 1988
 Buku Teks SO
Gibbins, Peter
Logic with prolog
Clarendon Press, 1988
 Buku Teks SO
Uung Ungkawa
Bahasa pemrograman logika turbo prolog
Andi, 1992
 Buku Teks SO