Skip to main content

datalog_structural_model/
lib.rs

1#![doc = include_str!("../README.md")]
2
3//! Typed Datalog rule programs and stratification analysis.
4
5mod ir;
6mod stratify;
7
8pub use ir::{
9    AggregateBody, Aggregator, Atom, BindExpr, BuiltinFilter, ConstantSymbol, EqualityMode,
10    GroundAtom, GroundTerm, Literal, MAX_TRIPLE_TERM_NESTING, PredicateSymbol, Program,
11    ProgramValidationError, Rule, Term, VariableSymbol,
12};
13pub use stratify::{Stratification, StratificationError, Stratum};