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

@startuml

!include ../model/options.plantuml

class asdi::Program #white
hide "asdi::Program" members

class asdi::edb::RelationSet #white
hide "asdi::edb::RelationSet" members

class asdi::edb::Relation #white
hide "asdi::edb::Relation" members

class asdi::edb::Fact #white
hide "asdi::edb::Fact" members

class asdi::idb::RuleSet #white
hide "asdi::idb::RuleSet" members

class asdi::idb::Rule #white
hide "asdi::idb::Rule" members

class asdi::idb::query::QuerySet #white
hide "asdi::idb::query::QuerySet" members

class asdi::idb::query::Query #white
hide "asdi::idb::query::Query" members

namespace asdi::visitor {

    interface ProgramVisitor {
        start_program(program: &Program) : Result<()>
        end_program(program: &Program) : Result<()>

        relation_visitor(&self) : Option<&RelationVisitor>
        rule_visitor(&self) : Option<&RuleVisitor>
        query_visitor(&self) : Option<&QueryVisitor>
    }
    interface ProgramWriter
    interface RelationVisitor {
        start_relation(relation: &Relation, extensional: bool) : Result<()>
        fact(fact: &Fact) : Result<()>
        end_relation(relation: &Relation, extensional: bool) : Result<()>
    }
    interface RuleVisitor {
        start_rules(rules: &RuleSet) : Result<()>
        rule(rule: &Rule) : Result<()>
        end_rules(rule: &RuleSet) : Result<()>
    }
    interface QueryVisitor {
        start_queries(queries: &QuerySet) : Result<()>
        query(query: &Query) : Result<()>
        end_queries(queries: &QuerySet) : Result<()>
    }

    ProgramVisitor ..> RelationVisitor
    ProgramVisitor ..> RuleVisitor
    ProgramVisitor ..> QueryVisitor
    ProgramVisitor ..> asdi::Program
    ProgramVisitor ..> asdi::edb::RelationSet
    ProgramVisitor ..> asdi::idb::RuleSet
    ProgramVisitor ..> asdi::idb::query::QuerySet

    ProgramWriter --|> ProgramVisitor

    RelationVisitor ..> asdi::edb::Relation
    RelationVisitor ..> asdi::edb::Fact

    RuleVisitor ..> asdi::idb::Rule

    QueryVisitor ..> asdi::idb::query::Query

    class visitor << module >> {
        visit_program(program: &Program, visitor: &ProgramVisitor) : Result<()>
        format_program(program: &Program, visitor: &ProgramWriter) : Result<()>
    }

    visitor .left.> ProgramVisitor
    visitor .left.> ProgramWriter
    visitor ..> asdi::Program
}

@enduml