Next:
Logic programming de novo,
Logic programming de novo, and logic programming interpreters
Overview
Logic programs, facts, queries
Logical variables, substitutions
Existential queries
Univeral facts, conjunctive queries
Rules
Universal modus ponens
Simple interpreter
Proof trees
Meaning, correctness, completeness and truth
More complete interpreter
About this document ...
Alan Bond
1999-02-08
