eyeling 1.6.13 → 1.6.15

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 (77) hide show
  1. package/README.md +8 -19
  2. package/examples/output/age.n3 +0 -17
  3. package/examples/output/alignment-demo.n3 +0 -572
  4. package/examples/output/backward.n3 +0 -15
  5. package/examples/output/basic-monadic.n3 +0 -105
  6. package/examples/output/brussels-brew-club.n3 +0 -476
  7. package/examples/output/cat-koko.n3 +0 -108
  8. package/examples/output/cobalt-kepler-kitchen.n3 +0 -7064
  9. package/examples/output/complex.n3 +0 -46
  10. package/examples/output/control-system.n3 +0 -75
  11. package/examples/output/cranberry-calculus.n3 +0 -1313
  12. package/examples/output/crypto-builtins-tests.n3 +0 -60
  13. package/examples/output/deep-taxonomy-10.n3 +0 -602
  14. package/examples/output/deep-taxonomy-100.n3 +1 -5733
  15. package/examples/output/deep-taxonomy-1000.n3 +1 -57033
  16. package/examples/output/deep-taxonomy-10000.n3 +1 -570033
  17. package/examples/output/derived-backward-rule-2.n3 +0 -58
  18. package/examples/output/derived-backward-rule.n3 +0 -44
  19. package/examples/output/derived-rule.n3 +0 -42
  20. package/examples/output/dijkstra.n3 +0 -297
  21. package/examples/output/dog.n3 +0 -30
  22. package/examples/output/drone-corridor-planner.n3 +0 -799
  23. package/examples/output/easter.n3 +0 -3570
  24. package/examples/output/equals.n3 +0 -15
  25. package/examples/output/ev-roundtrip-planner.n3 +0 -392
  26. package/examples/output/existential-rule.n3 +0 -34
  27. package/examples/output/expression-eval.n3 +0 -20
  28. package/examples/output/family-cousins.n3 +0 -636
  29. package/examples/output/fibonacci.n3 +0 -36
  30. package/examples/output/french-cities.n3 +0 -484
  31. package/examples/output/good-cobbler.n3 +0 -22
  32. package/examples/output/gps.n3 +0 -62
  33. package/examples/output/gray-code-counter.n3 +0 -17
  34. package/examples/output/hanoi.n3 +0 -17
  35. package/examples/output/jade-eigen-loom.n3 +0 -4690
  36. package/examples/output/json-pointer.n3 +0 -529
  37. package/examples/output/json-reconcile-vat.n3 +0 -12882
  38. package/examples/output/light-eaters.n3 +0 -311
  39. package/examples/output/list-builtins-tests.n3 +0 -167
  40. package/examples/output/list-iterate.n3 +0 -124
  41. package/examples/output/lldm.n3 +0 -960
  42. package/examples/output/log-collect-all-in.n3 +0 -117
  43. package/examples/output/log-for-all-in.n3 +0 -27
  44. package/examples/output/log-not-includes.n3 +0 -59
  45. package/examples/output/log-skolem.n3 +0 -17
  46. package/examples/output/log-uri.n3 +0 -42
  47. package/examples/output/math-builtins-tests.n3 +0 -4434
  48. package/examples/output/minimal-skos-alignment.n3 +0 -39
  49. package/examples/output/monkey.n3 +0 -36
  50. package/examples/output/odrl-trust.n3 +0 -46
  51. package/examples/output/oslo-steps-library-scholarly.n3 +0 -1260
  52. package/examples/output/oslo-steps-workflow-composition.n3 +0 -180
  53. package/examples/output/peano.n3 +0 -23
  54. package/examples/output/pi.n3 +0 -17
  55. package/examples/output/pillar.n3 +0 -32
  56. package/examples/output/polygon.n3 +0 -17
  57. package/examples/output/rdf-list.n3 +0 -28
  58. package/examples/output/reordering.n3 +0 -26
  59. package/examples/output/ruby-runge-workshop.n3 +0 -613
  60. package/examples/output/rule-matching.n3 +0 -26
  61. package/examples/output/saffron-slopeworks.n3 +0 -1447
  62. package/examples/output/self-referential.n3 +0 -81
  63. package/examples/output/similar.n3 +0 -15
  64. package/examples/output/snaf.n3 +0 -23
  65. package/examples/output/socrates.n3 +0 -21
  66. package/examples/output/spectral-week.n3 +0 -350
  67. package/examples/output/string-builtins-tests.n3 +0 -240
  68. package/examples/output/topaz-markov-mill.n3 +0 -4178
  69. package/examples/output/traffic-skos-aggregate.n3 +0 -3151
  70. package/examples/output/turing.n3 +0 -36
  71. package/examples/output/ultramarine-simpson-forge.n3 +0 -3873
  72. package/examples/output/witch.n3 +0 -107
  73. package/examples/output/zebra.n3 +0 -111
  74. package/eyeling.js +129 -25
  75. package/index.js +13 -6
  76. package/package.json +1 -1
  77. package/test/examples.test.js +1 -1
package/examples/output/drone-corridor-planner.n3 CHANGED
@@ -2,819 +2,20 @@
2
2
  @prefix gps: <https://eyereasoner.github.io/eye/reasoning/gps/gps-schema#> .
3
3
  @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
4
4
 
