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

@startuml

!include options.plantuml

interface asdi::AttributeName
hide "asdi::AttributeName" members

interface asdi::Labeled
hide "asdi::Labeled" members

interface asdi::MaybeAnonymous
hide "asdi::MaybeAnonymous" members

interface asdi::MaybePositive
hide "asdi::MaybePositive" members

interface asdi::edb::Constant
hide "asdi::edb::Constant" members

interface asdi::edb::PredicateRef
hide "asdi::edb::PredicateRef" members

namespace asdi::idb {
    interface MaybeGround

    class Atom
    class Comparison
    class Literal {
        negative: bool
    }
    class Rule
    class RuleSet
    class Variable

    enum ComparisonOperator {
        Equal
        NotEqual
        LessThan
        LessThanOrEqual
        GreaterThan
        GreaterThanOrEqual
    }
    enum LiteralInner {
        Relational : Atom
        Arithmetic : Comparison
    }
    enum RuleForm {
        Pure
        Constraint
        Disjunctive
    }
    enum Term {
        Anonymous
        Variable : VariableRef
        Constant : Constant
    }

    class VariableRef << (T,#ADD1B2) type >>

    Atom o-> "label" asdi::edb::PredicateRef
    Atom *-> "terms *" Term
    Atom ..|> asdi::Labeled
    Atom ..|> MaybeGround

    Comparison *-> "lhs" Term
    Comparison *-> "rhs" Term
    Comparison *-down-> ComparisonOperator
    Comparison ..|> MaybeGround

    Rule *-> "head *" Atom
    Rule *-> "body *" Literal
    Rule ..> RuleForm
    Rule ..|> MaybeGround
    Rule ..|> asdi::MaybePositive

    RuleSet *-> "*" Rule

    Literal *-> LiteralInner
    Literal ..|> MaybeGround
    Literal ..|> asdi::MaybePositive

    LiteralInner o-> Atom
    LiteralInner o-down-> Comparison
    LiteralInner ..|> MaybeGround

    Term o-> VariableRef
    Term o-> asdi::edb::Constant
    Term ..|> asdi::MaybeAnonymous

    VariableRef o--> Variable
    Variable ..|> asdi::AttributeName
}

@enduml