Bundy A. 1983: The computer modelling of mathematical reasoning.  Academic Press, London
Bratko I. 1990: Prolog programming for artificial intelligence.  Addison Wesley.
Coelho H. 1988: Prolog by example. (co-aut.) Springer, Berlin.
Goebel R. 1986: Using definite clauses and integrity contraints.  (In Proceedings of the Third Internat. Conf. on Logic Programming) Springer
Gries D. 1981: The science of programming.  Springer, New York
Hofweber T. 2004: Logic and ontology.  Stanford Encyclopedia of Philosophy
Hogger C. 1990: Essentials of logic programming.  Clarendon, Oxford
Hopcroft J. 1979: Introduction to automata theory, languages, and computation.  Addison-Wesley, Reading
ISO/IEC 1982: The interpreted predicate logic approaches.  (Report TR9007, appendix F) ISO/IEC.
Knuutila T. 1992: Efficient Prolog programming.  Software-Practice and Experience, March 1992
Lloyd J. 1990: Computational logic. (co-aut.) Springer, Berlijn
Meijs F.A. 1984 I: A unifying view on the analogies between heat-. displacement-, charge-, and flux transport phenomena (onderzoeksverslag).  Philips Gloeilampenfabrieken Eindhoven internal report.
Meijs F.A. 200006: Connecting message sequence charts. (onderzoeksverslag) Verimag/Philips Research Laboratories.  in Verimag 200006
Naish L. 1995: Pruning in logic programming.  (Technical Report 95/16) Dept. of Computer Science, Univ of melbourne
Quine W.V. 1960: Word and object.  MIT Press, Cambridge, USA.
Sowa J.F. 1991: Principles of Semantic Networks: Explorations in the Representation of Knowledge. Morgan Kaufmann, San Mateo, CA.
Sterling L. 1986: The art of Prolog.  MIT Press, Cambridge, USA.
Verimag 200006: SAM 2000 proceedings.  Verimag, Grenoble
Wittgenstein 1953: Philosophical Investigations.