Maier, David
Computing with logic: logic programming with prolog
The Benjamin Cumming Pub., 1988
 Buku Teks
Clark, K.L.
Micro prolog: programming in logic
Prentice-Hall, 1984
 Buku Teks
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