datalog-structural-model 0.1.0

Typed Datalog rule IR, validation, and stratification
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

#![doc = include_str!("../README.md")]

//! Typed Datalog rule programs and stratification analysis.

mod ir;
mod stratify;

pub use ir::{
    AggregateBody, Aggregator, Atom, BindExpr, BuiltinFilter, ConstantSymbol, EqualityMode,
    GroundAtom, GroundTerm, Literal, MAX_TRIPLE_TERM_NESTING, PredicateSymbol, Program,
    ProgramValidationError, Rule, Term, VariableSymbol,
};
pub use stratify::{Stratification, StratificationError, Stratum};