prolog2/program/mod.rs
1//! Program representation.
2//!
3//! A program consists of a [`PredicateTable`](crate::program::predicate_table::PredicateTable)
4//! mapping symbol/arity pairs to either sets of [`Clause`](crate::program::clause::Clause)s or
5//! built-in predicate functions. During proof search, learned clauses are
6//! collected in a [`Hypothesis`](crate::program::hypothesis::Hypothesis).
7
8pub mod clause;
9pub mod hypothesis;
10pub mod predicate_table;