eyelang 1.3.8 → 1.4.0

package/examples/output/cache-performance.pl

@@ -1,310 +1,4 @@
 hitRate(api_cache, 0.85999999999999999).
-why(
-  hitRate(api_cache, 0.85999999999999999),
-  proof(
-    goal(hitRate(api_cache, 0.85999999999999999)),
-    by(rule("cache-performance.pl", clause(12))),
-    bindings([binding("Cache", api_cache), binding("Rate", 0.85999999999999999)]),
-    uses([
-      proof(
-        goal(hit_rate(api_cache, 0.85999999999999999)),
-        by(rule("cache-performance.pl", clause(9))),
-        bindings([binding("Cache", api_cache), binding("Rate", 0.85999999999999999), binding("Hits", 8600.0), binding("_Misses", 1400.0), binding("_HitLatency", 5.0), binding("_MissLatency", 80.0), binding("Total", 10000.0)]),
-        uses([
-          proof(
-            goal(cache_sample(api_cache, 8600.0, 1400.0, 5.0, 80.0)),
-            by(fact("cache-performance.pl", clause(5)))
-          ),
-          proof(
-            goal(total_requests(api_cache, 10000.0)),
-            by(rule("cache-performance.pl", clause(8))),
-            bindings([binding("Cache", api_cache), binding("Total", 10000.0), binding("Hits", 8600.0), binding("Misses", 1400.0), binding("_HitLatency", 5.0), binding("_MissLatency", 80.0)]),
-            uses([
-              proof(
-                goal(cache_sample(api_cache, 8600.0, 1400.0, 5.0, 80.0)),
-                by(fact("cache-performance.pl", clause(5)))
-              ),
-              proof(
-                goal(add(8600.0, 1400.0, 10000.0)),
-                by(builtin(add, 3))
-              )
-            ])
-          ),
-          proof(
-            goal(div(8600.0, 10000.0, 0.85999999999999999)),
-            by(builtin(div, 3))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 averageLatency_ms(api_cache, 15.5).
-why(
-  averageLatency_ms(api_cache, 15.5),
-  proof(
-    goal(averageLatency_ms(api_cache, 15.5)),
-    by(rule("cache-performance.pl", clause(13))),
-    bindings([binding("Cache", api_cache), binding("Average", 15.5)]),
-    uses([
-      proof(
-        goal(average_latency(api_cache, 15.5)),
-        by(rule("cache-performance.pl", clause(10))),
-        bindings([binding("Cache", api_cache), binding("Average", 15.5), binding("Hits", 8600.0), binding("Misses", 1400.0), binding("HitLatency", 5.0), binding("MissLatency", 80.0), binding("HitCost", 43000.0), binding("MissCost", 112000.0), binding("TotalCost", 155000.0), binding("Total", 10000.0)]),
-        uses([
-          proof(
-            goal(cache_sample(api_cache, 8600.0, 1400.0, 5.0, 80.0)),
-            by(fact("cache-performance.pl", clause(5)))
-          ),
-          proof(
-            goal(mul(8600.0, 5.0, 43000.0)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(mul(1400.0, 80.0, 112000.0)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(add(43000.0, 112000.0, 155000.0)),
-            by(builtin(add, 3))
-          ),
-          proof(
-            goal(total_requests(api_cache, 10000.0)),
-            by(rule("cache-performance.pl", clause(8))),
-            bindings([binding("Cache", api_cache), binding("Total", 10000.0), binding("Hits", 8600.0), binding("Misses", 1400.0), binding("_HitLatency", 5.0), binding("_MissLatency", 80.0)]),
-            uses([
-              proof(
-                goal(cache_sample(api_cache, 8600.0, 1400.0, 5.0, 80.0)),
-                by(fact("cache-performance.pl", clause(5)))
-              ),
-              proof(
-                goal(add(8600.0, 1400.0, 10000.0)),
-                by(builtin(add, 3))
-              )
-            ])
-          ),
-          proof(
-            goal(div(155000.0, 10000.0, 15.5)),
-            by(builtin(div, 3))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 status(api_cache, cache_effective).
-why(
-  status(api_cache, cache_effective),
-  proof(
-    goal(status(api_cache, cache_effective)),
-    by(rule("cache-performance.pl", clause(14))),
-    bindings([binding("Cache", api_cache)]),
-    uses([
-      proof(
-        goal(cache_effective(api_cache)),
-        by(rule("cache-performance.pl", clause(11))),
-        bindings([binding("Cache", api_cache), binding("Rate", 0.85999999999999999), binding("MinimumRate", 0.80), binding("Average", 15.5), binding("MaximumLatency", 20.0)]),
-        uses([
-          proof(
-            goal(hit_rate(api_cache, 0.85999999999999999)),
-            by(rule("cache-performance.pl", clause(9))),
-            bindings([binding("Cache", api_cache), binding("Rate", 0.85999999999999999), binding("Hits", 8600.0), binding("_Misses", 1400.0), binding("_HitLatency", 5.0), binding("_MissLatency", 80.0), binding("Total", 10000.0)]),
-            uses([
-              proof(
-                goal(cache_sample(api_cache, 8600.0, 1400.0, 5.0, 80.0)),
-                by(fact("cache-performance.pl", clause(5)))
-              ),
-              proof(
-                goal(total_requests(api_cache, 10000.0)),
-                by(rule("cache-performance.pl", clause(8))),
-                bindings([binding("Cache", api_cache), binding("Total", 10000.0), binding("Hits", 8600.0), binding("Misses", 1400.0), binding("_HitLatency", 5.0), binding("_MissLatency", 80.0)]),
-                uses([
-                  proof(
-                    goal(cache_sample(api_cache, 8600.0, 1400.0, 5.0, 80.0)),
-                    by(fact("cache-performance.pl", clause(5)))
-                  ),
-                  proof(
-                    goal(add(8600.0, 1400.0, 10000.0)),
-                    by(builtin(add, 3))
-                  )
-                ])
-              ),
-              proof(
-                goal(div(8600.0, 10000.0, 0.85999999999999999)),
-                by(builtin(div, 3))
-              )
-            ])
-          ),
-          proof(
-            goal(threshold(api_cache, minimum_hit_rate, 0.80)),
-            by(fact("cache-performance.pl", clause(6)))
-          ),
-          proof(
-            goal(gt(0.85999999999999999, 0.80)),
-            by(builtin(gt, 2))
-          ),
-          proof(
-            goal(average_latency(api_cache, 15.5)),
-            by(rule("cache-performance.pl", clause(10))),
-            bindings([binding("Cache", api_cache), binding("Average", 15.5), binding("Hits", 8600.0), binding("Misses", 1400.0), binding("HitLatency", 5.0), binding("MissLatency", 80.0), binding("HitCost", 43000.0), binding("MissCost", 112000.0), binding("TotalCost", 155000.0), binding("Total", 10000.0)]),
-            uses([
-              proof(
-                goal(cache_sample(api_cache, 8600.0, 1400.0, 5.0, 80.0)),
-                by(fact("cache-performance.pl", clause(5)))
-              ),
-              proof(
-                goal(mul(8600.0, 5.0, 43000.0)),
-                by(builtin(mul, 3))
-              ),
-              proof(
-                goal(mul(1400.0, 80.0, 112000.0)),
-                by(builtin(mul, 3))
-              ),
-              proof(
-                goal(add(43000.0, 112000.0, 155000.0)),
-                by(builtin(add, 3))
-              ),
-              proof(
-                goal(total_requests(api_cache, 10000.0)),
-                by(rule("cache-performance.pl", clause(8))),
-                bindings([binding("Cache", api_cache), binding("Total", 10000.0), binding("Hits", 8600.0), binding("Misses", 1400.0), binding("_HitLatency", 5.0), binding("_MissLatency", 80.0)]),
-                uses([
-                  proof(
-                    goal(cache_sample(api_cache, 8600.0, 1400.0, 5.0, 80.0)),
-                    by(fact("cache-performance.pl", clause(5)))
-                  ),
-                  proof(
-                    goal(add(8600.0, 1400.0, 10000.0)),
-                    by(builtin(add, 3))
-                  )
-                ])
-              ),
-              proof(
-                goal(div(155000.0, 10000.0, 15.5)),
-                by(builtin(div, 3))
-              )
-            ])
-          ),
-          proof(
-            goal(threshold(api_cache, maximum_average_latency_ms, 20.0)),
-            by(fact("cache-performance.pl", clause(7)))
-          ),
-          proof(
-            goal(lt(15.5, 20.0)),
-            by(builtin(lt, 2))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 reason(api_cache, "hit rate is above target and average latency is below limit").
-why(
-  reason(api_cache, "hit rate is above target and average latency is below limit"),
-  proof(
-    goal(reason(api_cache, "hit rate is above target and average latency is below limit")),
-    by(rule("cache-performance.pl", clause(15))),
-    bindings([binding("Cache", api_cache)]),
-    uses([
-      proof(
-        goal(cache_effective(api_cache)),
-        by(rule("cache-performance.pl", clause(11))),
-        bindings([binding("Cache", api_cache), binding("Rate", 0.85999999999999999), binding("MinimumRate", 0.80), binding("Average", 15.5), binding("MaximumLatency", 20.0)]),
-        uses([
-          proof(
-            goal(hit_rate(api_cache, 0.85999999999999999)),
-            by(rule("cache-performance.pl", clause(9))),
-            bindings([binding("Cache", api_cache), binding("Rate", 0.85999999999999999), binding("Hits", 8600.0), binding("_Misses", 1400.0), binding("_HitLatency", 5.0), binding("_MissLatency", 80.0), binding("Total", 10000.0)]),
-            uses([
-              proof(
-                goal(cache_sample(api_cache, 8600.0, 1400.0, 5.0, 80.0)),
-                by(fact("cache-performance.pl", clause(5)))
-              ),
-              proof(
-                goal(total_requests(api_cache, 10000.0)),
-                by(rule("cache-performance.pl", clause(8))),
-                bindings([binding("Cache", api_cache), binding("Total", 10000.0), binding("Hits", 8600.0), binding("Misses", 1400.0), binding("_HitLatency", 5.0), binding("_MissLatency", 80.0)]),
-                uses([
-                  proof(
-                    goal(cache_sample(api_cache, 8600.0, 1400.0, 5.0, 80.0)),
-                    by(fact("cache-performance.pl", clause(5)))
-                  ),
-                  proof(
-                    goal(add(8600.0, 1400.0, 10000.0)),
-                    by(builtin(add, 3))
-                  )
-                ])
-              ),
-              proof(
-                goal(div(8600.0, 10000.0, 0.85999999999999999)),
-                by(builtin(div, 3))
-              )
-            ])
-          ),
-          proof(
-            goal(threshold(api_cache, minimum_hit_rate, 0.80)),
-            by(fact("cache-performance.pl", clause(6)))
-          ),
-          proof(
-            goal(gt(0.85999999999999999, 0.80)),
-            by(builtin(gt, 2))
-          ),
-          proof(
-            goal(average_latency(api_cache, 15.5)),
-            by(rule("cache-performance.pl", clause(10))),
-            bindings([binding("Cache", api_cache), binding("Average", 15.5), binding("Hits", 8600.0), binding("Misses", 1400.0), binding("HitLatency", 5.0), binding("MissLatency", 80.0), binding("HitCost", 43000.0), binding("MissCost", 112000.0), binding("TotalCost", 155000.0), binding("Total", 10000.0)]),
-            uses([
-              proof(
-                goal(cache_sample(api_cache, 8600.0, 1400.0, 5.0, 80.0)),
-                by(fact("cache-performance.pl", clause(5)))
-              ),
-              proof(
-                goal(mul(8600.0, 5.0, 43000.0)),
-                by(builtin(mul, 3))
-              ),
-              proof(
-                goal(mul(1400.0, 80.0, 112000.0)),
-                by(builtin(mul, 3))
-              ),
-              proof(
-                goal(add(43000.0, 112000.0, 155000.0)),
-                by(builtin(add, 3))
-              ),
-              proof(
-                goal(total_requests(api_cache, 10000.0)),
-                by(rule("cache-performance.pl", clause(8))),
-                bindings([binding("Cache", api_cache), binding("Total", 10000.0), binding("Hits", 8600.0), binding("Misses", 1400.0), binding("_HitLatency", 5.0), binding("_MissLatency", 80.0)]),
-                uses([
-                  proof(
-                    goal(cache_sample(api_cache, 8600.0, 1400.0, 5.0, 80.0)),
-                    by(fact("cache-performance.pl", clause(5)))
-                  ),
-                  proof(
-                    goal(add(8600.0, 1400.0, 10000.0)),
-                    by(builtin(add, 3))
-                  )
-                ])
-              ),
-              proof(
-                goal(div(155000.0, 10000.0, 15.5)),
-                by(builtin(div, 3))
-              )
-            ])
-          ),
-          proof(
-            goal(threshold(api_cache, maximum_average_latency_ms, 20.0)),
-            by(fact("cache-performance.pl", clause(7)))
-          ),
-          proof(
-            goal(lt(15.5, 20.0)),
-            by(builtin(lt, 2))
-          )
-        ])
-      )
-    ])
-  )
-).
-

package/examples/output/canary-release.pl

@@ -1,172 +1,5 @@
 errorRate(canary42, 0.014999999999999999).
-why(
-  errorRate(canary42, 0.014999999999999999),
-  proof(
-    goal(errorRate(canary42, 0.014999999999999999)),
-    by(rule("canary-release.pl", clause(13))),
-    bindings([binding("Release", canary42), binding("Rate", 0.014999999999999999)]),
-    uses([
-      proof(
-        goal(error_rate(canary42, 0.014999999999999999)),
-        by(rule("canary-release.pl", clause(9))),
-        bindings([binding("Release", canary42), binding("Rate", 0.014999999999999999), binding("Requests", 5000.0), binding("Errors", 75.0), binding("_P95Latency", 180.0)]),
-        uses([
-          proof(
-            goal(canary(canary42, 5000.0, 75.0, 180.0)),
-            by(fact("canary-release.pl", clause(6)))
-          ),
-          proof(
-            goal(div(75.0, 5000.0, 0.014999999999999999)),
-            by(builtin(div, 3))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 p95Latency_ms(canary42, 180.0).
-why(
-  p95Latency_ms(canary42, 180.0),
-  proof(
-    goal(p95Latency_ms(canary42, 180.0)),
-    by(rule("canary-release.pl", clause(14))),
-    bindings([binding("Release", canary42), binding("P95Latency", 180.0), binding("_Requests", 5000.0), binding("_Errors", 75.0)]),
-    uses([
-      proof(
-        goal(canary(canary42, 5000.0, 75.0, 180.0)),
-        by(fact("canary-release.pl", clause(6)))
-      )
-    ])
-  )
-).
-
 latencyCheck(canary42, ok).
-why(
-  latencyCheck(canary42, ok),
-  proof(
-    goal(latencyCheck(canary42, ok)),
-    by(rule("canary-release.pl", clause(15))),
-    bindings([binding("Release", canary42)]),
-    uses([
-      proof(
-        goal(latency_ok(canary42)),
-        by(rule("canary-release.pl", clause(10))),
-        bindings([binding("Release", canary42), binding("_Requests", 5000.0), binding("_Errors", 75.0), binding("P95Latency", 180.0), binding("Maximum", 200.0)]),
-        uses([
-          proof(
-            goal(canary(canary42, 5000.0, 75.0, 180.0)),
-            by(fact("canary-release.pl", clause(6)))
-          ),
-          proof(
-            goal(threshold(canary42, maximum_p95_latency_ms, 200.0)),
-            by(fact("canary-release.pl", clause(8)))
-          ),
-          proof(
-            goal(lt(180.0, 200.0)),
-            by(builtin(lt, 2))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 status(canary42, rollback_recommended).
-why(
-  status(canary42, rollback_recommended),
-  proof(
-    goal(status(canary42, rollback_recommended)),
-    by(rule("canary-release.pl", clause(16))),
-    bindings([binding("Release", canary42)]),
-    uses([
-      proof(
-        goal(rollback_recommended(canary42)),
-        by(rule("canary-release.pl", clause(12))),
-        bindings([binding("Release", canary42)]),
-        uses([
-          proof(
-            goal(error_budget_exceeded(canary42)),
-            by(rule("canary-release.pl", clause(11))),
-            bindings([binding("Release", canary42), binding("Rate", 0.014999999999999999), binding("Maximum", 0.01)]),
-            uses([
-              proof(
-                goal(error_rate(canary42, 0.014999999999999999)),
-                by(rule("canary-release.pl", clause(9))),
-                bindings([binding("Release", canary42), binding("Rate", 0.014999999999999999), binding("Requests", 5000.0), binding("Errors", 75.0), binding("_P95Latency", 180.0)]),
-                uses([
-                  proof(
-                    goal(canary(canary42, 5000.0, 75.0, 180.0)),
-                    by(fact("canary-release.pl", clause(6)))
-                  ),
-                  proof(
-                    goal(div(75.0, 5000.0, 0.014999999999999999)),
-                    by(builtin(div, 3))
-                  )
-                ])
-              ),
-              proof(
-                goal(threshold(canary42, maximum_error_rate, 0.01)),
-                by(fact("canary-release.pl", clause(7)))
-              ),
-              proof(
-                goal(gt(0.014999999999999999, 0.01)),
-                by(builtin(gt, 2))
-              )
-            ])
-          )
-        ])
-      )
-    ])
-  )
-).
-
 reason(canary42, "canary error rate exceeds the allowed budget").
-why(
-  reason(canary42, "canary error rate exceeds the allowed budget"),
-  proof(
-    goal(reason(canary42, "canary error rate exceeds the allowed budget")),
-    by(rule("canary-release.pl", clause(17))),
-    bindings([binding("Release", canary42)]),
-    uses([
-      proof(
-        goal(rollback_recommended(canary42)),
-        by(rule("canary-release.pl", clause(12))),
-        bindings([binding("Release", canary42)]),
-        uses([
-          proof(
-            goal(error_budget_exceeded(canary42)),
-            by(rule("canary-release.pl", clause(11))),
-            bindings([binding("Release", canary42), binding("Rate", 0.014999999999999999), binding("Maximum", 0.01)]),
-            uses([
-              proof(
-                goal(error_rate(canary42, 0.014999999999999999)),
-                by(rule("canary-release.pl", clause(9))),
-                bindings([binding("Release", canary42), binding("Rate", 0.014999999999999999), binding("Requests", 5000.0), binding("Errors", 75.0), binding("_P95Latency", 180.0)]),
-                uses([
-                  proof(
-                    goal(canary(canary42, 5000.0, 75.0, 180.0)),
-                    by(fact("canary-release.pl", clause(6)))
-                  ),
-                  proof(
-                    goal(div(75.0, 5000.0, 0.014999999999999999)),
-                    by(builtin(div, 3))
-                  )
-                ])
-              ),
-              proof(
-                goal(threshold(canary42, maximum_error_rate, 0.01)),
-                by(fact("canary-release.pl", clause(7)))
-              ),
-              proof(
-                goal(gt(0.014999999999999999, 0.01)),
-                by(builtin(gt, 2))
-              )
-            ])
-          )
-        ])
-      )
-    ])
-  )
-).
-

package/examples/output/cat-koko.pl

@@ -1,86 +1,3 @@
 type(sk_0, cat).
-why(
-  type(sk_0, cat),
-  proof(
-    goal(type(sk_0, cat)),
-    by(rule("cat-koko.pl", clause(6))),
-    bindings([binding("X", sk_0)]),
-    uses([
-      proof(
-        goal(animal(koko)),
-        by(fact("cat-koko.pl", clause(3)))
-      ),
-      proof(
-        goal(witness(cat, sk_0)),
-        by(fact("cat-koko.pl", clause(4)))
-      )
-    ])
-  )
-).
-
 type(sk_1, british_short_hair).
-why(
-  type(sk_1, british_short_hair),
-  proof(
-    goal(type(sk_1, british_short_hair)),
-    by(rule("cat-koko.pl", clause(7))),
-    bindings([binding("X", sk_1)]),
-    uses([
-      proof(
-        goal(animal(koko)),
-        by(fact("cat-koko.pl", clause(3)))
-      ),
-      proof(
-        goal(witness(british_short_hair, sk_1)),
-        by(fact("cat-koko.pl", clause(5)))
-      )
-    ])
-  )
-).
-
 is(test, true).
-why(
-  is(test, true),
-  proof(
-    goal(is(test, true)),
-    by(rule("cat-koko.pl", clause(8))),
-    bindings([binding("X", sk_0), binding("Y", sk_1)]),
-    uses([
-      proof(
-        goal(type(sk_0, cat)),
-        by(rule("cat-koko.pl", clause(6))),
-        bindings([binding("X", sk_0)]),
-        uses([
-          proof(
-            goal(animal(koko)),
-            by(fact("cat-koko.pl", clause(3)))
-          ),
-          proof(
-            goal(witness(cat, sk_0)),
-            by(fact("cat-koko.pl", clause(4)))
-          )
-        ])
-      ),
-      proof(
-        goal(type(sk_1, british_short_hair)),
-        by(rule("cat-koko.pl", clause(7))),
-        bindings([binding("X", sk_1)]),
-        uses([
-          proof(
-            goal(animal(koko)),
-            by(fact("cat-koko.pl", clause(3)))
-          ),
-          proof(
-            goal(witness(british_short_hair, sk_1)),
-            by(fact("cat-koko.pl", clause(5)))
-          )
-        ])
-      ),
-      proof(
-        goal(neq(sk_0, sk_1)),
-        by(builtin(neq, 2))
-      )
-    ])
-  )
-).
-