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;
12pub mod capabilities;
13mod clause;
14mod codec;
15mod constraints;
16mod cut;
17mod db;
18mod env;
19mod error;
20mod lisp;
21mod lisp_runtime;
22mod lists;
23mod model;
24mod naf;
25pub mod policy;
26mod query;
27mod shapes;
28mod stream;
29mod unify;
30
31pub use capabilities::{
32    logic_config_write_capability, logic_db_write_capability, logic_tool_call_capability,
33};
34pub use clause::{Clause, ClauseId, parse_clause_expr};
35pub use codec::consult_table_path;
36pub use db::LogicDb;
37pub use env::LogicEnv;
38pub use lisp::realize_logic;
39pub use lisp::{LogicLib, install_logic_lib};
40pub use model::{LogicConfig, LogicLimits, OccursCheck, SearchStrategy};
41pub use policy::LogicPolicy;
42pub use query::{LogicQuery, query, query_all, query_all_with_builtins};
43pub use unify::unify_exprs;
44
45/// Cookbook recipes for this lib, embedded at build time.
46pub static RECIPES: sim_cookbook::EmbeddedDir =
47    include!(concat!(env!("OUT_DIR"), "/cookbook_recipes.rs"));
48
49#[cfg(test)]
50mod tests;
sim_lib_logic/lib.rs

sim_lib_logic/
lib.rs
