From logic to logic programming / Kees Doets.

Author
Doets, Kees [Browse]
Format
Book
Language
English
Published/​Created
Cambridge, Mass. : MIT Press, [1994], ©1994.
Description
xii, 214 pages : illustrations ; 24 cm.

Details

Subject(s)
Series
Foundations of computing. [More in this series]
Bibliographic references
Includes bibliographical references (p. [197]-199) and index.
Contents
  • 1. Preliminaries. 1.1. Mathematical Induction. 1.2. Trees. 1.3. Multisets. 1.4. Ordinals and Cardinals
  • 2. Propositional Logic. 2.1. Syntax. 2.2. Semantics. 2.3. Conjunctive Normal Form. 2.4. Resolution
  • 3. First-order Logic. 3.1. Introduction. 3.2. Syntax. 3.3. Semantics. 3.4. Quantifier-free Sentences. 3.5. Universal Sentences. 3.6. Prenex and Skolem Forms. 3.7. Resolution: The Unrestricted Version. 3.8. Unification. 3.9. Resolution
  • 4. Program-definability. 4.1. Programs. 4.2. The Least Herbrand Model. 4.3. Fixed Points. 4.4. Hierarchies. 4.5. Definability. 4.6. Representing Domains as Herbrand Universes
  • 5. Linear Resolution. 5.1. Preliminaries. 5.2. Unrestricted Linear Resolution. 5.3. Ground Completeness. 5.4. Linear Resolution. 5.5. SLD-Resolution
  • 6. Infinite Derivations. 6.1. Negative Information. 6.2. Non-standard Algebras. 6.3. Resolution over Non-standard Algebras. 6.4. Realization Trees. 6.5. The Interplay of SLD-trees and Realization Trees
  • 7. Computability. 7.1. Preliminaries.
  • 7.2. Computability of Recursive Functions. 7.3. Complexity of T[subscript p][actual symbol not reproducible]
  • 8. Negation. 8.1. Introduction. 8.2. Negation Implemented: SLDNF. 8.3. 3-Valued Models. 8.4. 3-Valued Consequence Operator. 8.5. Soundness. 8.6. Saturation. 8.7. Completeness for SLDNF.
ISBN
0262041421
LCCN
93006196
OCLC
28666357
RCP
C - O
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...

Supplementary Information

Other versions