From logic to logic programming

From logic to logic programming

by Doets, Kees

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :From logic to logic programming / Kees Doets.

Edition Statements

  • Publication Date:©1994.

Publication Statements

  • Publisher(s):MIT Press
  • Place of Publication:Cambridge, Mass
  • Language:eng
  • Publication Date:©1994.

The Physical Object

  • Description:xii, 214 pages : : illustrations ; : 24 cm.

Edition Identifiers

  • ISBN:0262041421, 9780262041423, 9780262288477, 0262288478
  • oclc:ocm28666357
  • LC Classification:QA76.63
  • Dewey Decimal:005.1

Table of 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…

Read More ↓

Subjects

31.10 logic, set theory 54.10 theoretical informatics Langages de programmation Logic programming Logic, Symbolic and mathematical Logique Logisch programmeren Programmation logique Resolventenprinzip Wiskundige logica

Writers

Doets, Kees

More from this Series

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • From Logic to Logic Programming -- (.pdf)

    PDF · 19.5 MB · updated
    Login →

  • From Logic to Logic Programming -- (.pdf)

    PDF · 19.5 MB · updated
    Login →

  • From logic to logic programming -- (.djvu)

    DJVU · 2.4 MB · updated
    Login →