xlog-logic 0.9.2

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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85

//! Datalog frontend for XLOG
#![warn(missing_docs)]
//!
//! 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
//! - [`mod@stratify`] - Stratification analysis for negation/aggregation
//! - [`lower`] - Lowering from AST to Relational IR
//! - [`mod@compile`] - Full compilation pipeline

pub mod ast;
pub mod compile;
pub mod compiler_config;
pub mod diagnostics;
pub mod eir;
pub mod epistemic;
pub mod expand;
pub mod function;
pub mod hypergraph;
pub mod incremental_parse;
pub mod list_normalize;
pub mod lower;
pub mod magic_sets;
pub mod meta_normalize;
pub mod module;
pub mod module_diagnostics;
pub mod optimizer;
pub mod parser;
pub mod promote;
pub mod proof_trace;
pub mod resolver;
pub mod stratify;
#[allow(dead_code)] // reserved API: type inference not yet wired to main pipeline
pub mod typeinfer;
pub mod wcoj_var_ordering;

// Re-export main types
pub use ast::{
    AnnotatedDisjunction, Atom, BodyLiteral, Constraint, Directives, EpistemicLiteral,
    EpistemicMode, EpistemicOp, Evidence, MagicSetsMode, ProbCache, ProbEngine, ProbFact,
    ProbMethod, ProbQuery, Program, Query, Rule, Term, Univ,
};
pub use compile::{compile, Compiler};
pub use diagnostics::{
    build_query_proof_traces, build_rule_provenance, format_atom, query_proof_traces,
    rule_provenance, QueryProofTrace, RuleProvenance, RuleSourceKind,
};
pub use eir::build_eir;
pub use expand::expand_program_functions;
pub use incremental_parse::{
    IncrementalParseResult, ParseCacheStats, ParserSession, StatementSpan, StatementUnit,
};
pub use list_normalize::normalize_v085_lists;
pub use lower::Lowerer;
pub use magic_sets::{rewrite_v085_magic_sets, MagicSetReport, MagicSetRewrite, MagicSetStatus};
pub use meta_normalize::normalize_v085_meta;
pub use module_diagnostics::{
    diagnose_module_boundaries, CandidateSourceKind, ModuleBoundaryInput, ModuleBoundaryReport,
    ModuleDeclaration, ModuleDeclarationKind, ModuleManifest, ModuleRole, ModuleViolation,
    ModuleViolationKind,
};
pub use optimizer::{Optimizer, OptimizerConfig, PlanCost};
pub use parser::{parse_program, parse_statement};
pub use proof_trace::{DifferentiableProofTraceMap, ProofTrace, ProofTraceSpec};
pub use stratify::{find_sccs_for_lowering, stratify, DependencyGraph, Stratum};