Maier, David
Computing with logic: logic programming with prolog
The Benjamin Cumming Pub., 1988
Buku Teks
Copi, Irving M.
Introduction to logic
Macmillan, 1961
Buku Teks
Copi, Irving M.
Introduction to logic
Macmillan, 1972
Buku Teks
Van Hentenryck, Pascal
Constraint satisfaction in logic programming
MIT Press, 1989
Buku Teks
Clark, K.L.
Micro prolog: programming in logic
Prentice-Hall, 1984
Buku Teks