5
- # ----------------------------------------------------------------------
6
- # Proof for derived triple:
7
- # :d1 gps:plan ((:fly_gent_kortrijk :emergency_charge_kortrijk :get_zone_permit_kortrijk :direct_corridor_kortrijk_oostende) "3500"^^xsd:decimal "0.019999999999999997"^^xsd:decimal "0.9435600454499999"^^xsd:decimal "0.86526"^^xsd:decimal :mid :yes (:t :t :t)) .
8
- # It holds because the following instance of the rule body is provable:
9
- # :fuel7 :value (:t :t :t :t :t :t :t) .
10
- # ({
11
- # :d1 :location :Gent .
12
- # :d1 :battery :full .
13
- # :d1 :permit :none .
14
- # } {
15
- # :d1 :location :Oostende .
16
- # :d1 :battery :mid .
17
- # :d1 :permit :yes .
18
- # } (:fly_gent_kortrijk :emergency_charge_kortrijk :get_zone_permit_kortrijk :direct_corridor_kortrijk_oostende) "3500"^^xsd:decimal "0.019999999999999997"^^xsd:decimal "0.9435600454499999"^^xsd:decimal "0.86526"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
19
- # "0.9435600454499999"^^xsd:decimal math:greaterThan 0.94 .
20
- # "0.019999999999999997"^^xsd:decimal math:lessThan 0.03 .
21
- # via the schematic forward rule:
22
- # {
23
- # :fuel7 :value ?Fuel .
24
- # ({
25
- # :d1 :location :Gent .
26
- # :d1 :battery :full .
27
- # :d1 :permit :none .
28
- # } {
29
- # :d1 :location :Oostende .
30
- # :d1 :battery ?B .
31
- # :d1 :permit ?P .
32
- # } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
33
- # ?Bel math:greaterThan 0.94 .
34
- # ?Cost math:lessThan 0.03 .
35
- # } => {
36
- # :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
37
- # } .
38
- # with substitution (on rule variables):
39
- # ?Acts = (:fly_gent_kortrijk :emergency_charge_kortrijk :get_zone_permit_kortrijk :direct_corridor_kortrijk_oostende)
40
- # ?B = :mid
41
- # ?Bel = "0.9435600454499999"^^xsd:decimal
42
- # ?Comf = "0.86526"^^xsd:decimal
43
- # ?Cost = "0.019999999999999997"^^xsd:decimal
44
- # ?Dur = "3500"^^xsd:decimal
45
- # ?Fuel = (:t :t :t :t :t :t :t)
46
- # ?FuelLeft = (:t :t :t)
47
- # ?P = :yes
48
- # Therefore the derived triple above is entailed by the rules and facts.
49
- # ----------------------------------------------------------------------
50
-
51
5
  :d1 gps:plan ((:fly_gent_kortrijk :emergency_charge_kortrijk :get_zone_permit_kortrijk :direct_corridor_kortrijk_oostende) "3500"^^xsd:decimal "0.019999999999999997"^^xsd:decimal "0.9435600454499999"^^xsd:decimal "0.86526"^^xsd:decimal :mid :yes (:t :t :t)) .
52
-
53
- # ----------------------------------------------------------------------
54
- # Proof for derived triple:
55
- # :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :emergency_charge_kortrijk :direct_corridor_kortrijk_oostende) "3500"^^xsd:decimal "0.02"^^xsd:decimal "0.9435600454499999"^^xsd:decimal "0.86526"^^xsd:decimal :mid :yes (:t :t :t)) .
56
- # It holds because the following instance of the rule body is provable:
57
- # :fuel7 :value (:t :t :t :t :t :t :t) .
58
- # ({
59
- # :d1 :location :Gent .
60
- # :d1 :battery :full .
61
- # :d1 :permit :none .
62
- # } {
63
- # :d1 :location :Oostende .
64
- # :d1 :battery :mid .
65
- # :d1 :permit :yes .
66
- # } (:fly_gent_kortrijk :get_zone_permit_kortrijk :emergency_charge_kortrijk :direct_corridor_kortrijk_oostende) "3500"^^xsd:decimal "0.02"^^xsd:decimal "0.9435600454499999"^^xsd:decimal "0.86526"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
67
- # "0.9435600454499999"^^xsd:decimal math:greaterThan 0.94 .
68
- # "0.02"^^xsd:decimal math:lessThan 0.03 .
69
- # via the schematic forward rule:
70
- # {
71
- # :fuel7 :value ?Fuel .
72
- # ({
73
- # :d1 :location :Gent .
74
- # :d1 :battery :full .
75
- # :d1 :permit :none .
76
- # } {
77
- # :d1 :location :Oostende .
78
- # :d1 :battery ?B .
79
- # :d1 :permit ?P .
80
- # } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
81
- # ?Bel math:greaterThan 0.94 .
82
- # ?Cost math:lessThan 0.03 .
83
- # } => {
84
- # :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
85
- # } .
86
- # with substitution (on rule variables):
87
- # ?Acts = (:fly_gent_kortrijk :get_zone_permit_kortrijk :emergency_charge_kortrijk :direct_corridor_kortrijk_oostende)
88
- # ?B = :mid
89
- # ?Bel = "0.9435600454499999"^^xsd:decimal
90
- # ?Comf = "0.86526"^^xsd:decimal
91
- # ?Cost = "0.02"^^xsd:decimal
92
- # ?Dur = "3500"^^xsd:decimal
93
- # ?Fuel = (:t :t :t :t :t :t :t)
94
- # ?FuelLeft = (:t :t :t)
95
- # ?P = :yes
96
- # Therefore the derived triple above is entailed by the rules and facts.
97
- # ----------------------------------------------------------------------
98
-
99
6
  :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :emergency_charge_kortrijk :direct_corridor_kortrijk_oostende) "3500"^^xsd:decimal "0.02"^^xsd:decimal "0.9435600454499999"^^xsd:decimal "0.86526"^^xsd:decimal :mid :yes (:t :t :t)) .
100
-
101
- # ----------------------------------------------------------------------
102
- # Proof for derived triple:
103
- # :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) "5300"^^xsd:decimal "0.025"^^xsd:decimal "0.9536872605975"^^xsd:decimal "0.9126691199999999"^^xsd:decimal :mid :yes (:t :t)) .
104
- # It holds because the following instance of the rule body is provable:
105
- # :fuel7 :value (:t :t :t :t :t :t :t) .
106
- # ({
107
- # :d1 :location :Gent .
108
- # :d1 :battery :full .
109
- # :d1 :permit :none .
110
- # } {
111
- # :d1 :location :Oostende .
112
- # :d1 :battery :mid .
113
- # :d1 :permit :yes .
114
- # } (:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) "5300"^^xsd:decimal "0.025"^^xsd:decimal "0.9536872605975"^^xsd:decimal "0.9126691199999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t)) :path true .
115
- # "0.9536872605975"^^xsd:decimal math:greaterThan 0.94 .
116
- # "0.025"^^xsd:decimal math:lessThan 0.03 .
117
- # via the schematic forward rule:
118
- # {
119
- # :fuel7 :value ?Fuel .
120
- # ({
121
- # :d1 :location :Gent .
122
- # :d1 :battery :full .
123
- # :d1 :permit :none .
124
- # } {
125
- # :d1 :location :Oostende .
126
- # :d1 :battery ?B .
127
- # :d1 :permit ?P .
128
- # } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
129
- # ?Bel math:greaterThan 0.94 .
130
- # ?Cost math:lessThan 0.03 .
131
- # } => {
132
- # :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
133
- # } .
134
- # with substitution (on rule variables):
135
- # ?Acts = (:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende)
136
- # ?B = :mid
137
- # ?Bel = "0.9536872605975"^^xsd:decimal
138
- # ?Comf = "0.9126691199999999"^^xsd:decimal
139
- # ?Cost = "0.025"^^xsd:decimal
140
- # ?Dur = "5300"^^xsd:decimal
141
- # ?Fuel = (:t :t :t :t :t :t :t)
142
- # ?FuelLeft = (:t :t)
143
- # ?P = :yes
144
- # Therefore the derived triple above is entailed by the rules and facts.
145
- # ----------------------------------------------------------------------
146
-
147
7
  :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) "5300"^^xsd:decimal "0.025"^^xsd:decimal "0.9536872605975"^^xsd:decimal "0.9126691199999999"^^xsd:decimal :mid :yes (:t :t)) .
