eyelang 1.3.8 → 1.4.0

package/examples/output/kaprekar.pl

@@ -1,216 +1,8 @@
 kaprekarSteps(3524, 3).
-why(
-  kaprekarSteps(3524, 3),
-  proof(
-    goal(kaprekarSteps(3524, 3)),
-    by(rule("kaprekar.pl", clause(11))),
-    bindings([binding("N", 3524), binding("Count", 3)]),
-    uses([
-      proof(
-        goal(sample(3524)),
-        by(fact("kaprekar.pl", clause(6)))
-      ),
-      proof(
-        goal(recursion_count(3524, 3)),
-        by(rule("kaprekar.pl", clause(5))),
-        bindings([binding("N", 3524), binding("Count", 3)]),
-        uses([
-          proof(
-            goal(kaprekar_steps(3524, 3)),
-            by(builtin(kaprekar_steps, 2))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 kaprekarSteps(2111, 5).
-why(
-  kaprekarSteps(2111, 5),
-  proof(
-    goal(kaprekarSteps(2111, 5)),
-    by(rule("kaprekar.pl", clause(11))),
-    bindings([binding("N", 2111), binding("Count", 5)]),
-    uses([
-      proof(
-        goal(sample(2111)),
-        by(fact("kaprekar.pl", clause(7)))
-      ),
-      proof(
-        goal(recursion_count(2111, 5)),
-        by(rule("kaprekar.pl", clause(5))),
-        bindings([binding("N", 2111), binding("Count", 5)]),
-        uses([
-          proof(
-            goal(kaprekar_steps(2111, 5)),
-            by(builtin(kaprekar_steps, 2))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 kaprekarSteps(9831, 7).
-why(
-  kaprekarSteps(9831, 7),
-  proof(
-    goal(kaprekarSteps(9831, 7)),
-    by(rule("kaprekar.pl", clause(11))),
-    bindings([binding("N", 9831), binding("Count", 7)]),
-    uses([
-      proof(
-        goal(sample(9831)),
-        by(fact("kaprekar.pl", clause(8)))
-      ),
-      proof(
-        goal(recursion_count(9831, 7)),
-        by(rule("kaprekar.pl", clause(5))),
-        bindings([binding("N", 9831), binding("Count", 7)]),
-        uses([
-          proof(
-            goal(kaprekar_steps(9831, 7)),
-            by(builtin(kaprekar_steps, 2))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 kaprekarSteps(6174, 0).
-why(
-  kaprekarSteps(6174, 0),
-  proof(
-    goal(kaprekarSteps(6174, 0)),
-    by(rule("kaprekar.pl", clause(11))),
-    bindings([binding("N", 6174), binding("Count", 0)]),
-    uses([
-      proof(
-        goal(sample(6174)),
-        by(fact("kaprekar.pl", clause(9)))
-      ),
-      proof(
-        goal(recursion_count(6174, 0)),
-        by(rule("kaprekar.pl", clause(5))),
-        bindings([binding("N", 6174), binding("Count", 0)]),
-        uses([
-          proof(
-            goal(kaprekar_steps(6174, 0)),
-            by(builtin(kaprekar_steps, 2))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 reachesConstant(kaprekar, 3524).
-why(
-  reachesConstant(kaprekar, 3524),
-  proof(
-    goal(reachesConstant(kaprekar, 3524)),
-    by(rule("kaprekar.pl", clause(12))),
-    bindings([binding("N", 3524), binding("_Count", 3)]),
-    uses([
-      proof(
-        goal(sample(3524)),
-        by(fact("kaprekar.pl", clause(6)))
-      ),
-      proof(
-        goal(recursion_count(3524, 3)),
-        by(rule("kaprekar.pl", clause(5))),
-        bindings([binding("N", 3524), binding("Count", 3)]),
-        uses([
-          proof(
-            goal(kaprekar_steps(3524, 3)),
-            by(builtin(kaprekar_steps, 2))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 reachesConstant(kaprekar, 2111).
-why(
-  reachesConstant(kaprekar, 2111),
-  proof(
-    goal(reachesConstant(kaprekar, 2111)),
-    by(rule("kaprekar.pl", clause(12))),
-    bindings([binding("N", 2111), binding("_Count", 5)]),
-    uses([
-      proof(
-        goal(sample(2111)),
-        by(fact("kaprekar.pl", clause(7)))
-      ),
-      proof(
-        goal(recursion_count(2111, 5)),
-        by(rule("kaprekar.pl", clause(5))),
-        bindings([binding("N", 2111), binding("Count", 5)]),
-        uses([
-          proof(
-            goal(kaprekar_steps(2111, 5)),
-            by(builtin(kaprekar_steps, 2))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 reachesConstant(kaprekar, 9831).
-why(
-  reachesConstant(kaprekar, 9831),
-  proof(
-    goal(reachesConstant(kaprekar, 9831)),
-    by(rule("kaprekar.pl", clause(12))),
-    bindings([binding("N", 9831), binding("_Count", 7)]),
-    uses([
-      proof(
-        goal(sample(9831)),
-        by(fact("kaprekar.pl", clause(8)))
-      ),
-      proof(
-        goal(recursion_count(9831, 7)),
-        by(rule("kaprekar.pl", clause(5))),
-        bindings([binding("N", 9831), binding("Count", 7)]),
-        uses([
-          proof(
-            goal(kaprekar_steps(9831, 7)),
-            by(builtin(kaprekar_steps, 2))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 reachesConstant(kaprekar, 6174).
-why(
-  reachesConstant(kaprekar, 6174),
-  proof(
-    goal(reachesConstant(kaprekar, 6174)),
-    by(rule("kaprekar.pl", clause(12))),
-    bindings([binding("N", 6174), binding("_Count", 0)]),
-    uses([
-      proof(
-        goal(sample(6174)),
-        by(fact("kaprekar.pl", clause(9)))
-      ),
-      proof(
-        goal(recursion_count(6174, 0)),
-        by(rule("kaprekar.pl", clause(5))),
-        bindings([binding("N", 6174), binding("Count", 0)]),
-        uses([
-          proof(
-            goal(kaprekar_steps(6174, 0)),
-            by(builtin(kaprekar_steps, 2))
-          )
-        ])
-      )
-    ])
-  )
-).
-

package/examples/output/law-of-cosines.pl

@@ -1,168 +1,3 @@
 sideCSquared(tri60, 67.0).
-why(
-  sideCSquared(tri60, 67.0),
-  proof(
-    goal(sideCSquared(tri60, 67.0)),
-    by(rule("law-of-cosines.pl", clause(7))),
-    bindings([binding("Triangle", tri60), binding("C2", 67.0)]),
-    uses([
-      proof(
-        goal(side_c_squared(tri60, 67.0)),
-        by(rule("law-of-cosines.pl", clause(5))),
-        bindings([binding("Triangle", tri60), binding("C2", 67.0), binding("A", 7), binding("B", 9), binding("CosC", 0.5), binding("A2", 49), binding("B2", 81), binding("Sum", 130), binding("TwoA", 14), binding("TwoAB", 126), binding("Projection", 63.0)]),
-        uses([
-          proof(
-            goal(triangle(tri60, 7, 9, 0.5)),
-            by(fact("law-of-cosines.pl", clause(4)))
-          ),
-          proof(
-            goal(mul(7, 7, 49)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(mul(9, 9, 81)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(add(49, 81, 130)),
-            by(builtin(add, 3))
-          ),
-          proof(
-            goal(mul(2, 7, 14)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(mul(14, 9, 126)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(mul(126, 0.5, 63.0)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(sub(130, 63.0, 67.0)),
-            by(builtin(sub, 3))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 sideC(tri60, 8.1853527718724504).
-why(
-  sideC(tri60, 8.1853527718724504),
-  proof(
-    goal(sideC(tri60, 8.1853527718724504)),
-    by(rule("law-of-cosines.pl", clause(8))),
-    bindings([binding("Triangle", tri60), binding("C", 8.1853527718724504)]),
-    uses([
-      proof(
-        goal(side_c(tri60, 8.1853527718724504)),
-        by(rule("law-of-cosines.pl", clause(6))),
-        bindings([binding("Triangle", tri60), binding("C", 8.1853527718724504), binding("C2", 67.0)]),
-        uses([
-          proof(
-            goal(side_c_squared(tri60, 67.0)),
-            by(rule("law-of-cosines.pl", clause(5))),
-            bindings([binding("Triangle", tri60), binding("C2", 67.0), binding("A", 7), binding("B", 9), binding("CosC", 0.5), binding("A2", 49), binding("B2", 81), binding("Sum", 130), binding("TwoA", 14), binding("TwoAB", 126), binding("Projection", 63.0)]),
-            uses([
-              proof(
-                goal(triangle(tri60, 7, 9, 0.5)),
-                by(fact("law-of-cosines.pl", clause(4)))
-              ),
-              proof(
-                goal(mul(7, 7, 49)),
-                by(builtin(mul, 3))
-              ),
-              proof(
-                goal(mul(9, 9, 81)),
-                by(builtin(mul, 3))
-              ),
-              proof(
-                goal(add(49, 81, 130)),
-                by(builtin(add, 3))
-              ),
-              proof(
-                goal(mul(2, 7, 14)),
-                by(builtin(mul, 3))
-              ),
-              proof(
-                goal(mul(14, 9, 126)),
-                by(builtin(mul, 3))
-              ),
-              proof(
-                goal(mul(126, 0.5, 63.0)),
-                by(builtin(mul, 3))
-              ),
-              proof(
-                goal(sub(130, 63.0, 67.0)),
-                by(builtin(sub, 3))
-              )
-            ])
-          ),
-          proof(
-            goal(pow(67.0, 0.5, 8.1853527718724504)),
-            by(builtin(pow, 3))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 status(tri60, acute_triangle).
-why(
-  status(tri60, acute_triangle),
-  proof(
-    goal(status(tri60, acute_triangle)),
-    by(rule("law-of-cosines.pl", clause(9))),
-    bindings([binding("Triangle", tri60), binding("C2", 67.0)]),
-    uses([
-      proof(
-        goal(side_c_squared(tri60, 67.0)),
-        by(rule("law-of-cosines.pl", clause(5))),
-        bindings([binding("Triangle", tri60), binding("C2", 67.0), binding("A", 7), binding("B", 9), binding("CosC", 0.5), binding("A2", 49), binding("B2", 81), binding("Sum", 130), binding("TwoA", 14), binding("TwoAB", 126), binding("Projection", 63.0)]),
-        uses([
-          proof(
-            goal(triangle(tri60, 7, 9, 0.5)),
-            by(fact("law-of-cosines.pl", clause(4)))
-          ),
-          proof(
-            goal(mul(7, 7, 49)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(mul(9, 9, 81)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(add(49, 81, 130)),
-            by(builtin(add, 3))
-          ),
-          proof(
-            goal(mul(2, 7, 14)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(mul(14, 9, 126)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(mul(126, 0.5, 63.0)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(sub(130, 63.0, 67.0)),
-            by(builtin(sub, 3))
-          )
-        ])
-      ),
-      proof(
-        goal(gt(67.0, 0)),
-        by(builtin(gt, 2))
-      )
-    ])
-  )
-).
-