npm - eyelang - Versions diffs - 1.2.2 → 1.3.0 - Mend

eyelang 1.2.2 → 1.3.0

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 (919) hide show

package/examples/proof/beam-deflection.pl DELETED Viewed

@@ -1,227 +0,0 @@
-type(beam1, cantilever_beam).
-why(
-  type(beam1, cantilever_beam),
-  proof(
-    goal(type(beam1, cantilever_beam)),
-    by(rule("beam-deflection.pl", clause(13))),
-    bindings([binding("Beam", beam1), binding("_Force", 1200.0)]),
-    uses([
-      proof(
-        goal(beam(beam1, force_N, 1200.0)),
-        by(fact("beam-deflection.pl", clause(6)))
-      )
-    ])
-  )
-).
-tipDeflection_m(beam1, 0.00390625).
-why(
-  tipDeflection_m(beam1, 0.00390625),
-  proof(
-    goal(tipDeflection_m(beam1, 0.00390625)),
-    by(rule("beam-deflection.pl", clause(14))),
-    bindings([binding("Beam", beam1), binding("DeflectionM", 0.00390625)]),
-    uses([
-      proof(
-        goal(tip_deflection_m(beam1, 0.00390625)),
-        by(rule("beam-deflection.pl", clause(11))),
-        bindings([binding("Beam", beam1), binding("Deflection", 0.00390625), binding("Force", 1200.0), binding("Length", 2.5), binding("ElasticModulus", 200000000000.0), binding("SecondMoment", 0.000008), binding("LengthCubed", 15.625), binding("Numerator", 18750.0), binding("ThreeE", 600000000000.0), binding("Denominator", 4800000.0)]),
-        uses([
-          proof(
-            goal(beam(beam1, force_N, 1200.0)),
-            by(fact("beam-deflection.pl", clause(6)))
-          ),
-          proof(
-            goal(beam(beam1, length_m, 2.5)),
-            by(fact("beam-deflection.pl", clause(7)))
-          ),
-          proof(
-            goal(beam(beam1, elasticModulus_Pa, 200000000000.0)),
-            by(fact("beam-deflection.pl", clause(8)))
-          ),
-          proof(
-            goal(beam(beam1, secondMoment_m4, 0.000008)),
-            by(fact("beam-deflection.pl", clause(9)))
-          ),
-          proof(
-            goal(pow(2.5, 3.0, 15.625)),
-            by(builtin(pow, 3))
-          ),
-          proof(
-            goal(mul(1200.0, 15.625, 18750.0)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(mul(3.0, 200000000000.0, 600000000000.0)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(mul(600000000000.0, 0.000008, 4800000.0)),
-            by(builtin(mul, 3))
-          ),
-          proof(
-            goal(div(18750.0, 4800000.0, 0.00390625)),
-            by(builtin(div, 3))
-          )
-        ])
-      )
-    ])
-  )
-).
-tipDeflection_mm(beam1, 3.90625).
-why(
-  tipDeflection_mm(beam1, 3.90625),
-  proof(
-    goal(tipDeflection_mm(beam1, 3.90625)),
-    by(rule("beam-deflection.pl", clause(15))),
-    bindings([binding("Beam", beam1), binding("DeflectionMm", 3.90625)]),
-    uses([
-      proof(
-        goal(tip_deflection_mm(beam1, 3.90625)),
-        by(rule("beam-deflection.pl", clause(12))),
-        bindings([binding("Beam", beam1), binding("DeflectionMm", 3.90625), binding("DeflectionM", 0.00390625)]),
-        uses([
-          proof(
-            goal(tip_deflection_m(beam1, 0.00390625)),
-            by(rule("beam-deflection.pl", clause(11))),
-            bindings([binding("Beam", beam1), binding("Deflection", 0.00390625), binding("Force", 1200.0), binding("Length", 2.5), binding("ElasticModulus", 200000000000.0), binding("SecondMoment", 0.000008), binding("LengthCubed", 15.625), binding("Numerator", 18750.0), binding("ThreeE", 600000000000.0), binding("Denominator", 4800000.0)]),
-            uses([
-              proof(
-                goal(beam(beam1, force_N, 1200.0)),
-                by(fact("beam-deflection.pl", clause(6)))
-              ),
-              proof(
-                goal(beam(beam1, length_m, 2.5)),
-                by(fact("beam-deflection.pl", clause(7)))
-              ),
-              proof(
-                goal(beam(beam1, elasticModulus_Pa, 200000000000.0)),
-                by(fact("beam-deflection.pl", clause(8)))
-              ),
-              proof(
-                goal(beam(beam1, secondMoment_m4, 0.000008)),
-                by(fact("beam-deflection.pl", clause(9)))
-              ),
-              proof(
-                goal(pow(2.5, 3.0, 15.625)),
-                by(builtin(pow, 3))
-              ),
-              proof(
-                goal(mul(1200.0, 15.625, 18750.0)),
-                by(builtin(mul, 3))
-              ),
-              proof(
-                goal(mul(3.0, 200000000000.0, 600000000000.0)),
-                by(builtin(mul, 3))
-              ),
-              proof(
-                goal(mul(600000000000.0, 0.000008, 4800000.0)),
-                by(builtin(mul, 3))
-              ),
-              proof(
-                goal(div(18750.0, 4800000.0, 0.00390625)),
-                by(builtin(div, 3))
-              )
-            ])
-          ),
-          proof(
-            goal(mul(0.00390625, 1000.0, 3.90625)),
-            by(builtin(mul, 3))
-          )
-        ])
-      )
-    ])
-  )
-).
-limit_mm(beam1, 5.0).
-why(
-  limit_mm(beam1, 5.0),
-  proof(
-    goal(limit_mm(beam1, 5.0)),
-    by(rule("beam-deflection.pl", clause(16))),
-    bindings([binding("Beam", beam1), binding("Limit", 5.0)]),
-    uses([
-      proof(
-        goal(limit(beam1, maxDeflection_mm, 5.0)),
-        by(fact("beam-deflection.pl", clause(10)))
-      )
-    ])
-  )
-).
-status(beam1, within_deflection_limit).
-why(
-  status(beam1, within_deflection_limit),
-  proof(
-    goal(status(beam1, within_deflection_limit)),
-    by(rule("beam-deflection.pl", clause(17))),
-    bindings([binding("Beam", beam1), binding("DeflectionMm", 3.90625), binding("Limit", 5.0)]),
-    uses([
-      proof(
-        goal(tip_deflection_mm(beam1, 3.90625)),
-        by(rule("beam-deflection.pl", clause(12))),
-        bindings([binding("Beam", beam1), binding("DeflectionMm", 3.90625), binding("DeflectionM", 0.00390625)]),
-        uses([
-          proof(
-            goal(tip_deflection_m(beam1, 0.00390625)),
-            by(rule("beam-deflection.pl", clause(11))),
-            bindings([binding("Beam", beam1), binding("Deflection", 0.00390625), binding("Force", 1200.0), binding("Length", 2.5), binding("ElasticModulus", 200000000000.0), binding("SecondMoment", 0.000008), binding("LengthCubed", 15.625), binding("Numerator", 18750.0), binding("ThreeE", 600000000000.0), binding("Denominator", 4800000.0)]),
-            uses([
-              proof(
-                goal(beam(beam1, force_N, 1200.0)),
-                by(fact("beam-deflection.pl", clause(6)))
-              ),
-              proof(
-                goal(beam(beam1, length_m, 2.5)),
-                by(fact("beam-deflection.pl", clause(7)))
-              ),
-              proof(
-                goal(beam(beam1, elasticModulus_Pa, 200000000000.0)),
-                by(fact("beam-deflection.pl", clause(8)))
-              ),
-              proof(
-                goal(beam(beam1, secondMoment_m4, 0.000008)),
-                by(fact("beam-deflection.pl", clause(9)))
-              ),
-              proof(
-                goal(pow(2.5, 3.0, 15.625)),
-                by(builtin(pow, 3))
-              ),
-              proof(
-                goal(mul(1200.0, 15.625, 18750.0)),
-                by(builtin(mul, 3))
-              ),
-              proof(
-                goal(mul(3.0, 200000000000.0, 600000000000.0)),
-                by(builtin(mul, 3))
-              ),
-              proof(
-                goal(mul(600000000000.0, 0.000008, 4800000.0)),
-                by(builtin(mul, 3))
-              ),
-              proof(
-                goal(div(18750.0, 4800000.0, 0.00390625)),
-                by(builtin(div, 3))
-              )
-            ])
-          ),
-          proof(
-            goal(mul(0.00390625, 1000.0, 3.90625)),
-            by(builtin(mul, 3))
-          )
-        ])
-      ),
-      proof(
-        goal(limit(beam1, maxDeflection_mm, 5.0)),
-        by(fact("beam-deflection.pl", clause(10)))
-      ),
-      proof(
-        goal(le(3.90625, 5.0)),
-        by(builtin(le, 2))
-      )
-    ])
-  )
-).

package/examples/proof/cache-performance.pl DELETED Viewed

@@ -1,310 +0,0 @@
-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))
-          )
-        ])
-      )
-    ])
-  )
-).