Casanova, Giorno e Furtado, "Programação em Lógica e a Linguagem Prolog", Ed. Edgard Blucher.

J. Nolt e L. Rohatyn, "Lógica", McGraw-Hill.

H. B. Enderton, "A Mathematical Introdution to Logic", Academic Press.

E. Mendelson, "Introduction to Mathematical Logic", Chapman&Hall.

Leon Sterling and Ehud Shapiro, "The Art of Prolog", MIT Press.

Ivan Bratko, "Prolog Programming for Artificial Intelligence", Addison-Wesley.