eyeling 1.5.38 → 1.5.39

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 (6) hide show
  1. package/examples/oslo-steps-library-scholarly.n3 +144 -183
  2. package/examples/oslo-steps-workflow-composition.n3 +192 -217
  3. package/examples/output/oslo-steps-library-scholarly.n3 +672 -392
  4. package/examples/output/oslo-steps-workflow-composition.n3 +96 -56
  5. package/eyeling.js +614 -325
  6. package/package.json +1 -1
package/examples/output/oslo-steps-workflow-composition.n3 CHANGED
@@ -6,30 +6,40 @@
6
6
  # Proof for derived triple:
7
7
  # :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice) 20400 4 0.9079107344999999 0.6636569280000001) .
8
8
  # It holds because the following instance of the rule body is provable:
9
+ # state:s5 :formula {
10
+ # var:x a o-persoon:Inwoner .
11
+ # var:x ex:personalInfoProvided true .
12
+ # var:x ex:movingDataProvided true .
13
+ # var:x ex:newAddressProvided true .
14
+ # var:x ex:addressChangeDeclared true .
15
+ # var:x ex:confirmationOfAddressChange true .
16
+ # } .
9
17
  # :scope gps:findpath ({
10
- # ?x a o-persoon:Inwoner .
11
- # ?x ex:personalInfoProvided true .
12
- # ?x ex:movingDataProvided true .
13
- # ?x ex:newAddressProvided true .
14
- # ?x ex:addressChangeDeclared true .
15
- # ?x ex:confirmationOfAddressChange true .
18
+ # var:x a o-persoon:Inwoner .
19
+ # var:x ex:personalInfoProvided true .
20
+ # var:x ex:movingDataProvided true .
21
+ # var:x ex:newAddressProvided true .
22
+ # var:x ex:addressChangeDeclared true .
23
+ # var:x ex:confirmationOfAddressChange true .
16
24
  # } (step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice) 20400 4 0.9079107344999999 0.6636569280000001 (40320.0 20.0 0.80 0.65)) .
17
25
  # via the schematic forward rule:
18
26
  # {
19
- # :scope gps:findpath ({
20
- # ?x a o-persoon:Inwoner .
21
- # ?x ex:personalInfoProvided true .
22
- # ?x ex:movingDataProvided true .
23
- # ?x ex:newAddressProvided true .
24
- # ?x ex:addressChangeDeclared true .
25
- # ?x ex:confirmationOfAddressChange true .
26
- # } ?PATH ?DUR ?COST ?SUC ?SAT (40320.0 20.0 0.80 0.65)) .
27
+ # state:s5 :formula ?GOAL .
28
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (40320.0 20.0 0.80 0.65)) .
27
29
  # } => {
28
30
  # :bob gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
29
31
  # } .
30
32
  # with substitution (on rule variables):
31
33
  # ?COST = 4
32
34
  # ?DUR = 20400
35
+ # ?GOAL = {
36
+ # var:x a o-persoon:Inwoner .
37
+ # var:x ex:personalInfoProvided true .
38
+ # var:x ex:movingDataProvided true .
39
+ # var:x ex:newAddressProvided true .
40
+ # var:x ex:addressChangeDeclared true .
41
+ # var:x ex:confirmationOfAddressChange true .
42
+ # }
33
43
  # ?PATH = (step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice)
34
44
  # ?SAT = 0.6636569280000001
35
45
  # ?SUC = 0.9079107344999999
@@ -42,30 +52,40 @@
42
52
  # Proof for derived triple:
43
53
  # :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice) 20370 2 0.9365815997999998 0.67874004) .
44
54
  # It holds because the following instance of the rule body is provable:
55
+ # state:s5 :formula {
56
+ # var:x a o-persoon:Inwoner .
57
+ # var:x ex:personalInfoProvided true .
58
+ # var:x ex:movingDataProvided true .
59
+ # var:x ex:newAddressProvided true .
60
+ # var:x ex:addressChangeDeclared true .
61
+ # var:x ex:confirmationOfAddressChange true .
62
+ # } .
45
63
  # :scope gps:findpath ({
