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
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

pub mod common;

use asdi::edb::io::csv::Options as CsvOptions;
use asdi::edb::io::json::Options as JsonOptions;
use asdi::edb::io::{print_relation, read_relation, FilePragma, Format};
use asdi::{Collection, ProgramCore};
use common::make_ancestors;
use std::path::PathBuf;

#[test]
fn read_parents_from_csv_file() {
    let mut program = make_ancestors();

    let label = program.predicates().fetch("parent").unwrap();
    let relation = program.extensional_mut().get_mut(&label).unwrap();

    let new_facts = read_relation(
        relation,
        &FilePragma::new(
            PathBuf::from("tests/data/parents.csv"),
            Format::DelimitedLines(CsvOptions::comma_separated()),
        ),
    )
    .unwrap();

    relation.extend(new_facts).unwrap();
    assert_eq!(relation.len(), 8);

    print_relation(relation, &Format::Text).unwrap();
}

#[test]
fn read_parents_from_csv_file_with_headers() {
    let program = make_ancestors();

    let label = program.predicates().fetch("parent").unwrap();
    let relation = program.extensional().get(&label).unwrap();

    let relation = read_relation(
        relation,
        &FilePragma::new(
            PathBuf::from("tests/data/parents_headered.csv"),
            Format::DelimitedLines(CsvOptions::comma_separated().has_headers()),
        ),
    )
    .unwrap();
    assert_eq!(relation.len(), 6);

    print_relation(&relation, &Format::Text).unwrap();
}

#[test]
fn read_parents_from_json_file() {
    let mut program = make_ancestors();

    let label = program.predicates().fetch("parent").unwrap();
    let relation = program.extensional_mut().get_mut(&label).unwrap();

    let new_facts = read_relation(
        relation,
        &FilePragma::new(
            PathBuf::from("tests/data/parents.json"),
            Format::Json(JsonOptions::default()),
        ),
    )
    .unwrap();

    relation.extend(new_facts).unwrap();
    assert_eq!(relation.len(), 8);

    print_relation(relation, &Format::Text).unwrap();
}