eyelang 1.3.8 → 1.4.0

package/examples/output/skolem-functions.pl

@@ -1,280 +1,16 @@
 type(skolem_observation(alice, glucose), observation).
-why(
-  type(skolem_observation(alice, glucose), observation),
-  proof(
-    goal(type(skolem_observation(alice, glucose), observation)),
-    by(rule("skolem-functions.pl", clause(13))),
-    bindings([binding("Patient", alice), binding("Test", glucose), binding("_Value", 6.8)]),
-    uses([
-      proof(
-        goal(test_result(alice, glucose, 6.8)),
-        by(fact("skolem-functions.pl", clause(8)))
-      )
-    ])
-  )
-).
-
 type(skolem_observation(alice, cholesterol), observation).
-why(
-  type(skolem_observation(alice, cholesterol), observation),
-  proof(
-    goal(type(skolem_observation(alice, cholesterol), observation)),
-    by(rule("skolem-functions.pl", clause(13))),
-    bindings([binding("Patient", alice), binding("Test", cholesterol), binding("_Value", 4.2)]),
-    uses([
-      proof(
-        goal(test_result(alice, cholesterol, 4.2)),
-        by(fact("skolem-functions.pl", clause(9)))
-      )
-    ])
-  )
-).
-
 type(skolem_observation(bob, glucose), observation).
-why(
-  type(skolem_observation(bob, glucose), observation),
-  proof(
-    goal(type(skolem_observation(bob, glucose), observation)),
-    by(rule("skolem-functions.pl", clause(13))),
-    bindings([binding("Patient", bob), binding("Test", glucose), binding("_Value", 5.1)]),
-    uses([
-      proof(
-        goal(test_result(bob, glucose, 5.1)),
-        by(fact("skolem-functions.pl", clause(10)))
-      )
-    ])
-  )
-).
-
 type(skolem_alert(alice, glucose), highGlucoseAlert).
