Expand description
Program representation: clauses, hypotheses, and the predicate table. Program representation.
A program consists of a PredicateTable
mapping symbol/arity pairs to either sets of Clauses or
built-in predicate functions. During proof search, learned clauses are
collected in a Hypothesis.
Modulesยง
- clause
- Clause representation and metadata.
- hypothesis
- predicate_
table