xlog-logic 0.5.0

Parser, compiler, and optimizer for XLOG logic programs
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
41
42
43
44
45
46
47
48
49
50
51
52
53

//! Datalog frontend for XLOG
//!
//! This crate provides the parsing, analysis, and compilation pipeline
//! for XLOG Datalog programs.
//!
//! # Main Entry Point
//!
//! The primary way to use this crate is through the [`Compiler`] struct:
//!
//! ```ignore
//! use xlog_logic::Compiler;
//!
//! let mut compiler = Compiler::new();
//! let plan = compiler.compile(r#"
//!     edge(1, 2).
//!     edge(2, 3).
//!     reach(X, Y) :- edge(X, Y).
//!     reach(X, Z) :- reach(X, Y), edge(Y, Z).
//! "#)?;
//! ```
//!
//! # Modules
//!
//! - [`parser`] - Pest-based parser for XLOG syntax
//! - [`ast`] - Abstract Syntax Tree types
//! - [`stratify`] - Stratification analysis for negation/aggregation
//! - [`lower`] - Lowering from AST to Relational IR
//! - [`compile`] - Full compilation pipeline

pub mod ast;
pub mod compile;
pub mod expand;
pub mod function;
pub mod lower;
pub mod module;
pub mod optimizer;
pub mod parser;
pub mod resolver;
pub mod stratify;
#[allow(dead_code)] // reserved API: type inference not yet wired to main pipeline
pub mod typeinfer;

// Re-export main types
pub use ast::{
    AnnotatedDisjunction, Atom, BodyLiteral, Constraint, Directives, Evidence, ProbCache,
    ProbEngine, ProbFact, ProbQuery, Program, Query, Rule, Term,
};
pub use compile::{compile, Compiler};
pub use expand::expand_program_functions;
pub use lower::Lowerer;
pub use optimizer::{Optimizer, OptimizerConfig, PlanCost};
pub use parser::{parse_program, parse_statement};
pub use stratify::{find_sccs_for_lowering, stratify, DependencyGraph, Stratum};