Βιβλιογραφία

Μ. Κατζουράκη, Μ. Γεργατσούλης και Σ. Κόκκοτος PROγραμματίζοντας στη LOGική. Εκδόσεις Νέων Τεχνολογιών, 1991.

Christopher John Hogger. Introduction to Logic Programming. Academic Press, 1984.
Robert Kowalski. Predicate logic as programming language. In Jack L. Rosenfeld, editor, Information Processing 74, Proceedings of IFIP congress 74, pages 569–574, Stockholm, Sweden, August 1974. International Federation of Information Processing, North-Holland.
Robert Kowalski. Logic as a computer language. In Keith L. Clark and Sten-Åke Tärnlund, editors, Logic Programming, pages 3–16. Academic Press, 1982.
Francis G. McCabe. Logic and Objects. Prentice Hall, 1992.
Richard A. O'Keefe. The Craft of Prolog. MIT Press, 1990.
Uday S. Reddy. On the relationship between logic and functional languages. In Doug DeGroot and Gary Lindstrom, editors, Logic Programming, Functions, Relations and Equations, pages 3–36. Prentice Hall, Englewood Cliffs, NJ, USA, 1986.
J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1):23–41, January 1965.
Peter H. Salus, editor. Handbook of Programming Languages, volume III: Functional and Logic Programming Languages. Macmillan Technical Publishing, 1998.
Leon Sterling and Ehud Shapiro. The Art of Prolog. MIT Press, 1986.
David H. D. Warren. An abstract Prolog instruction set. Technical Note 309, SRI International, Artificial Intelligence Center, Computer Science and Technology Division, 333 Ravenswood Ave., Menlo Park, CA, USA, October 1983.