arde 0.1.7

Another Rust Datalog Engine
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

root
truth.
a_fact().
@undefinable_intrinsic(randomString).
% A VALID COMMENT
a_s!mpl3_test(4, 3, #12345678-1234-1234-1234-123456789012, true, "unescapable string").
----
----
[
  {
    "Fact": {
      "predicate": {
        "is_intrinsic": false,
        "name": "truth"
      },
      "terms": []
    }
  },
  {
    "Fact": {
      "predicate": {
        "is_intrinsic": false,
        "name": "a_fact"
      },
      "terms": []
    }
  },
  {
    "Fact": {
      "predicate": {
        "is_intrinsic": true,
        "name": "undefinable_intrinsic"
      },
      "terms": [
        {
          "String": "randomString"
        }
      ]
    }
  },
  {
    "Fact": {
      "predicate": {
        "is_intrinsic": false,
        "name": "a_s!mpl3_test"
      },
      "terms": [
        {
          "Integer": 4
        },
        {
          "Integer": 3
        },
        {
          "Uuid": "12345678-1234-1234-1234-123456789012"
        },
        {
          "Bool": true
        },
        {
          "String": "unescapable string"
        }
      ]
    }
  }
]
----
---- (no newline)