anamdb 1.0.0

AnamDB — the AI-native, differentiable logic kernel for autonomous agents.
Documentation 
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.

#![deny(clippy::all)]
#![warn(missing_docs)]

pub mod core;
pub mod execution;
pub mod hitl;
pub mod logic;
pub mod model;
pub mod sdk;
pub mod storage;

// Server & client SDK.
pub mod client;
pub mod server;

#[cfg(test)]
mod bench_quick;

// Re-export the primary public API surface.
pub use crate::core::error::{AnamError, Result};
pub use crate::core::session::Session;