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
Maier, David
Computing with logic: logic programming with prolog
The Benjamin Cumming Pub., 1988
 Buku Teks
Gibbins, Peter
Logic with prolog
Clarendon Press, 1988
 Buku Teks
Uung Ungkawa
Bahasa pemrograman logika turbo prolog
Andi, 1992
 Buku Teks