46
- # ?x a o-persoon:Inwoner .
47
- # ?x ex:personalInfoProvided true .
48
- # ?x ex:movingDataProvided true .
49
- # ?x ex:newAddressProvided true .
50
- # ?x ex:addressChangeDeclared true .
51
- # ?x ex:confirmationOfAddressChange true .
64
+ # var:x a o-persoon:Inwoner .
65
+ # var:x ex:personalInfoProvided true .
66
+ # var:x ex:movingDataProvided true .
67
+ # var:x ex:newAddressProvided true .
68
+ # var:x ex:addressChangeDeclared true .
69
+ # var:x ex:confirmationOfAddressChange true .
52
70
  # } (step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice) 20370 2 0.9365815997999998 0.67874004 (40320.0 20.0 0.80 0.65)) .
53
71
  # via the schematic forward rule:
54
72
  # {
55
- # :scope gps:findpath ({
56
- # ?x a o-persoon:Inwoner .
57
- # ?x ex:personalInfoProvided true .
58
- # ?x ex:movingDataProvided true .
59
- # ?x ex:newAddressProvided true .
60
- # ?x ex:addressChangeDeclared true .
61
- # ?x ex:confirmationOfAddressChange true .
62
- # } ?PATH ?DUR ?COST ?SUC ?SAT (40320.0 20.0 0.80 0.65)) .
73
+ # state:s5 :formula ?GOAL .
74
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (40320.0 20.0 0.80 0.65)) .
63
75
  # } => {
64
76
  # :bob gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
65
77
  # } .
66
78
  # with substitution (on rule variables):
67
79
  # ?COST = 2
68
80
  # ?DUR = 20370
81
+ # ?GOAL = {
82
+ # var:x a o-persoon:Inwoner .
83
+ # var:x ex:personalInfoProvided true .
84
+ # var:x ex:movingDataProvided true .
85
+ # var:x ex:newAddressProvided true .
86
+ # var:x ex:addressChangeDeclared true .
87
+ # var:x ex:confirmationOfAddressChange true .
88
+ # }
69
89
  # ?PATH = (step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice)
70
90
  # ?SAT = 0.67874004
71
91
  # ?SUC = 0.9365815997999998
@@ -78,30 +98,40 @@
78
98
  # Proof for derived triple:
79
99
  # :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice) 20355 4 0.9033483689999999 0.6938231520000001) .
80
100
  # It holds because the following instance of the rule body is provable:
101
+ # state:s5 :formula {
102
+ # var:x a o-persoon:Inwoner .
103
+ # var:x ex:personalInfoProvided true .
104
+ # var:x ex:movingDataProvided true .
105
+ # var:x ex:newAddressProvided true .
106
+ # var:x ex:addressChangeDeclared true .
107
+ # var:x ex:confirmationOfAddressChange true .
108
+ # } .
81
109
  # :scope gps:findpath ({
82
- # ?x a o-persoon:Inwoner .
83
- # ?x ex:personalInfoProvided true .
84
- # ?x ex:movingDataProvided true .
85
- # ?x ex:newAddressProvided true .
86
- # ?x ex:addressChangeDeclared true .
87
- # ?x ex:confirmationOfAddressChange true .
110
+ # var:x a o-persoon:Inwoner .
111
+ # var:x ex:personalInfoProvided true .
112
+ # var:x ex:movingDataProvided true .
113
+ # var:x ex:newAddressProvided true .
114
+ # var:x ex:addressChangeDeclared true .
115
+ # var:x ex:confirmationOfAddressChange true .
88
116
  # } (step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice) 20355 4 0.9033483689999999 0.6938231520000001 (40320.0 20.0 0.80 0.65)) .
89
117
  # via the schematic forward rule:
90
118
  # {
