1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
//! # AnamDB
//!
//! **The AI-Native, Differentiable Logic Kernel for Autonomous Agents.**
//!
//! AnamDB is a neurosymbolic database engine that natively integrates probabilistic
//! neural inference with deterministic symbolic reasoning. Models are first-class
//! citizens, logic is verifiable, and every query returns a provenance-backed
//! reasoning trace.
//!
//! ## Modules
//!
//! - [`core`] — Session API, Arrow schemas, and semiring provenance.
//! - [`model`] — AI-Tables, Function-as-Operator (FAO) registry, and inference adapters.
//! - [`logic`] — Differentiable Datalog engine (Scallop) and NL-to-Logic compiler.
//! - [`execution`] — Extended DataFusion operators, Pareto optimizer, and heterogeneous dispatch.
//! - [`storage`] — Lance-backed table provider with snapshot versioning.
//! - [`hitl`] — Human-in-the-Loop semantic monitoring, self-repair, and interactive triage.
//! - [`sdk`] — Logic Pack SDK for building distributable domain-specific rulesets.
// Server & client SDK.
// Re-export the primary public API surface.
pub use crate;
pub use crateSession;