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
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

use asdi::features::{FeatureSet, FEATURE_NEGATION};
use asdi::MaybePositive;

mod common;
use crate::common::{quick_program_check, quick_program_check_with_options};

#[test]
fn is_positive() {
    quick_program_check_with_options(
        "foo(X, Y) :- bar(X, Z), foo(Z, Y).",
        FeatureSet::default().add_support_for(&FEATURE_NEGATION),
        |p| {
            assert!(p.is_positive());
        },
    )
}

#[test]
fn is_non_positive() {
    quick_program_check_with_options(
        "foo(X, Y) :- bar(X, Y), NOT foo(X, Z), baz(Z).",
        FeatureSet::default().add_support_for(&FEATURE_NEGATION),
        |p| {
            assert!(!p.is_positive());
        },
    )
}

// ------------------------------------------------------------------------------------------------

#[test]
fn is_linear() {
    quick_program_check(
        r#"
.assert bar(integer, integer).
.infer foo(integer, integer).
.infer far(integer, integer).

foo(X, Y) :- bar(X, Y).
foo(X, Y) :- far(X, Y).
foo(X, Y) :- bar(X, Y), far(X, Y)."#,
        |p| {
            assert!(p.is_linear());
        },
    )
}

#[test]
fn is_non_linear() {
    quick_program_check(
        r#"
.assert bar(integer, integer).
.infer foo(integer, integer).
.infer far(integer, integer).

foo(X, Y) :- foo(X, Y), bar(X, Y), far(X, Y)."#,
        |p| {
            assert!(!p.is_linear());
        },
    )
}

// ------------------------------------------------------------------------------------------------

#[test]
fn is_guarded() {
    quick_program_check("foo(X, Y) :- bar(X, Y), foo(Z, Y), guard(X, Y, Z).", |p| {
        assert!(p.is_guarded());
    })
}

#[test]
fn is_non_guarded() {
    quick_program_check("foo(X, Y) :- bar(X, Y), foo(Z, Y).", |p| {
        assert!(!p.is_guarded());
    })
}

// ------------------------------------------------------------------------------------------------

#[test]
fn is_frontier_guarded() {
    quick_program_check("foo(X, Y) :- bar(X, Z), foo(Y, Z), guard(X, Y).", |p| {
        assert!(p.is_frontier_guarded());
    })
}

#[test]
fn is_non_frontier_guarded() {
    quick_program_check("foo(X, Y) :- bar(X, Z), foo(Y, Z).", |p| {
        assert!(!p.is_frontier_guarded());
    })
}

// ------------------------------------------------------------------------------------------------

#[test]
fn is_non_recursive() {
    quick_program_check("foo(X, Y) :- bar(X, Y).", |p| {
        assert!(!p.is_recursive());
    })
}

#[test]
fn is_recursive() {
    quick_program_check("foo(X, Y) :- bar(X, Z), foo(Z, Y).", |p| {
        assert!(p.is_recursive());
    })
}