eyeling 1.26.0 → 1.26.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (10) hide show
  1. package/dist/browser/eyeling.browser.js +251 -317
  2. package/examples/proof/age.n3 +14 -5
  3. package/examples/proof/socrates.n3 +7 -2
  4. package/examples/proof/witch.n3 +27 -9
  5. package/eyeling.js +251 -317
  6. package/lib/cli.js +2 -2
  7. package/lib/engine.js +134 -219
  8. package/lib/explain.js +98 -79
  9. package/lib/multisource.js +17 -17
  10. package/package.json +1 -1
package/examples/proof/age.n3 CHANGED
@@ -14,18 +14,27 @@
14
14
 
15
15
  { :patH :ageAbove "P80Y"^^xsd:duration . }
16
16
  pe:by [ pe:rule "age.n3"; pe:line 16 ];
17
- pe:binding [ pe:var "A"; pe:value "P80Y"^^xsd:duration ], [ pe:var "B"; pe:value "1944-08-21"^^xsd:date ], [ pe:var "D"; pe:value "2026-06-01T22:06:20.106+00:00"^^xsd:dateTime ], [ pe:var "F"; pe:value "PT2580761180.106S"^^xsd:duration ], [ pe:var "S"; pe:value :patH ];
18
- pe:uses { :patH :birthDay "1944-08-21"^^xsd:date . }, { "" time:localTime "2026-06-01T22:06:20.106+00:00"^^xsd:dateTime . }, { ("2026-06-01T22:06:20.106+00:00"^^xsd:dateTime "1944-08-21"^^xsd:date) math:difference "PT2580761180.106S"^^xsd:duration . }, { "PT2580761180.106S"^^xsd:duration math:greaterThan "P80Y"^^xsd:duration . }.
17
+ pe:binding
18
+ [ pe:var "A"; pe:value "P80Y"^^xsd:duration ],
19
+ [ pe:var "B"; pe:value "1944-08-21"^^xsd:date ],
20
+ [ pe:var "D"; pe:value "2026-06-02T09:16:38.270+00:00"^^xsd:dateTime ],
21
+ [ pe:var "F"; pe:value "PT2580801398.27S"^^xsd:duration ],
22
+ [ pe:var "S"; pe:value :patH ];
23
+ pe:uses
24
+ { :patH :birthDay "1944-08-21"^^xsd:date . },
25
+ { "" time:localTime "2026-06-02T09:16:38.270+00:00"^^xsd:dateTime . },
26
+ { ("2026-06-02T09:16:38.270+00:00"^^xsd:dateTime "1944-08-21"^^xsd:date) math:difference "PT2580801398.27S"^^xsd:duration . },
27
+ { "PT2580801398.27S"^^xsd:duration math:greaterThan "P80Y"^^xsd:duration . }.
19
28
 
20
29
  { :patH :birthDay "1944-08-21"^^xsd:date . }
21
30
  pe:by [ pe:fact "age.n3"; pe:line 13 ].
22
31
 
23
- { "" time:localTime "2026-06-01T22:06:20.106+00:00"^^xsd:dateTime . }
32
+ { "" time:localTime "2026-06-02T09:16:38.270+00:00"^^xsd:dateTime . }
24
33
  pe:by [ pe:builtin time:localTime ].
25
34
 
26
- { ("2026-06-01T22:06:20.106+00:00"^^xsd:dateTime "1944-08-21"^^xsd:date) math:difference "PT2580761180.106S"^^xsd:duration . }
35
+ { ("2026-06-02T09:16:38.270+00:00"^^xsd:dateTime "1944-08-21"^^xsd:date) math:difference "PT2580801398.27S"^^xsd:duration . }
27
36
  pe:by [ pe:builtin math:difference ].
28
37
 
29
- { "PT2580761180.106S"^^xsd:duration math:greaterThan "P80Y"^^xsd:duration . }
38
+ { "PT2580801398.27S"^^xsd:duration math:greaterThan "P80Y"^^xsd:duration . }
30
39
  pe:by [ pe:builtin math:greaterThan ].
31
40
  }.
