Maier, David
Computing with logic: logic programming with prolog
The Benjamin Cumming Pub., 1988
 Buku Teks SO
Clark, K.L.
Micro prolog: programming in logic
Prentice-Hall, 1984
 Buku Teks SO
O`Keefe, Richard A.
The Craft of prolog
MIT Press, 1990
 Buku Teks SO
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