asdi 0.2.5

Another Simplistic Datalog Implementation (in Rust)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

use asdi::edb::io::{print_relation, Format};
use asdi::idb::eval::{Evaluator, NaiveEvaluator};
use asdi::parse::parse_file;
use asdi::{Collection, Labeled};

fn main() {
    let mut program = parse_file("examples/rdfs.dl").unwrap().into_parsed();

    program.load_extensional_data().unwrap();

    let evaluator = NaiveEvaluator::default();

    let results = evaluator.inference(&program);
    assert!(results.is_ok());
    let new_relations = results.unwrap();

    for relation in new_relations.iter() {
        println!("{}", relation.label_ref());
        print_relation(relation, &Format::Text).unwrap();
    }
}