prolog2/resolution/mod.rs
1//! Resolution engine.
2//!
3//! Implements second-order SLD resolution with backtracking.
4//! [`Proof`](crate::resolution::proof::Proof) drives the search,
5//! [`unification`](crate::resolution::unification) handles term matching, and
6//! [`build`](crate::resolution::build) constructs new terms from substitutions.
7
8pub mod build;
9#[cfg(test)]
10mod constraint_tests;
11pub mod proof;
12pub mod unification;