148
-
149
- # ----------------------------------------------------------------------
150
- # Proof for derived triple:
151
- # :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) "5000"^^xsd:decimal "0.023"^^xsd:decimal "0.958577964498"^^xsd:decimal "0.9506969999999999"^^xsd:decimal :mid :yes (:t :t)) .
152
- # It holds because the following instance of the rule body is provable:
153
- # :fuel7 :value (:t :t :t :t :t :t :t) .
154
- # ({
155
- # :d1 :location :Gent .
156
- # :d1 :battery :full .
157
- # :d1 :permit :none .
158
- # } {
159
- # :d1 :location :Oostende .
160
- # :d1 :battery :mid .
161
- # :d1 :permit :yes .
162
- # } (:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) "5000"^^xsd:decimal "0.023"^^xsd:decimal "0.958577964498"^^xsd:decimal "0.9506969999999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t)) :path true .
163
- # "0.958577964498"^^xsd:decimal math:greaterThan 0.94 .
164
- # "0.023"^^xsd:decimal math:lessThan 0.03 .
165
- # via the schematic forward rule:
166
- # {
167
- # :fuel7 :value ?Fuel .
168
- # ({
169
- # :d1 :location :Gent .
170
- # :d1 :battery :full .
171
- # :d1 :permit :none .
172
- # } {
173
- # :d1 :location :Oostende .
174
- # :d1 :battery ?B .
175
- # :d1 :permit ?P .
176
- # } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
177
- # ?Bel math:greaterThan 0.94 .
178
- # ?Cost math:lessThan 0.03 .
179
- # } => {
180
- # :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
181
- # } .
182
- # with substitution (on rule variables):
183
- # ?Acts = (:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende)
184
- # ?B = :mid
185
- # ?Bel = "0.958577964498"^^xsd:decimal
186
- # ?Comf = "0.9506969999999999"^^xsd:decimal
187
- # ?Cost = "0.023"^^xsd:decimal
188
- # ?Dur = "5000"^^xsd:decimal
189
- # ?Fuel = (:t :t :t :t :t :t :t)
190
- # ?FuelLeft = (:t :t)
191
- # ?P = :yes
192
- # Therefore the derived triple above is entailed by the rules and facts.
193
- # ----------------------------------------------------------------------
194
-
195
8
  :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) "5000"^^xsd:decimal "0.023"^^xsd:decimal "0.958577964498"^^xsd:decimal "0.9506969999999999"^^xsd:decimal :mid :yes (:t :t)) .
196
-
197
- # ----------------------------------------------------------------------
198
- # Proof for derived triple:
199
- # :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "5150"^^xsd:decimal "0.024"^^xsd:decimal "0.94034675196"^^xsd:decimal "0.9506969999999999"^^xsd:decimal :mid :yes (:t :t)) .
200
- # It holds because the following instance of the rule body is provable:
201
- # :fuel7 :value (:t :t :t :t :t :t :t) .
202
- # ({
203
- # :d1 :location :Gent .
204
- # :d1 :battery :full .
205
- # :d1 :permit :none .
206
- # } {
207
- # :d1 :location :Oostende .
208
- # :d1 :battery :mid .
209
- # :d1 :permit :yes .
210
- # } (:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "5150"^^xsd:decimal "0.024"^^xsd:decimal "0.94034675196"^^xsd:decimal "0.9506969999999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t)) :path true .
211
- # "0.94034675196"^^xsd:decimal math:greaterThan 0.94 .
212
- # "0.024"^^xsd:decimal math:lessThan 0.03 .
213
- # via the schematic forward rule:
214
- # {
215
- # :fuel7 :value ?Fuel .
216
- # ({
217
- # :d1 :location :Gent .
218
- # :d1 :battery :full .
219
- # :d1 :permit :none .
220
- # } {
221
- # :d1 :location :Oostende .
222
- # :d1 :battery ?B .
223
- # :d1 :permit ?P .
224
- # } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
225
- # ?Bel math:greaterThan 0.94 .
226
- # ?Cost math:lessThan 0.03 .
227
- # } => {
228
- # :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
229
- # } .
230
- # with substitution (on rule variables):
231
- # ?Acts = (:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :buy_permit_brugge :cross_corridor_brugge_oostende)
232
- # ?B = :mid
233
- # ?Bel = "0.94034675196"^^xsd:decimal
234
- # ?Comf = "0.9506969999999999"^^xsd:decimal
235
- # ?Cost = "0.024"^^xsd:decimal
236
- # ?Dur = "5150"^^xsd:decimal
237
- # ?Fuel = (:t :t :t :t :t :t :t)
238
- # ?FuelLeft = (:t :t)
239
- # ?P = :yes
240
- # Therefore the derived triple above is entailed by the rules and facts.
241
- # ----------------------------------------------------------------------
242
-
243
9
  :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "5150"^^xsd:decimal "0.024"^^xsd:decimal "0.94034675196"^^xsd:decimal "0.9506969999999999"^^xsd:decimal :mid :yes (:t :t)) .
