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

//! The published package exposes the shared Datalog structural model.
use datalog_structural_model::{
    Atom, ConstantSymbol, Literal, PredicateSymbol, Program, Rule, Term, VariableSymbol,
};

#[test]
fn renamed_package_validates_a_recursive_rule_program() {
    assert_eq!(env!("CARGO_PKG_NAME"), "datalog-structural-model");
    let x = Term::Variable(VariableSymbol::new("x"));
    let edge = Atom {
        predicate: PredicateSymbol::new("edge"),
        terms: vec![x.clone(), Term::Constant(ConstantSymbol::new("target"))],
    };
    let rule = Rule {
        head: edge.clone(),
        body: vec![Literal::Positive(edge)],
    };
    let program = Program { rules: vec![rule] };
    program.validate().unwrap();
}