package/examples/proof/socrates.n3 CHANGED
@@ -8,8 +8,13 @@
8
8
  { :Socrates a :Mortal . } pe:why {
9
9
  { :Socrates a :Mortal . }
10
10
  pe:by [ pe:rule "socrates.n3"; pe:line 14 ];
11
- pe:binding [ pe:var "A"; pe:value :Human ], [ pe:var "B"; pe:value :Mortal ], [ pe:var "S"; pe:value :Socrates ];
12
- pe:uses { :Socrates a :Human . }, { :Human rdfs:subClassOf :Mortal . }.
11
+ pe:binding
12
+ [ pe:var "A"; pe:value :Human ],
13
+ [ pe:var "B"; pe:value :Mortal ],
14
+ [ pe:var "S"; pe:value :Socrates ];
15
+ pe:uses
16
+ { :Socrates a :Human . },
17
+ { :Human rdfs:subClassOf :Mortal . }.
13
18
 
14
19
  { :Socrates a :Human . }
15
20
  pe:by [ pe:fact "socrates.n3"; pe:line 10 ].
package/examples/proof/witch.n3 CHANGED
@@ -37,8 +37,12 @@
37
37
  { :GIRL a :FLOATS . } pe:why {
38
38
  { :GIRL a :FLOATS . }
39
39
  pe:by [ pe:rule "witch.n3"; pe:line 29 ];
40
- pe:binding [ pe:var "x"; pe:value :DUCK ], [ pe:var "y"; pe:value :GIRL ];
41
- pe:uses { :DUCK a :FLOATS . }, { :DUCK :SAMEWEIGHT :GIRL . }.
40
+ pe:binding
41
+ [ pe:var "x"; pe:value :DUCK ],
42
+ [ pe:var "y"; pe:value :GIRL ];
43
+ pe:uses
44
+ { :DUCK a :FLOATS . },
45
+ { :DUCK :SAMEWEIGHT :GIRL . }.
42
46
 
43
47
  { :DUCK a :FLOATS . }
44
48
  pe:by [ pe:fact "witch.n3"; pe:line 26 ].
@@ -55,8 +59,12 @@
55
59
 
56
60
  { :GIRL a :FLOATS . }
57
61
  pe:by [ pe:rule "witch.n3"; pe:line 29 ];
58
- pe:binding [ pe:var "x"; pe:value :DUCK ], [ pe:var "y"; pe:value :GIRL ];
59
- pe:uses { :DUCK a :FLOATS . }, { :DUCK :SAMEWEIGHT :GIRL . }.
62
+ pe:binding
63
+ [ pe:var "x"; pe:value :DUCK ],
64
+ [ pe:var "y"; pe:value :GIRL ];
65
+ pe:uses
66
+ { :DUCK a :FLOATS . },
67
+ { :DUCK :SAMEWEIGHT :GIRL . }.
60
68
 
61
69
  { :DUCK a :FLOATS . }
62
70
  pe:by [ pe:fact "witch.n3"; pe:line 26 ].
@@ -78,8 +86,12 @@
78
86
 
79
87
  { :GIRL a :FLOATS . }
80
88
  pe:by [ pe:rule "witch.n3"; pe:line 29 ];
81
- pe:binding [ pe:var "x"; pe:value :DUCK ], [ pe:var "y"; pe:value :GIRL ];
82
- pe:uses { :DUCK a :FLOATS . }, { :DUCK :SAMEWEIGHT :GIRL . }.
89
+ pe:binding
90
+ [ pe:var "x"; pe:value :DUCK ],
91
+ [ pe:var "y"; pe:value :GIRL ];
92
+ pe:uses
93
+ { :DUCK a :FLOATS . },
94
+ { :DUCK :SAMEWEIGHT :GIRL . }.
83
95
 
84
96
  { :DUCK a :FLOATS . }
85
97
  pe:by [ pe:fact "witch.n3"; pe:line 26 ].
@@ -92,7 +104,9 @@
92
104
  { :GIRL a :WITCH . }
93
105
  pe:by [ pe:rule "witch.n3"; pe:line 13 ];
94
106
  pe:binding [ pe:var "x"; pe:value :GIRL ];
95
- pe:uses { :GIRL a :BURNS . }, { :GIRL a :WOMAN . }.
107
+ pe:uses
108
+ { :GIRL a :BURNS . },
109
+ { :GIRL a :WOMAN . }.
96
110
 
97
111
  { :GIRL a :BURNS . }
98
112
  pe:by [ pe:rule "witch.n3"; pe:line 19 ];
@@ -106,8 +120,12 @@
106
120
 
107
121
  { :GIRL a :FLOATS . }
108
122
  pe:by [ pe:rule "witch.n3"; pe:line 29 ];
109
- pe:binding [ pe:var "x"; pe:value :DUCK ], [ pe:var "y"; pe:value :GIRL ];
110
- pe:uses { :DUCK a :FLOATS . }, { :DUCK :SAMEWEIGHT :GIRL . }.
123
+ pe:binding
124
+ [ pe:var "x"; pe:value :DUCK ],
125
+ [ pe:var "y"; pe:value :GIRL ];
126
+ pe:uses
127
+ { :DUCK a :FLOATS . },
128
+ { :DUCK :SAMEWEIGHT :GIRL . }.
111
129
 
112
130
  { :DUCK a :FLOATS . }
113
131
  pe:by [ pe:fact "witch.n3"; pe:line 26 ].