244
-
245
- # ----------------------------------------------------------------------
246
- # Proof for derived triple:
247
- # :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) "5000"^^xsd:decimal "0.024"^^xsd:decimal "0.9546419025"^^xsd:decimal "0.9126691199999999"^^xsd:decimal :mid :none (:t :t :t)) .
248
- # It holds because the following instance of the rule body is provable:
249
- # :fuel7 :value (:t :t :t :t :t :t :t) .
250
- # ({
251
- # :d1 :location :Gent .
252
- # :d1 :battery :full .
253
- # :d1 :permit :none .
254
- # } {
255
- # :d1 :location :Oostende .
256
- # :d1 :battery :mid .
257
- # :d1 :permit :none .
258
- # } (:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) "5000"^^xsd:decimal "0.024"^^xsd:decimal "0.9546419025"^^xsd:decimal "0.9126691199999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
259
- # "0.9546419025"^^xsd:decimal math:greaterThan 0.94 .
260
- # "0.024"^^xsd:decimal math:lessThan 0.03 .
261
- # via the schematic forward rule:
262
- # {
263
- # :fuel7 :value ?Fuel .
264
- # ({
265
- # :d1 :location :Gent .
266
- # :d1 :battery :full .
267
- # :d1 :permit :none .
268
- # } {
269
- # :d1 :location :Oostende .
270
- # :d1 :battery ?B .
271
- # :d1 :permit ?P .
272
- # } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
273
- # ?Bel math:greaterThan 0.94 .
274
- # ?Cost math:lessThan 0.03 .
275
- # } => {
276
- # :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
277
- # } .
278
- # with substitution (on rule variables):
279
- # ?Acts = (:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende)
280
- # ?B = :mid
281
- # ?Bel = "0.9546419025"^^xsd:decimal
282
- # ?Comf = "0.9126691199999999"^^xsd:decimal
283
- # ?Cost = "0.024"^^xsd:decimal
284
- # ?Dur = "5000"^^xsd:decimal
285
- # ?Fuel = (:t :t :t :t :t :t :t)
286
- # ?FuelLeft = (:t :t :t)
287
- # ?P = :none
288
- # Therefore the derived triple above is entailed by the rules and facts.
289
- # ----------------------------------------------------------------------
290
-
291
10
  :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) "5000"^^xsd:decimal "0.024"^^xsd:decimal "0.9546419025"^^xsd:decimal "0.9126691199999999"^^xsd:decimal :mid :none (:t :t :t)) .
292
-
293
- # ----------------------------------------------------------------------
294
- # Proof for derived triple:
295
- # :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :buy_permit_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) "5150"^^xsd:decimal "0.024"^^xsd:decimal "0.94034675196"^^xsd:decimal "0.9506969999999999"^^xsd:decimal :mid :yes (:t :t)) .
296
- # It holds because the following instance of the rule body is provable:
297
- # :fuel7 :value (:t :t :t :t :t :t :t) .
298
- # ({
299
- # :d1 :location :Gent .
300
- # :d1 :battery :full .
301
- # :d1 :permit :none .
302
- # } {
303
- # :d1 :location :Oostende .
304
- # :d1 :battery :mid .
305
- # :d1 :permit :yes .
306
- # } (:fly_gent_kortrijk :fly_kortrijk_brugge :buy_permit_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) "5150"^^xsd:decimal "0.024"^^xsd:decimal "0.94034675196"^^xsd:decimal "0.9506969999999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t)) :path true .
307
- # "0.94034675196"^^xsd:decimal math:greaterThan 0.94 .
308
- # "0.024"^^xsd:decimal math:lessThan 0.03 .
309
- # via the schematic forward rule:
310
- # {
311
- # :fuel7 :value ?Fuel .
312
- # ({
313
- # :d1 :location :Gent .
314
- # :d1 :battery :full .
315
- # :d1 :permit :none .
316
- # } {
317
- # :d1 :location :Oostende .
318
- # :d1 :battery ?B .
319
- # :d1 :permit ?P .
320
- # } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
321
- # ?Bel math:greaterThan 0.94 .
322
- # ?Cost math:lessThan 0.03 .
323
- # } => {
324
- # :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
325
- # } .
326
- # with substitution (on rule variables):
327
- # ?Acts = (:fly_gent_kortrijk :fly_kortrijk_brugge :buy_permit_brugge :quick_charge_brugge :cross_corridor_brugge_oostende)
328
- # ?B = :mid
329
- # ?Bel = "0.94034675196"^^xsd:decimal
330
- # ?Comf = "0.9506969999999999"^^xsd:decimal
331
- # ?Cost = "0.024"^^xsd:decimal
332
- # ?Dur = "5150"^^xsd:decimal
333
- # ?Fuel = (:t :t :t :t :t :t :t)
334
- # ?FuelLeft = (:t :t)
335
- # ?P = :yes
336
- # Therefore the derived triple above is entailed by the rules and facts.
337
- # ----------------------------------------------------------------------
338
-
339
11
  :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :buy_permit_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) "5150"^^xsd:decimal "0.024"^^xsd:decimal "0.94034675196"^^xsd:decimal "0.9506969999999999"^^xsd:decimal :mid :yes (:t :t)) .
