Skip to main content

sim_lib_logic/
lib.rs

1#![forbid(unsafe_code)]
2#![deny(missing_docs)]
3//! Logic behavior for the SIM runtime: clauses, unification, and queries.
4//!
5//! The kernel defines the `Shape`, eval-policy, and codec contracts; this crate
6//! supplies the concrete logic organ (a clause database, unifier, constraint
7//! solving, and a query/stream surface).
8
9mod all_solutions;
10mod arith;
11pub mod builtins;
12mod clause;
13mod codec;
14mod constraints;
15mod cut;
16mod db;
17mod env;
18mod error;
19mod lisp;
20mod lisp_runtime;
21mod lists;
22mod model;
23mod naf;
24pub mod policy;
25mod query;
26mod shapes;
27mod stream;
28mod unify;
29
30pub use clause::{Clause, ClauseId, parse_clause_expr};
31pub use db::LogicDb;
32pub use env::LogicEnv;
33pub use lisp::realize_logic;
34pub use lisp::{LogicLib, install_logic_lib};
35pub use model::{LogicConfig, LogicLimits, OccursCheck, SearchStrategy};
36pub use policy::LogicPolicy;
37pub use query::{LogicQuery, query, query_all, query_all_with_builtins};
38pub use unify::unify_exprs;
39
40#[cfg(test)]
41mod tests;