datalog-structural-model 1.0.0

Typed Datalog rule IR, validation, and stratification
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

//! Datalog intermediate representation.

mod aggregate;
mod atom;
mod bind;
mod equality_mode;
mod error;
mod filter;
mod ground;
mod literal;
mod program;
mod rule;
mod serde_input;
mod structural_term;
mod symbol_serde;
mod symbols;
mod term;
mod term_shape;
pub(crate) mod walk;

#[cfg(test)]
mod tests;

pub use aggregate::{AggregateBody, Aggregator};
pub use atom::Atom;
pub use bind::BindExpr;
pub use equality_mode::EqualityMode;
pub use error::ProgramValidationError;
pub use filter::BuiltinFilter;
pub use ground::{GroundAtom, GroundTerm};
pub use literal::Literal;
pub use program::Program;
pub use rule::Rule;
pub use symbols::{ConstantSymbol, PredicateSymbol, VariableSymbol};
pub use term::{MAX_TRIPLE_TERM_NESTING, Term};

pub use structural_term::TermShapeError;