In this chapter we review the syntax and semantics of many-sorted first-order logic, and the concept of substitutions in this logic. The presentation attempts to be as concise as possible, and the reader is referred to a standard text in logic, such as Gallier [25], for a more thorough presentation. Lloyd [62] or Apt [2] is the accepted introduction to the theory of logic programming. The reader is invited to skip this chapter if and until it is needed.


Function Symbol Atomic Formula Conjunctive Normal Form Predicate Symbol Horn Clause 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1990

Authors and Affiliations

  • Stan Raatz
    • 1
  1. 1.Department of Computer ScienceRutgers UniversityNew BrunswickUSA

Personalised recommendations