91
- # :scope gps:findpath ({
92
- # ?x a o-persoon:Inwoner .
93
- # ?x ex:personalInfoProvided true .
94
- # ?x ex:movingDataProvided true .
95
- # ?x ex:newAddressProvided true .
96
- # ?x ex:addressChangeDeclared true .
97
- # ?x ex:confirmationOfAddressChange true .
98
- # } ?PATH ?DUR ?COST ?SUC ?SAT (40320.0 20.0 0.80 0.65)) .
119
+ # state:s5 :formula ?GOAL .
120
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (40320.0 20.0 0.80 0.65)) .
99
121
  # } => {
100
122
  # :bob gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
101
123
  # } .
102
124
  # with substitution (on rule variables):
103
125
  # ?COST = 4
104
126
  # ?DUR = 20355
127
+ # ?GOAL = {
128
+ # var:x a o-persoon:Inwoner .
129
+ # var:x ex:personalInfoProvided true .
130
+ # var:x ex:movingDataProvided true .
131
+ # var:x ex:newAddressProvided true .
132
+ # var:x ex:addressChangeDeclared true .
133
+ # var:x ex:confirmationOfAddressChange true .
134
+ # }
105
135
  # ?PATH = (step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice)
106
136
  # ?SAT = 0.6938231520000001
107
137
  # ?SUC = 0.9033483689999999
@@ -114,30 +144,40 @@
114
144
  # Proof for derived triple:
115
145
  # :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice) 20325 2 0.9318751595999999 0.70959186) .
116
146
  # It holds because the following instance of the rule body is provable:
147
+ # state:s5 :formula {
148
+ # var:x a o-persoon:Inwoner .
149
+ # var:x ex:personalInfoProvided true .
150
+ # var:x ex:movingDataProvided true .
151
+ # var:x ex:newAddressProvided true .
152
+ # var:x ex:addressChangeDeclared true .
153
+ # var:x ex:confirmationOfAddressChange true .
154
+ # } .
117
155
  # :scope gps:findpath ({
118
- # ?x a o-persoon:Inwoner .
119
- # ?x ex:personalInfoProvided true .
120
- # ?x ex:movingDataProvided true .
121
- # ?x ex:newAddressProvided true .
122
- # ?x ex:addressChangeDeclared true .
123
- # ?x ex:confirmationOfAddressChange true .
156
+ # var:x a o-persoon:Inwoner .
157
+ # var:x ex:personalInfoProvided true .
158
+ # var:x ex:movingDataProvided true .
159
+ # var:x ex:newAddressProvided true .
160
+ # var:x ex:addressChangeDeclared true .
161
+ # var:x ex:confirmationOfAddressChange true .
124
162
  # } (step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice) 20325 2 0.9318751595999999 0.70959186 (40320.0 20.0 0.80 0.65)) .
125
163
  # via the schematic forward rule:
126
164
  # {
127
- # :scope gps:findpath ({
128
- # ?x a o-persoon:Inwoner .
129
- # ?x ex:personalInfoProvided true .
130
- # ?x ex:movingDataProvided true .
131
- # ?x ex:newAddressProvided true .
132
- # ?x ex:addressChangeDeclared true .
133
- # ?x ex:confirmationOfAddressChange true .
134
- # } ?PATH ?DUR ?COST ?SUC ?SAT (40320.0 20.0 0.80 0.65)) .
165
+ # state:s5 :formula ?GOAL .
166
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (40320.0 20.0 0.80 0.65)) .
135
167
  # } => {
136
168
  # :bob gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
137
169
  # } .
138
170
  # with substitution (on rule variables):
139
171
  # ?COST = 2
140
172
  # ?DUR = 20325
173
+ # ?GOAL = {
174
+ # var:x a o-persoon:Inwoner .
175
+ # var:x ex:personalInfoProvided true .
176
+ # var:x ex:movingDataProvided true .
177
+ # var:x ex:newAddressProvided true .
178
+ # var:x ex:addressChangeDeclared true .
179
+ # var:x ex:confirmationOfAddressChange true .
180
+ # }
141
181
  # ?PATH = (step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice)
142
182
  # ?SAT = 0.70959186
143
183
  # ?SUC = 0.9318751595999999