Most recent volume

Volume 13. Principles of Logic and Logic Programming

Published: 13th June 1996 Authors: G. Metakides A. Nerode
I: PROPOSITIONAL LOGIC. Introduction. The language of propositional logic. Semantic concepts in propositional logic. Truth tables. Consequences and interpretations. Adequacy of logical connectives - normal forms. Semantic tableaux. Axiomatic proofs. Resolution. Soundness and completeness of tableaux. Deductions from assumptions. Soundness and completeness of axiomatic proofs. Soundness and completeness of resolution. Exercises. II: PREDICATE LOGIC. Introduction. The language of predicate logic. Axiomatic foundation of predicate logic. Notation in logic programming. Interpretations of predicate logic. Normal forms in predicate logic. Herbrand interpretations. Proofs with systematic tableaux. Unification and resolution in PrL. Soundness and completeness of PrL proofs. Decision methods in logic. Exercises. III: LOGIC PROGRAMMING: THE PROLOG PARADIGM. PROLOG and Logic Programming. Logic and programming. Logic programming. Historical evolution. Program Structure. The program elements. The facts. The rules. The queries. Syntax of Data. The objects of PROLOG. The alphabet of PROLOG. The variables. The constants. The predicates. Tree structure of predicates. The lists. Operation Mechanism. The unification procedure in PROLOG. Inference and the backtracking procedure. Depth-first search. Controlling backtracking: cut. Recursive definitions in PROLOG. List management. Built-in Predicates. Data management predicates: assert and retract. Interaction predicates: read, write and consult. Equality in PROLOG. Arithmetic in PROLOG. Type checking of objects. The operators. The Towers of Hanoi. Negation in PROLOG. The closed world assumption and negation by failure. Normal goals. Completion of programs. Normal programs and stratification. The predicate fail. The predicate not. Nonmonotonic logics. Expert Systems. Artificial intelligence. Expert systems and knowledge management. An expert system for kidney diseases. The Evolution of Logic Programming. Editions of PROLOG. Dialects of PROLOG. PROLOG and metaprogramming. PROLOG and parallelism. PROLOG and Predicate Logic. Exercises. Bibliography. Index of Symbols. Index of Terms.

Additional volumes

Volume 12. Problem Solving: Methods, Programming and Future Concepts

Published: 28th November 1995 Authors: O.V. German D.V. Ofitserov

Volume 10. Tree Automata and Languages

Published: 31st July 1992 Editors: M. Nivat A. Podelski

Volume 1. Topics in Expert System Design

Published: 1st January 1989 Editors: C. Tasso G. Guida

Computers and Languages

Published: 1st July 1988 Author: A. Nijholt

Concurrency Control in Distributed Database Systems

Published: 1st May 1988 Authors: W. Cellary T. Morzy E. Gelenbe