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

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

//! Typed Datalog rule programs and stratification analysis.

mod capability;
mod feature;
mod ir;
mod profile;
mod requirements;
mod stratify;

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

pub use capability::{DatalogCapabilities, DatalogFeature};
pub use feature::{BindingKind, FilterKind};
pub use profile::{DatalogProfile, ProfileCheckError, UnsupportedCapabilities};