avalog 0.7.2

An experimental implementation of Avatar Logic with a Prolog-like syntax
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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122

extern crate avalog;

fn check(facts: &'static str, goals: &'static str) {
    use avalog::{solve_with_accelerator, parse, infer, Accelerator, ParseData};

    let facts: ParseData = parse(facts).unwrap();
    let goals = parse(goals).unwrap();
    assert!(solve_with_accelerator(
        &facts,
        &goals,
        None,
        &[],
        &[],
        infer,
        &mut Accelerator::new()
    ).1.is_ok());
}

fn fail(facts: &'static str, goals: &'static str) {
    use avalog::{solve_with_accelerator, parse, infer, Accelerator, ParseData};

    let facts: ParseData = parse(facts).unwrap();
    let goals = parse(goals).unwrap();
    assert!(solve_with_accelerator(
        &facts,
        &goals,
        None,
        &[],
        &[],
        infer,
        &mut Accelerator::new()
    ).1.is_err());
}

#[test]
fn capital() {
    check("source/capital.txt", "source/capital-0.txt");
}

#[test]
fn category() {
    check("source/category.txt", "source/category-0.txt");
}

#[test]
fn chu_space() {
    check("source/chu_space.txt", "source/no_amb.txt");
}

#[test]
fn assocativity() {
    check("source/associativity.txt", "source/associativity-0.txt");
}

#[test]
fn bool_alg() {
    check("source/bool_alg.txt", "source/bool_alg-0.txt");
}

#[test]
fn squares() {
    check("source/squares.txt", "source/squares-0.txt");
    check("source/squares2.txt", "source/squares2-0.txt");
    check("source/squares3.txt", "source/squares3-0.txt");
    check("source/squares4.txt", "source/squares4-0.txt");
}

#[test]
fn convert_unique_has_into_eq() {
    check("source/convert_has_into_eq.txt", "source/convert_has_into_eq-0.txt");
    fail("source/convert_has_into_eq2.txt", "source/convert_has_into_eq2-0.txt");
    check("source/convert_has_into_eq3.txt", "source/convert_has_into_eq3-0.txt");
    check("source/convert_has_into_eq4.txt", "source/convert_has_into_eq4-0.txt");
    check("source/convert_has_into_eq5.txt", "source/convert_has_into_eq5-0.txt");
    fail("source/convert_has_into_eq6.txt", "source/convert_has_into_eq6-0.txt");
    check("source/convert_has_into_eq6.txt", "source/convert_has_into_eq6-1.txt");
}

#[test]
fn convert_eq_into_has() {
    check("source/convert_eq_into_has.txt", "source/convert_eq_into_has-0.txt");
}

#[test]
fn copy() {
    check("source/copy.txt", "source/copy-0.txt");
}

#[test]
fn role_lift() {
    check("source/role_lift_app.txt", "source/role_lift_app-0.txt");
    check("source/role_lift_ava.txt", "source/role_lift_ava-0.txt");
    check("source/role_lift_inner.txt", "source/role_lift_inner-0.txt");
    check("source/role_lift_eq.txt", "source/role_lift_eq-0.txt");
}

#[test]
fn amb_fail() {
    fail("source/amb_fail.txt", "source/amb.txt");
}

#[test]
fn amb_success() {
    check("source/amb_success.txt", "source/amb.txt");
    check("source/amb_success-2.txt", "source/amb.txt");
}

#[test]
fn app_match() {
    fail("source/app_match.txt", "source/amb.txt");
}

#[test]
fn string() {
    check("source/string.txt", "source/string.txt");
}

#[test]
fn app_empty() {
    check("source/app_empty.txt", "source/app_empty.txt");
}