-why(
-  type(skolem_alert(alice, glucose), highGlucoseAlert),
-  proof(
-    goal(type(skolem_alert(alice, glucose), highGlucoseAlert)),
-    by(rule("skolem-functions.pl", clause(17))),
-    bindings([binding("Patient", alice)]),
-    uses([
-      proof(
-        goal(high_glucose(alice)),
-        by(rule("skolem-functions.pl", clause(11))),
-        bindings([binding("Patient", alice), binding("Value", 6.8)]),
-        uses([
-          proof(
-            goal(test_result(alice, glucose, 6.8)),
-            by(fact("skolem-functions.pl", clause(8)))
-          ),
-          proof(
-            goal(gt(6.8, 6.0)),
-            by(builtin(gt, 2))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 patient(skolem_observation(alice, glucose), alice).
-why(
-  patient(skolem_observation(alice, glucose), alice),
-  proof(
-    goal(patient(skolem_observation(alice, glucose), alice)),
-    by(rule("skolem-functions.pl", clause(14))),
-    bindings([binding("Patient", alice), binding("Test", glucose), binding("_Value", 6.8)]),
-    uses([
-      proof(
-        goal(test_result(alice, glucose, 6.8)),
-        by(fact("skolem-functions.pl", clause(8)))
-      )
-    ])
-  )
-).
-
 patient(skolem_observation(alice, cholesterol), alice).
-why(
-  patient(skolem_observation(alice, cholesterol), alice),
-  proof(
-    goal(patient(skolem_observation(alice, cholesterol), alice)),
-    by(rule("skolem-functions.pl", clause(14))),
-    bindings([binding("Patient", alice), binding("Test", cholesterol), binding("_Value", 4.2)]),
-    uses([
-      proof(
-        goal(test_result(alice, cholesterol, 4.2)),
-        by(fact("skolem-functions.pl", clause(9)))
-      )
-    ])
-  )
-).
-
 patient(skolem_observation(bob, glucose), bob).
-why(
-  patient(skolem_observation(bob, glucose), bob),
-  proof(
-    goal(patient(skolem_observation(bob, glucose), bob)),
-    by(rule("skolem-functions.pl", clause(14))),
-    bindings([binding("Patient", bob), binding("Test", glucose), binding("_Value", 5.1)]),
-    uses([
-      proof(
-        goal(test_result(bob, glucose, 5.1)),
-        by(fact("skolem-functions.pl", clause(10)))
-      )
-    ])
-  )
-).
-
 test(skolem_observation(alice, glucose), glucose).
-why(
-  test(skolem_observation(alice, glucose), glucose),
-  proof(
-    goal(test(skolem_observation(alice, glucose), glucose)),
-    by(rule("skolem-functions.pl", clause(15))),
-    bindings([binding("Patient", alice), binding("Test", glucose), binding("_Value", 6.8)]),
-    uses([
-      proof(
-        goal(test_result(alice, glucose, 6.8)),
-        by(fact("skolem-functions.pl", clause(8)))
-      )
-    ])
-  )
-).
-
 test(skolem_observation(alice, cholesterol), cholesterol).
-why(
-  test(skolem_observation(alice, cholesterol), cholesterol),
-  proof(
-    goal(test(skolem_observation(alice, cholesterol), cholesterol)),
-    by(rule("skolem-functions.pl", clause(15))),
-    bindings([binding("Patient", alice), binding("Test", cholesterol), binding("_Value", 4.2)]),
-    uses([
-      proof(
-        goal(test_result(alice, cholesterol, 4.2)),
-        by(fact("skolem-functions.pl", clause(9)))
-      )
-    ])
-  )
-).
-
 test(skolem_observation(bob, glucose), glucose).
-why(
-  test(skolem_observation(bob, glucose), glucose),
-  proof(
-    goal(test(skolem_observation(bob, glucose), glucose)),
-    by(rule("skolem-functions.pl", clause(15))),
-    bindings([binding("Patient", bob), binding("Test", glucose), binding("_Value", 5.1)]),
-    uses([
-      proof(
-        goal(test_result(bob, glucose, 5.1)),
-        by(fact("skolem-functions.pl", clause(10)))
-      )
-    ])
-  )
-).
-
 value(skolem_observation(alice, glucose), 6.8).
-why(
-  value(skolem_observation(alice, glucose), 6.8),
-  proof(
-    goal(value(skolem_observation(alice, glucose), 6.8)),
-    by(rule("skolem-functions.pl", clause(16))),
-    bindings([binding("Patient", alice), binding("Test", glucose), binding("Value", 6.8)]),
-    uses([
-      proof(
-        goal(test_result(alice, glucose, 6.8)),
-        by(fact("skolem-functions.pl", clause(8)))
-      )
-    ])
-  )
-).
-
 value(skolem_observation(alice, cholesterol), 4.2).
-why(
-  value(skolem_observation(alice, cholesterol), 4.2),
-  proof(
-    goal(value(skolem_observation(alice, cholesterol), 4.2)),
-    by(rule("skolem-functions.pl", clause(16))),
-    bindings([binding("Patient", alice), binding("Test", cholesterol), binding("Value", 4.2)]),
-    uses([
-      proof(
-        goal(test_result(alice, cholesterol, 4.2)),
-        by(fact("skolem-functions.pl", clause(9)))
-      )
-    ])
-  )
-).
-
 value(skolem_observation(bob, glucose), 5.1).
-why(
-  value(skolem_observation(bob, glucose), 5.1),
-  proof(
-    goal(value(skolem_observation(bob, glucose), 5.1)),
-    by(rule("skolem-functions.pl", clause(16))),
-    bindings([binding("Patient", bob), binding("Test", glucose), binding("Value", 5.1)]),
-    uses([
-      proof(
-        goal(test_result(bob, glucose, 5.1)),
-        by(fact("skolem-functions.pl", clause(10)))
-      )
-    ])
-  )
-).
-
 about(skolem_alert(alice, glucose), skolem_observation(alice, glucose)).
-why(
-  about(skolem_alert(alice, glucose), skolem_observation(alice, glucose)),
-  proof(
-    goal(about(skolem_alert(alice, glucose), skolem_observation(alice, glucose))),
-    by(rule("skolem-functions.pl", clause(18))),
-    bindings([binding("Patient", alice)]),
-    uses([
-      proof(
-        goal(high_glucose(alice)),
-        by(rule("skolem-functions.pl", clause(11))),
-        bindings([binding("Patient", alice), binding("Value", 6.8)]),
-        uses([
-          proof(
-            goal(test_result(alice, glucose, 6.8)),
-            by(fact("skolem-functions.pl", clause(8)))
-          ),
-          proof(
-            goal(gt(6.8, 6.0)),
-            by(builtin(gt, 2))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 sameInputsSameId(skolemDemo, true).
-why(
-  sameInputsSameId(skolemDemo, true),
-  proof(
-    goal(sameInputsSameId(skolemDemo, true)),
-    by(rule("skolem-functions.pl", clause(19))),
-    uses([
-      proof(
-        goal(eq(skolem_observation(alice, glucose), skolem_observation(alice, glucose))),
-        by(builtin(eq, 2))
-      )
-    ])
-  )
-).
-
 noObservationClash(skolemDemo, true).
-why(
-  noObservationClash(skolemDemo, true),
-  proof(
-    goal(noObservationClash(skolemDemo, true)),
-    by(rule("skolem-functions.pl", clause(20))),
-    uses([
-      proof(
-        goal(neq(skolem_observation(alice, glucose), skolem_observation(alice, cholesterol))),
-        by(builtin(neq, 2))
-      ),
-      proof(
-        goal(neq(skolem_observation(alice, glucose), skolem_observation(bob, glucose))),
-        by(builtin(neq, 2))
-      )
-    ])
-  )
-).
-

package/examples/output/socket-age.pl

@@ -1,32 +1 @@
 ageAbove(patH, "P80Y").
-why(
-  ageAbove(patH, "P80Y"),
-  proof(
-    goal(ageAbove(patH, "P80Y")),
-    by(rule("socket-age.pl", clause(11))),
-    bindings([binding("S", patH), binding("A", "P80Y"), binding("B", "1944-08-21"), binding("D", "2026-05-30"), binding("F", "P81Y9M9D")]),
-    uses([
-      proof(
-        goal(birthDay(patH, "1944-08-21")),
-        by(fact("socket-age.pl", clause(8)))
-      ),
-      proof(
-        goal(duration(check, "P80Y")),
-        by(fact("socket-age.pl", clause(9)))
-      ),
-      proof(
-        goal(today("2026-05-30")),
-        by(fact("socket-age.pl", clause(10)))
-      ),
-      proof(
-        goal(difference("2026-05-30", "1944-08-21", "P81Y9M9D")),
-        by(builtin(difference, 3))
-      ),
-      proof(
-        goal(gt("P81Y9M9D", "P80Y")),
-        by(builtin(gt, 2))
-      )
-    ])
-  )
-).
-

package/examples/output/socket-family.pl

@@ -1,59 +1,3 @@
 ancestor(pat, jan).
-why(
-  ancestor(pat, jan),
-  proof(
-    goal(ancestor(pat, jan)),
-    by(rule("socket-family.pl", clause(6))),
-    bindings([binding("X", pat), binding("Y", jan)]),
-    uses([
-      proof(
-        goal(parent(pat, jan)),
-        by(fact("socket-family.pl", clause(4)))
-      )
-    ])
-  )
-).
-
 ancestor(jan, emma).
-why(
-  ancestor(jan, emma),
-  proof(
-    goal(ancestor(jan, emma)),
-    by(rule("socket-family.pl", clause(6))),
-    bindings([binding("X", jan), binding("Y", emma)]),
-    uses([
-      proof(
-        goal(parent(jan, emma)),
-        by(fact("socket-family.pl", clause(5)))
-      )
-    ])
-  )
-).
-
 ancestor(pat, emma).
-why(
-  ancestor(pat, emma),
-  proof(
-    goal(ancestor(pat, emma)),
-    by(rule("socket-family.pl", clause(7))),
-    bindings([binding("X", pat), binding("Z", emma), binding("Y", jan)]),
-    uses([
-      proof(
-        goal(parent(pat, jan)),
-        by(fact("socket-family.pl", clause(4)))
-      ),
-      proof(
-        goal(ancestor(jan, emma)),
-        by(rule("socket-family.pl", clause(6))),
-        bindings([binding("X", jan), binding("Y", emma)]),
-        uses([
-          proof(
-            goal(parent(jan, emma)),
-            by(fact("socket-family.pl", clause(5)))
-          )
-        ])
-      )
-    ])
-  )
-).
-

package/examples/output/socrates.pl

@@ -1,38 +1,2 @@
 type(socrates, mortal).
-why(
-  type(socrates, mortal),
-  proof(
-    goal(type(socrates, mortal)),
-    by(rule("socrates.pl", clause(4))),
-    bindings([binding("X", socrates)]),
-    uses([
-      proof(
-        goal(type(socrates, man)),
-        by(fact("socrates.pl", clause(3)))
-      )
-    ])
-  )
-).
-
 is(test, true).
-why(
-  is(test, true),
-  proof(
-    goal(is(test, true)),
-    by(rule("socrates.pl", clause(5))),
-    uses([
-      proof(
-        goal(type(socrates, mortal)),
-        by(rule("socrates.pl", clause(4))),
-        bindings([binding("X", socrates)]),
-        uses([
-          proof(
-            goal(type(socrates, man)),
-            by(fact("socrates.pl", clause(3)))
-          )
-        ])
-      )
-    ])
-  )
-).
-