340
-
341
- # ----------------------------------------------------------------------
342
- # Proof for derived triple:
343
- # :d1 gps:plan ((:train_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3350"^^xsd:decimal "0.02"^^xsd:decimal "0.9545445"^^xsd:decimal "0.9551999999999999"^^xsd:decimal :mid :yes (:t :t :t :t)) .
344
- # It holds because the following instance of the rule body is provable:
345
- # :fuel7 :value (:t :t :t :t :t :t :t) .
346
- # ({
347
- # :d1 :location :Gent .
348
- # :d1 :battery :full .
349
- # :d1 :permit :none .
350
- # } {
351
- # :d1 :location :Oostende .
352
- # :d1 :battery :mid .
353
- # :d1 :permit :yes .
354
- # } (:train_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3350"^^xsd:decimal "0.02"^^xsd:decimal "0.9545445"^^xsd:decimal "0.9551999999999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
355
- # "0.9545445"^^xsd:decimal math:greaterThan 0.94 .
356
- # "0.02"^^xsd:decimal math:lessThan 0.03 .
357
- # via the schematic forward rule:
358
- # {
359
- # :fuel7 :value ?Fuel .
360
- # ({
361
- # :d1 :location :Gent .
362
- # :d1 :battery :full .
363
- # :d1 :permit :none .
364
- # } {
365
- # :d1 :location :Oostende .
366
- # :d1 :battery ?B .
367
- # :d1 :permit ?P .
368
- # } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
369
- # ?Bel math:greaterThan 0.94 .
370
- # ?Cost math:lessThan 0.03 .
371
- # } => {
372
- # :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
373
- # } .
374
- # with substitution (on rule variables):
375
- # ?Acts = (:train_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende)
376
- # ?B = :mid
377
- # ?Bel = "0.9545445"^^xsd:decimal
378
- # ?Comf = "0.9551999999999999"^^xsd:decimal
379
- # ?Cost = "0.02"^^xsd:decimal
380
- # ?Dur = "3350"^^xsd:decimal
381
- # ?Fuel = (:t :t :t :t :t :t :t)
382
- # ?FuelLeft = (:t :t :t :t)
383
- # ?P = :yes
384
- # Therefore the derived triple above is entailed by the rules and facts.
385
- # ----------------------------------------------------------------------
386
-
387
12
  :d1 gps:plan ((:train_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3350"^^xsd:decimal "0.02"^^xsd:decimal "0.9545445"^^xsd:decimal "0.9551999999999999"^^xsd:decimal :mid :yes (:t :t :t :t)) .
388
-
389
- # ----------------------------------------------------------------------
390
- # Proof for derived triple:
391
- # :d1 gps:plan ((:train_gent_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "3050"^^xsd:decimal "0.018000000000000002"^^xsd:decimal "0.9594396"^^xsd:decimal "0.995"^^xsd:decimal :mid :yes (:t :t :t :t)) .
392
- # It holds because the following instance of the rule body is provable:
393
- # :fuel7 :value (:t :t :t :t :t :t :t) .
394
- # ({
395
- # :d1 :location :Gent .
396
- # :d1 :battery :full .
397
- # :d1 :permit :none .
398
- # } {
399
- # :d1 :location :Oostende .
400
- # :d1 :battery :mid .
401
- # :d1 :permit :yes .
402
- # } (:train_gent_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "3050"^^xsd:decimal "0.018000000000000002"^^xsd:decimal "0.9594396"^^xsd:decimal "0.995"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
403
- # "0.9594396"^^xsd:decimal math:greaterThan 0.94 .
404
- # "0.018000000000000002"^^xsd:decimal math:lessThan 0.03 .
405
- # via the schematic forward rule:
406
- # {
407
- # :fuel7 :value ?Fuel .
408
- # ({
409
- # :d1 :location :Gent .
410
- # :d1 :battery :full .
411
- # :d1 :permit :none .
412
- # } {
413
- # :d1 :location :Oostende .
414
- # :d1 :battery ?B .
415
- # :d1 :permit ?P .
416
- # } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
417
- # ?Bel math:greaterThan 0.94 .
418
- # ?Cost math:lessThan 0.03 .
419
- # } => {
420
- # :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
421
- # } .
422
- # with substitution (on rule variables):
423
- # ?Acts = (:train_gent_brugge :buy_permit_brugge :cross_corridor_brugge_oostende)
424
- # ?B = :mid
425
- # ?Bel = "0.9594396"^^xsd:decimal
426
- # ?Comf = "0.995"^^xsd:decimal
427
- # ?Cost = "0.018000000000000002"^^xsd:decimal
428
- # ?Dur = "3050"^^xsd:decimal
429
- # ?Fuel = (:t :t :t :t :t :t :t)
430
- # ?FuelLeft = (:t :t :t :t)
431
- # ?P = :yes
432
- # Therefore the derived triple above is entailed by the rules and facts.
433
- # ----------------------------------------------------------------------
434
-
435
13
  :d1 gps:plan ((:train_gent_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "3050"^^xsd:decimal "0.018000000000000002"^^xsd:decimal "0.9594396"^^xsd:decimal "0.995"^^xsd:decimal :mid :yes (:t :t :t :t)) .
436
-
437
- # ----------------------------------------------------------------------
438
- # Proof for derived triple:
439
- # :d1 gps:plan ((:train_gent_brugge :public_coastline_brugge_oostende) "2900"^^xsd:decimal "0.018000000000000002"^^xsd:decimal "0.974025"^^xsd:decimal "0.9551999999999999"^^xsd:decimal :mid :none (:t :t :t :t :t)) .
440
- # It holds because the following instance of the rule body is provable:
441
- # :fuel7 :value (:t :t :t :t :t :t :t) .
442
- # ({
443
- # :d1 :location :Gent .
444
- # :d1 :battery :full .
445
- # :d1 :permit :none .
446
- # } {
447
- # :d1 :location :Oostende .
448
- # :d1 :battery :mid .
449
- # :d1 :permit :none .
450
- # } (:train_gent_brugge :public_coastline_brugge_oostende) "2900"^^xsd:decimal "0.018000000000000002"^^xsd:decimal "0.974025"^^xsd:decimal "0.9551999999999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t :t :t)) :path true .
451
- # "0.974025"^^xsd:decimal math:greaterThan 0.94 .
452
- # "0.018000000000000002"^^xsd:decimal math:lessThan 0.03 .
453
- # via the schematic forward rule:
454
- # {
455
- # :fuel7 :value ?Fuel .
456
- # ({
457
- # :d1 :location :Gent .
458
- # :d1 :battery :full .
459
- # :d1 :permit :none .
460
- # } {
461
- # :d1 :location :Oostende .
462
- # :d1 :battery ?B .
463
- # :d1 :permit ?P .
464
- # } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
465
- # ?Bel math:greaterThan 0.94 .
466
- # ?Cost math:lessThan 0.03 .
467
- # } => {
468
- # :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
469
- # } .
470
- # with substitution (on rule variables):
471
- # ?Acts = (:train_gent_brugge :public_coastline_brugge_oostende)
472
- # ?B = :mid
473
- # ?Bel = "0.974025"^^xsd:decimal
474
- # ?Comf = "0.9551999999999999"^^xsd:decimal
475
- # ?Cost = "0.018000000000000002"^^xsd:decimal
476
- # ?Dur = "2900"^^xsd:decimal
477
- # ?Fuel = (:t :t :t :t :t :t :t)
478
- # ?FuelLeft = (:t :t :t :t :t)
479
- # ?P = :none
480
- # Therefore the derived triple above is entailed by the rules and facts.
481
- # ----------------------------------------------------------------------
482
-
483
14
  :d1 gps:plan ((:train_gent_brugge :public_coastline_brugge_oostende) "2900"^^xsd:decimal "0.018000000000000002"^^xsd:decimal "0.974025"^^xsd:decimal "0.9551999999999999"^^xsd:decimal :mid :none (:t :t :t :t :t)) .
484
-
485
- # ----------------------------------------------------------------------
486
- # Proof for derived triple:
487
- # :d1 gps:plan ((:fly_gent_brugge :topup_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3550"^^xsd:decimal "0.017"^^xsd:decimal "0.944999055"^^xsd:decimal "0.931392"^^xsd:decimal :mid :yes (:t :t :t)) .
488
- # It holds because the following instance of the rule body is provable:
489
- # :fuel7 :value (:t :t :t :t :t :t :t) .
490
- # ({
491
- # :d1 :location :Gent .
492
- # :d1 :battery :full .
493
- # :d1 :permit :none .
494
- # } {
495
- # :d1 :location :Oostende .
496
- # :d1 :battery :mid .
497
- # :d1 :permit :yes .
498
- # } (:fly_gent_brugge :topup_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3550"^^xsd:decimal "0.017"^^xsd:decimal "0.944999055"^^xsd:decimal "0.931392"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
499
- # "0.944999055"^^xsd:decimal math:greaterThan 0.94 .
500
- # "0.017"^^xsd:decimal math:lessThan 0.03 .
501
- # via the schematic forward rule:
502
- # {
503
- # :fuel7 :value ?Fuel .
504
- # ({
505
- # :d1 :location :Gent .
506
- # :d1 :battery :full .
507
- # :d1 :permit :none .
508
- # } {
509
- # :d1 :location :Oostende .
510
- # :d1 :battery ?B .
511
- # :d1 :permit ?P .
512
- # } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
513
- # ?Bel math:greaterThan 0.94 .
514
- # ?Cost math:lessThan 0.03 .
515
- # } => {
516
- # :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
517
- # } .
518
- # with substitution (on rule variables):
519
- # ?Acts = (:fly_gent_brugge :topup_brugge :buy_permit_brugge :public_coastline_brugge_oostende)
520
- # ?B = :mid
521
- # ?Bel = "0.944999055"^^xsd:decimal
522
- # ?Comf = "0.931392"^^xsd:decimal
523
- # ?Cost = "0.017"^^xsd:decimal
524
- # ?Dur = "3550"^^xsd:decimal
525
- # ?Fuel = (:t :t :t :t :t :t :t)
526
- # ?FuelLeft = (:t :t :t)
527
- # ?P = :yes
528
- # Therefore the derived triple above is entailed by the rules and facts.
529
- # ----------------------------------------------------------------------
530
-
531
15
  :d1 gps:plan ((:fly_gent_brugge :topup_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3550"^^xsd:decimal "0.017"^^xsd:decimal "0.944999055"^^xsd:decimal "0.931392"^^xsd:decimal :mid :yes (:t :t :t)) .
532
-
533
- # ----------------------------------------------------------------------
534
- # Proof for derived triple:
535
- # :d1 gps:plan ((:fly_gent_brugge :topup_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "3250"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.9498452039999999"^^xsd:decimal "0.9702"^^xsd:decimal :mid :yes (:t :t :t)) .
536
- # It holds because the following instance of the rule body is provable:
537
- # :fuel7 :value (:t :t :t :t :t :t :t) .
538
- # ({
539
- # :d1 :location :Gent .
540
- # :d1 :battery :full .
541
- # :d1 :permit :none .
542
- # } {
543
- # :d1 :location :Oostende .
544
- # :d1 :battery :mid .
545
- # :d1 :permit :yes .
546
- # } (:fly_gent_brugge :topup_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "3250"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.9498452039999999"^^xsd:decimal "0.9702"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
547
- # "0.9498452039999999"^^xsd:decimal math:greaterThan 0.94 .
548
- # "0.015000000000000001"^^xsd:decimal math:lessThan 0.03 .
549
- # via the schematic forward rule:
550
- # {
551
- # :fuel7 :value ?Fuel .
552
- # ({
553
- # :d1 :location :Gent .
554
- # :d1 :battery :full .
555
- # :d1 :permit :none .
556
- # } {
557
- # :d1 :location :Oostende .
558
- # :d1 :battery ?B .
559
- # :d1 :permit ?P .
560
- # } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
561
- # ?Bel math:greaterThan 0.94 .
562
- # ?Cost math:lessThan 0.03 .
563
- # } => {
564
- # :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
565
- # } .
566
- # with substitution (on rule variables):
567
- # ?Acts = (:fly_gent_brugge :topup_brugge :buy_permit_brugge :cross_corridor_brugge_oostende)
568
- # ?B = :mid
569
- # ?Bel = "0.9498452039999999"^^xsd:decimal
570
- # ?Comf = "0.9702"^^xsd:decimal
571
- # ?Cost = "0.015000000000000001"^^xsd:decimal
572
- # ?Dur = "3250"^^xsd:decimal
573
- # ?Fuel = (:t :t :t :t :t :t :t)
574
- # ?FuelLeft = (:t :t :t)
575
- # ?P = :yes
576
- # Therefore the derived triple above is entailed by the rules and facts.
577
- # ----------------------------------------------------------------------
578
-
579
16
  :d1 gps:plan ((:fly_gent_brugge :topup_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "3250"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.9498452039999999"^^xsd:decimal "0.9702"^^xsd:decimal :mid :yes (:t :t :t)) .
580
-
581
- # ----------------------------------------------------------------------
582
- # Proof for derived triple:
583
- # :d1 gps:plan ((:fly_gent_brugge :topup_brugge :public_coastline_brugge_oostende) "3100"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.96428475"^^xsd:decimal "0.931392"^^xsd:decimal :mid :none (:t :t :t :t)) .
584
- # It holds because the following instance of the rule body is provable:
585
- # :fuel7 :value (:t :t :t :t :t :t :t) .
586
- # ({
587
- # :d1 :location :Gent .
588
- # :d1 :battery :full .
589
- # :d1 :permit :none .
590
- # } {
591
- # :d1 :location :Oostende .
592
- # :d1 :battery :mid .
593
- # :d1 :permit :none .
594
- # } (:fly_gent_brugge :topup_brugge :public_coastline_brugge_oostende) "3100"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.96428475"^^xsd:decimal "0.931392"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
595
- # "0.96428475"^^xsd:decimal math:greaterThan 0.94 .
596
- # "0.015000000000000001"^^xsd:decimal math:lessThan 0.03 .
597
- # via the schematic forward rule:
598
- # {
599
- # :fuel7 :value ?Fuel .
600
- # ({
601
- # :d1 :location :Gent .
602
- # :d1 :battery :full .
603
- # :d1 :permit :none .
604
- # } {
605
- # :d1 :location :Oostende .
606
- # :d1 :battery ?B .
607
- # :d1 :permit ?P .
608
- # } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
609
- # ?Bel math:greaterThan 0.94 .
610
- # ?Cost math:lessThan 0.03 .
611
- # } => {
612
- # :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
613
- # } .
614
- # with substitution (on rule variables):
615
- # ?Acts = (:fly_gent_brugge :topup_brugge :public_coastline_brugge_oostende)
616
- # ?B = :mid
617
- # ?Bel = "0.96428475"^^xsd:decimal
618
- # ?Comf = "0.931392"^^xsd:decimal
619
- # ?Cost = "0.015000000000000001"^^xsd:decimal
620
- # ?Dur = "3100"^^xsd:decimal
621
- # ?Fuel = (:t :t :t :t :t :t :t)
622
- # ?FuelLeft = (:t :t :t :t)
623
- # ?P = :none
624
- # Therefore the derived triple above is entailed by the rules and facts.
625
- # ----------------------------------------------------------------------
626
-
627
17
  :d1 gps:plan ((:fly_gent_brugge :topup_brugge :public_coastline_brugge_oostende) "3100"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.96428475"^^xsd:decimal "0.931392"^^xsd:decimal :mid :none (:t :t :t :t)) .
628
-
629
- # ----------------------------------------------------------------------
630
- # Proof for derived triple:
631
- # :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :topup_brugge :public_coastline_brugge_oostende) "3550"^^xsd:decimal "0.017"^^xsd:decimal "0.944999055"^^xsd:decimal "0.931392"^^xsd:decimal :mid :yes (:t :t :t)) .
632
- # It holds because the following instance of the rule body is provable:
633
- # :fuel7 :value (:t :t :t :t :t :t :t) .
634
- # ({
635
- # :d1 :location :Gent .
636
- # :d1 :battery :full .
637
- # :d1 :permit :none .
638
- # } {
639
- # :d1 :location :Oostende .
640
- # :d1 :battery :mid .
641
- # :d1 :permit :yes .
642
- # } (:fly_gent_brugge :buy_permit_brugge :topup_brugge :public_coastline_brugge_oostende) "3550"^^xsd:decimal "0.017"^^xsd:decimal "0.944999055"^^xsd:decimal "0.931392"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
643
- # "0.944999055"^^xsd:decimal math:greaterThan 0.94 .
644
- # "0.017"^^xsd:decimal math:lessThan 0.03 .
645
- # via the schematic forward rule:
646
- # {
647
- # :fuel7 :value ?Fuel .
648
- # ({
649
- # :d1 :location :Gent .
650
- # :d1 :battery :full .
651
- # :d1 :permit :none .
652
- # } {
653
- # :d1 :location :Oostende .
654
- # :d1 :battery ?B .
655
- # :d1 :permit ?P .
656
- # } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
657
- # ?Bel math:greaterThan 0.94 .
658
- # ?Cost math:lessThan 0.03 .
659
- # } => {
660
- # :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
661
- # } .
662
- # with substitution (on rule variables):
663
- # ?Acts = (:fly_gent_brugge :buy_permit_brugge :topup_brugge :public_coastline_brugge_oostende)
664
- # ?B = :mid
665
- # ?Bel = "0.944999055"^^xsd:decimal
666
- # ?Comf = "0.931392"^^xsd:decimal
667
- # ?Cost = "0.017"^^xsd:decimal
668
- # ?Dur = "3550"^^xsd:decimal
669
- # ?Fuel = (:t :t :t :t :t :t :t)
670
- # ?FuelLeft = (:t :t :t)
671
- # ?P = :yes
672
- # Therefore the derived triple above is entailed by the rules and facts.
673
- # ----------------------------------------------------------------------
674
-
675
18
  :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :topup_brugge :public_coastline_brugge_oostende) "3550"^^xsd:decimal "0.017"^^xsd:decimal "0.944999055"^^xsd:decimal "0.931392"^^xsd:decimal :mid :yes (:t :t :t)) .
676
-
677
- # ----------------------------------------------------------------------
678
- # Proof for derived triple:
679
- # :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :topup_brugge :cross_corridor_brugge_oostende) "3250"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.9498452039999999"^^xsd:decimal "0.9702"^^xsd:decimal :mid :yes (:t :t :t)) .
680
- # It holds because the following instance of the rule body is provable:
681
- # :fuel7 :value (:t :t :t :t :t :t :t) .
682
- # ({
683
- # :d1 :location :Gent .
684
- # :d1 :battery :full .
685
- # :d1 :permit :none .
686
- # } {
687
- # :d1 :location :Oostende .
688
- # :d1 :battery :mid .
689
- # :d1 :permit :yes .
690
- # } (:fly_gent_brugge :buy_permit_brugge :topup_brugge :cross_corridor_brugge_oostende) "3250"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.9498452039999999"^^xsd:decimal "0.9702"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
691
- # "0.9498452039999999"^^xsd:decimal math:greaterThan 0.94 .
692
- # "0.015000000000000001"^^xsd:decimal math:lessThan 0.03 .
693
- # via the schematic forward rule:
694
- # {
695
- # :fuel7 :value ?Fuel .
696
- # ({
697
- # :d1 :location :Gent .
698
- # :d1 :battery :full .
699
- # :d1 :permit :none .
700
- # } {
701
- # :d1 :location :Oostende .
702
- # :d1 :battery ?B .
703
- # :d1 :permit ?P .
704
- # } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
705
- # ?Bel math:greaterThan 0.94 .
706
- # ?Cost math:lessThan 0.03 .
707
- # } => {
708
- # :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
709
- # } .
710
- # with substitution (on rule variables):
711
- # ?Acts = (:fly_gent_brugge :buy_permit_brugge :topup_brugge :cross_corridor_brugge_oostende)
712
- # ?B = :mid
713
- # ?Bel = "0.9498452039999999"^^xsd:decimal
714
- # ?Comf = "0.9702"^^xsd:decimal
715
- # ?Cost = "0.015000000000000001"^^xsd:decimal
716
- # ?Dur = "3250"^^xsd:decimal
717
- # ?Fuel = (:t :t :t :t :t :t :t)
718
- # ?FuelLeft = (:t :t :t)
719
- # ?P = :yes
720
- # Therefore the derived triple above is entailed by the rules and facts.
721
- # ----------------------------------------------------------------------
722
-
723
19
  :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :topup_brugge :cross_corridor_brugge_oostende) "3250"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.9498452039999999"^^xsd:decimal "0.9702"^^xsd:decimal :mid :yes (:t :t :t)) .
724
-
725
- # ----------------------------------------------------------------------
726
- # Proof for derived triple:
727
- # :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3250"^^xsd:decimal "0.014"^^xsd:decimal "0.941094"^^xsd:decimal "0.9503999999999999"^^xsd:decimal :low :yes (:t :t :t :t)) .
728
- # It holds because the following instance of the rule body is provable:
729
- # :fuel7 :value (:t :t :t :t :t :t :t) .
730
- # ({
731
- # :d1 :location :Gent .
732
- # :d1 :battery :full .
733
- # :d1 :permit :none .
734
- # } {
735
- # :d1 :location :Oostende .
736
- # :d1 :battery :low .
737
- # :d1 :permit :yes .
738
- # } (:fly_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3250"^^xsd:decimal "0.014"^^xsd:decimal "0.941094"^^xsd:decimal "0.9503999999999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
739
- # "0.941094"^^xsd:decimal math:greaterThan 0.94 .
740
- # "0.014"^^xsd:decimal math:lessThan 0.03 .
741
- # via the schematic forward rule:
742
- # {
743
- # :fuel7 :value ?Fuel .
744
- # ({
745
- # :d1 :location :Gent .
746
- # :d1 :battery :full .
747
- # :d1 :permit :none .
748
- # } {
749
- # :d1 :location :Oostende .
750
- # :d1 :battery ?B .
751
- # :d1 :permit ?P .
752
- # } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
753
- # ?Bel math:greaterThan 0.94 .
754
- # ?Cost math:lessThan 0.03 .
755
- # } => {
756
- # :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
757
- # } .
758
- # with substitution (on rule variables):
759
- # ?Acts = (:fly_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende)
760
- # ?B = :low
761
- # ?Bel = "0.941094"^^xsd:decimal
762
- # ?Comf = "0.9503999999999999"^^xsd:decimal
763
- # ?Cost = "0.014"^^xsd:decimal
764
- # ?Dur = "3250"^^xsd:decimal
765
- # ?Fuel = (:t :t :t :t :t :t :t)
766
- # ?FuelLeft = (:t :t :t :t)
767
- # ?P = :yes
768
- # Therefore the derived triple above is entailed by the rules and facts.
769
- # ----------------------------------------------------------------------
770
-
771
20
  :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3250"^^xsd:decimal "0.014"^^xsd:decimal "0.941094"^^xsd:decimal "0.9503999999999999"^^xsd:decimal :low :yes (:t :t :t :t)) .
772
-
773
- # ----------------------------------------------------------------------
774
- # Proof for derived triple:
775
- # :d1 gps:plan ((:fly_gent_brugge :public_coastline_brugge_oostende) "2800"^^xsd:decimal "0.012"^^xsd:decimal "0.9602999999999999"^^xsd:decimal "0.9503999999999999"^^xsd:decimal :low :none (:t :t :t :t :t)) .
776
- # It holds because the following instance of the rule body is provable:
777
- # :fuel7 :value (:t :t :t :t :t :t :t) .
778
- # ({
779
- # :d1 :location :Gent .
780
- # :d1 :battery :full .
781
- # :d1 :permit :none .
782
- # } {
783
- # :d1 :location :Oostende .
784
- # :d1 :battery :low .
785
- # :d1 :permit :none .
786
- # } (:fly_gent_brugge :public_coastline_brugge_oostende) "2800"^^xsd:decimal "0.012"^^xsd:decimal "0.9602999999999999"^^xsd:decimal "0.9503999999999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t :t :t)) :path true .
787
- # "0.9602999999999999"^^xsd:decimal math:greaterThan 0.94 .
788
- # "0.012"^^xsd:decimal math:lessThan 0.03 .
789
- # via the schematic forward rule:
790
- # {
791
- # :fuel7 :value ?Fuel .
792
- # ({
793
- # :d1 :location :Gent .
794
- # :d1 :battery :full .
795
- # :d1 :permit :none .
796
- # } {
797
- # :d1 :location :Oostende .
798
- # :d1 :battery ?B .
799
- # :d1 :permit ?P .
800
- # } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
801
- # ?Bel math:greaterThan 0.94 .
802
- # ?Cost math:lessThan 0.03 .
803
- # } => {
804
- # :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
805
- # } .
806
- # with substitution (on rule variables):
807
- # ?Acts = (:fly_gent_brugge :public_coastline_brugge_oostende)
808
- # ?B = :low
809
- # ?Bel = "0.9602999999999999"^^xsd:decimal
810
- # ?Comf = "0.9503999999999999"^^xsd:decimal
811
- # ?Cost = "0.012"^^xsd:decimal
812
- # ?Dur = "2800"^^xsd:decimal
813
- # ?Fuel = (:t :t :t :t :t :t :t)
814
- # ?FuelLeft = (:t :t :t :t :t)
815
- # ?P = :none
816
- # Therefore the derived triple above is entailed by the rules and facts.
817
- # ----------------------------------------------------------------------
818
-
819
21
  :d1 gps:plan ((:fly_gent_brugge :public_coastline_brugge_oostende) "2800"^^xsd:decimal "0.012"^^xsd:decimal "0.9602999999999999"^^xsd:decimal "0.9503999999999999"^^xsd:decimal :low :none (:t :t :t :t :t)) .
820
-