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
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158

#![allow(unused)]
use paste::paste;

// ------------------------------------------------------------------------------------------------
// Public Types & Constants
// ------------------------------------------------------------------------------------------------

const_string!(EMPTY_STR => "");

const_string!(DEFAULT_LANGUAGE_NAME => "Datalog");

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

const_string_block!(
    TYPE_NAME
    ( COMPARISON_OPERATOR => "ComparisonOperator" ),
    ( PREDICATE => "Predicate" ),
    ( VARIABLE => "Variable" ),
    ( CONSTANT => "Constant" ),
    // ----------------------------------------
    ( CONST_STRING => "String" ),
    ( CONST_INTEGER => "Integer" ),
    ( CONST_FLOAT => "Float" ),
    ( CONST_BOOLEAN => "Boolean" ),
    ( CONST_UNKNOWN => "?" )
);

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

pub(crate) const RESERVED_PREFIX: &str = ".";

const_string_block!(
    BOOLEAN_LITERAL
    ( TRUE => "true" ),
    ( FALSE => "false" )
);

const_string_block!(
    PRAGMA_ID
    ( ASSERT => "assert" ),
    ( INFER => "infer" ),
    ( FD => "fd" ),
    ( FEATURE => "feature" ),
    ( INCLUDE => "include" ),
    ( INPUT => "input" ),
    ( OUTPUT => "output" )
);

const_string_block!(
    FEATURE
    ( NEGATION_ID => "negation" ),
    ( NEGATION_SYMBOL => "￢" ),
    // ----------------------------------------
    ( COMPARISONS_ID => "comparisons" ),
    ( COMPARISONS_SYMBOL => "θ" ),
    // ----------------------------------------
    ( CONSTRAINTS_ID => "constraints" ),
    ( CONSTRAINTS_SYMBOL => "⇐" ),
    // ----------------------------------------
    ( DISJUNCTION_ID => "disjunction" ),
    ( DISJUNCTION_SYMBOL => "∨" ),
    // ----------------------------------------
    ( FUNCTIONAL_DEPENDENCIES_ID => "functional_dependencies" ),
    ( FUNCTIONAL_DEPENDENCIES_SYMBOL => "⟶" ),
    // ----------------------------------------
    ( EXCLUSIVE_DISJUNCTION_ID => "exclusive-disjunction" ),
    ( EXCLUSIVE_DISJUNCTION_SYMBOL => "⊕" )
);

const_string_block!(
    FUNCTIONAL_DEPENDENCY
    ( SYMBOL => "-->" ),
    ( UNICODE_SYMBOL => "⟶" )
);

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

const_string_block!(
    ANONYMOUS
    ( COLUMN_NAME => "_" ),
    ( TERM => "_" )
);

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

const_string_block!(
    IMPLICATION
    ( ASCII_TURNSTILE => ":-" ),
    ( ASCII_ARROW => "<-" ),
    ( UNICODE_ARROW => "⟵" )
);

const_string_block!(
    CONJUNCTION
    ( ASCII => "," ),
    ( ASCII_SYMBOL => "&" ),
    ( ASCII_WORD => "AND" ),
    ( UNICODE_SYMBOL => "∧" )
);

const_string_block!(
    DISJUNCTION
    ( ASCII => ";" ),
    ( ASCII_SYMBOL => "|" ),
    ( ASCII_WORD => "OR" ),
    ( UNICODE_SYMBOL => "∨" )
);

const_string_block!(
    NEGATION
    ( ASCII_SYMBOL => "!" ),
    ( ASCII_WORD => "NOT" ),
    ( UNICODE_SYMBOL => "￢" )
);

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

pub(crate) const TRUE_UNICODE_SYMBOL: &str = "⊤";
pub(crate) const FALSE_UNICODE_SYMBOL: &str = "⊥";

const_string_block!(
    OPERATOR
    ( EQUAL_ASCII => "=" ),
    // ----------------------------------------
    ( NOT_EQUAL_ASCII => "!=" ),
    ( NOT_EQUAL_ASCII_ALT => "/=" ),
    ( NOT_EQUAL_UNICODE => "≠" ),
    // ----------------------------------------
    ( LESS_THAN_ASCII => "<" ),
    // ----------------------------------------
    ( LESS_THAN_OR_EQUAL_ASCII => "<=" ),
    ( LESS_THAN_OR_EQUAL_UNICODE => "," ),
    // ----------------------------------------
    ( GREATER_THAN_ASCII => ">" ),
    // -----------------------------------------
    ( GREATER_THAN_OR_EQUAL_ASCII => ">=" ),
    ( GREATER_THAN_OR_EQUAL_UNICODE => "≥" ),
    // -----------------------------------------
    ( STRING_MATCH_ASCII => "*=" ),
    ( STRING_MATCH_ASCII_WORD => "MATCHES" ),
    ( STRING_MATCH_UNICODE => "≛" )
);

const_string_block!(
    QUERY
    ( ASCII_PREFIX => "?-" ),
    ( ASCII_SUFFIX => "?" )
);

const_string!(COMMA_SEPARATOR => ", ");

const_char!(CHAR_LEFT_PAREN => '(');
const_char!(CHAR_RIGHT_PAREN => ')');
const_char!(CHAR_PERIOD => '.');
const_char!(CHAR_COLON => ':');
const_char!(CHAR_COMMA => ',');
const_char!(CHAR_UNDERSCORE => '_');
const_char!(CHAR_SEMI_COLON => ';');