oxilean_std/logic_programming/mod.rs
1//! Prolog-style logic programming engine: SLD resolution, unification, databases.
2//!
3//! This module provides:
4//! - [`LpTerm`] — Prolog terms (atoms, variables, compounds, integers, lists)
5//! - [`LpClause`] / [`LpDatabase`] — Horn clauses and clause databases
6//! - [`Substitution`] — variable bindings
7//! - [`Query`] / [`SolveConfig`] — query and solver configuration
8//! - [`resolve`] / [`solve_one`] — SLD resolution engines
9//! - [`unify`] / [`apply_subst`] / [`occurs_check`] — unification primitives
10//! - [`parse_term`] / [`parse_clause`] / [`term_to_string`] — term I/O
11//! - [`load_standard_predicates`] — classic Prolog predicates (member, append, reverse, …)
12
13pub mod functions;
14pub mod types;
15
16pub use functions::*;
17pub use types::*;