eyeprolog 1.5.42 → 1.5.44

package/README.md

@@ -16,6 +16,10 @@ The single implementation reference is [*The Art of EyeProlog*](the-art-of-eyepr
 It documents the language, built-ins, libraries, command line, JavaScript API,
 examples, proofs, conformance profile, and implementation.
 
+## Twenty years of EYE, and the next twenty years
+
+The Euler project began in 2001 and became EYE, a Prolog-based reasoner, in 2006; it is still alive in 2026. In a symbolic way, EYE remembers Leonhard Euler, who lost sight in one eye. The Retina project began in 2021 and became EyeProlog in 2026; we hope to keep it growing for the next twenty years. That continuation offers a second quiet remembrance of Euler, who later lost sight in his other eye—while the project keeps trying to see farther through logic, proof, and reasoning.
+
 ## Quick start
 
 EyeProlog requires Node.js 18 or newer:
@@ -56,13 +60,6 @@ printf 'human(socrates).\nmortal(X) :- human(X).\n' |
   npx --yes eyeprolog --proof --goal 'mortal(socrates)' -
 ```
 
-## Eyelet forward rules (`:+`)
-Normal mode executes top-level `Conclusion :+ Premise` rules through the bundled Prolog `library(eyelet)` driver when no explicit `-g/--goal` is supplied. `true :+ Goal` prints answers and `false :+ Goal` emits a `fuse/1`; JavaScript `run()` follows the same rule. The module exports `:+`, `stable/1`, and `becomes/2`, and implements rule selection, fixed-point rounds, skolemization, state replacement, and duplicate suppression in Prolog. JavaScript retains only syntax recognition, static dependency/autoload planning, driver bootstrap, and private mutability/output adapters; it does not implement the fixed-point semantics. Strict ISO mode disables this extension.
-Bundled `src/lib/` predicates autoload in files, CLI/API goals, and the REPL; use `--no-autoload` to require explicit imports, and explicitly import libraries that introduce operators before using their syntax. See [*The Art of EyeProlog*](the-art-of-eyeprolog.md) for the full semantics.
-All 34 bundled modules that overlap Scryer's current library surface cover Scryer's exported predicates, and all 28 bundled modules with public-module counterparts in Trealla's current `library/` surface cover those Trealla exports as well. The stricter Trealla/Scryer intersection remains a separate portability profile. Runtime-dependent library primitives follow one ownership rule: `src/lib/<module>.pl` calls private adapters from `src/<module>-host.js`; pure Prolog libraries need no host file. This includes the full Scryer `library(files)` surface, Scryer character-list paths in `library(pio)` with atom-path compatibility, chars/UTF-8/term/Base64 helpers, the completed arithmetic/time/`iso_ext` surfaces, the full Scryer `library(crypto)`, Scryer-compatible TCP `library(sockets)`, the shared Scryer/Trealla `library(json)` DCG, and a merged Scryer/Trealla `library(http)` client/server facade. Filesystem, OS, TCP socket, and HTTP/HTTPS client side effects require Node; crypto uses Node's backend where needed, with Web Crypto also used for secure random bytes when available. Non-integral rational conversions remain structural `rdiv(Numerator,Denominator)` terms until rational numbers become processor numeric values.
-## HTTP and JSON
-`library(http)` merges Scryer-style `http_open/3` options with Trealla's request helpers (`http_get/3`, `http_post/4`, `http_patch/4`, `http_put/4`, `http_delete/3`, `http_server/2`, `http_request/5`). HTTP/HTTPS clients use the Node-owned `src/http-host.js` bridge, follow up to five redirects, preserve repeated request-header values, accept Trealla `header(Name,Value)` and `host/path` address-list forms, and expose response bodies as UTF-8 character lists or streams. `http_open/3` reads response bodies lazily in bounded chunks rather than buffering the whole response through the host RPC bridge; request metadata and `data/1` still pass through that bounded bridge.
-`library(json)` provides the shared bidirectional `json_chars//1` DCG with `pairs/1`, `list/1`, `string/1`, `number/1`, `boolean/1`, and `null`. JSON `\u` escapes combine and generate UTF-16 surrogate pairs for supplementary Unicode scalar values, while unpaired surrogates are rejected. See `examples/json.pl`, `examples/http-client.pl`, `test/run-http-json.mjs`, and the full contracts in [*The Art of EyeProlog*](the-art-of-eyeprolog.md).
 ## Links
 
 - [The Art of EyeProlog](https://eyereasoner.github.io/eyeprolog/the-art-of-eyeprolog) — complete reference

package/examples/book/chapter-40/03-program-2.pl

@@ -1,3 +1,3 @@
 % From The Art of EyeProlog, Chapter 40.
 ?- V is 0+(3.2+11).
-   V ~ '14.2000'.
+   V ~~ '14.2000'.

package/examples/output/bayes-therapy.pl

@@ -1,15 +1,15 @@
-scores(case, [0.0092820000000000021, 0.008208, 0.00012824999999999997, 0.00156408]).
+scores(case, [0.009282000000000002, 0.008208, 0.00012824999999999997, 0.00156408]).
 evidenceTotal(case, 0.019182330000000004).
-posteriors(case, [0.48388282341092037, 0.42789379600913957, 0.0066858405626428041, 0.081537540017297155]).
+posteriors(case, [0.48388282341092037, 0.42789379600913957, 0.006685840562642804, 0.08153754001729716]).
 posterior(covid19, 0.48388282341092037).
 posterior(influenza, 0.42789379600913957).
-posterior(allergicRhinitis, 0.0066858405626428041).
-posterior(bacterialPneumonia, 0.081537540017297155).
+posterior(allergicRhinitis, 0.006685840562642804).
+posterior(bacterialPneumonia, 0.08153754001729716).
 expectedSuccess(paxlovid, 0.388517401170765).
 expectedSuccess(oseltamivir, 0.28514101258814745).
 expectedSuccess(antihistamine, 0.10026891936485297).
 expectedSuccess(antibiotic, 0.1109525797960936).
-expectedSuccess(supportiveCare, 0.29151195397013813).
+expectedSuccess(supportiveCare, 0.2915119539701381).
 expectedAdverse(paxlovid, 0.10).
 expectedAdverse(oseltamivir, 0.08).
 expectedAdverse(antihistamine, 0.03).
@@ -17,7 +17,7 @@ expectedAdverse(antibiotic, 0.07).
 expectedAdverse(supportiveCare, 0.01).
 utility(paxlovid, 3.5851740117076503).
 utility(oseltamivir, 2.6114101258814744).
-utility(antihistamine, 0.91268919364852963).
-utility(antibiotic, 0.89952579796093612).
+utility(antihistamine, 0.9126891936485296).
+utility(antibiotic, 0.8995257979609361).
 utility(supportiveCare, 2.8851195397013814).
 recommendedTherapy(case, paxlovid).

package/examples/output/bmi.pl

@@ -1,13 +1,13 @@
 weightKg(case, 72.0).
 heightM(case, 1.78).
 units(reason, "Inputs were already metric, so kilograms stay kilograms and centimeters are divided by 100 to obtain meters.").
-heightSquared(case, 3.1684000000000001).
+heightSquared(case, 3.1684).
 bmi(case, 22.724403484408533).
 bmi(answer, 22.72).
 bmiRoundedInt(case, 2272).
-healthyMinKg(case, 58.615400000000001).
+healthyMinKg(case, 58.6154).
 healthyMinKg(answer, 58.6).
-healthyMaxKg(case, 78.893159999999995).
+healthyMaxKg(case, 78.89316).
 healthyMaxKg(answer, 78.9).
 healthyMinKgRoundedInt(case, 586).
 healthyMaxKgRoundedInt(case, 789).

package/examples/output/cache-performance.pl

@@ -1,4 +1,4 @@
-hitRate(api_cache, 0.85999999999999999).
+hitRate(api_cache, 0.86).
 averageLatency_ms(api_cache, 15.5).
 status(api_cache, cache_effective).
 reason(api_cache, "hit rate is above target and average latency is below limit").

package/examples/output/canary-release.pl

@@ -1,4 +1,4 @@
-errorRate(canary42, 0.014999999999999999).
+errorRate(canary42, 0.015).
 p95Latency_ms(canary42, 180.0).
 latencyCheck(canary42, ok).
 status(canary42, rollback_recommended).

package/examples/output/control-system.pl

@@ -1,6 +1,6 @@
-controlSignal(actuator1, 39.273461986782763).
-controlSignal(actuator2, 26.079999999999998).
+controlSignal(actuator1, 39.27346198678276).
+controlSignal(actuator2, 26.08).
 status(actuator1, active).
 status(actuator2, active).
-normalizedMeasurement(input1, 2.2360679774997898).
-log10(disturbance1, 4.5534703722131207).
+normalizedMeasurement(input1, 2.23606797749979).
+log10(disturbance1, 4.553470372213121).

package/examples/output/dairy-energy-balance.pl

@@ -6,8 +6,8 @@ energyBalance_Mcal(early_lactation, -101.19999999999999).
 energyBalance_Mcal(mid_lactation, 0.19999999999998863).
 energyBalance_Mcal(late_lactation, 41.099999999999994).
 energyBalance_Mcal(grazing, -11.399999999999991).
-rationSupportedMilk_kg(early_lactation, 17.760000000000002).
-rationSupportedMilk_kg(mid_lactation, 24.039999999999999).
-rationSupportedMilk_kg(late_lactation, 24.219999999999999).
+rationSupportedMilk_kg(early_lactation, 17.76).
+rationSupportedMilk_kg(mid_lactation, 24.04).
+rationSupportedMilk_kg(late_lactation, 24.22).
 rationSupportedMilk_kg(grazing, 15.719999999999999).
 strongestDeficit(dairy_energy_balance, early_lactation).

package/examples/output/dijkstra-risk-path.pl

@@ -10,8 +10,8 @@ rawCost(pathDirectC, 14.0).
 rawCost(pathViaC, 7.5).
 riskSum(pathB, 0.5).
 riskSum(pathC, 1.2).
-riskSum(pathRelay, 0.40000000000000002).
-riskSum(pathDirectC, 0.050000000000000003).
+riskSum(pathRelay, 0.4).
+riskSum(pathDirectC, 0.05).
 riskSum(pathViaC, 1.7000000000000002).
 score(pathB, 13.0).
 score(pathC, 21.0).

package/examples/output/drone-corridor-planner.pl

@@ -1,17 +1,17 @@
-gps_plan(d1, plan([fly_gent_brugge, public_coastline_brugge_oostende], 2800.0, 0.012, 0.96029999999999993, 0.95039999999999991, low, none, "ttttt")).
-gps_plan(d1, plan([fly_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3250.0, 0.014, 0.94109399999999999, 0.95039999999999991, low, yes, "tttt")).
-gps_plan(d1, plan([fly_gent_brugge, buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.94984520399999994, 0.97019999999999995, mid, yes, "ttt")).
-gps_plan(d1, plan([fly_gent_brugge, buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende], 3550.0, 0.017000000000000001, 0.94499905500000003, 0.931392, mid, yes, "ttt")).
-gps_plan(d1, plan([fly_gent_brugge, topup_brugge, public_coastline_brugge_oostende], 3100.0, 0.015000000000000001, 0.96428475000000002, 0.931392, mid, none, "tttt")).
-gps_plan(d1, plan([fly_gent_brugge, topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.94984520399999994, 0.97019999999999995, mid, yes, "ttt")).
-gps_plan(d1, plan([fly_gent_brugge, topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3550.0, 0.017000000000000001, 0.94499905500000003, 0.931392, mid, yes, "ttt")).
-gps_plan(d1, plan([train_gent_brugge, public_coastline_brugge_oostende], 2900.0, 0.018000000000000002, 0.97402500000000003, 0.95519999999999994, mid, none, "ttttt")).
-gps_plan(d1, plan([train_gent_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3050.0, 0.018000000000000002, 0.95943959999999995, 0.995, mid, yes, "tttt")).
-gps_plan(d1, plan([train_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3350.0, 0.02, 0.95454450000000002, 0.95519999999999994, mid, yes, "tttt")).
-gps_plan(d1, plan([fly_gent_kortrijk, fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675195999995, 0.9506969999999999, mid, yes, "tt")).
-gps_plan(d1, plan([fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5000.0, 0.024, 0.95464190250000003, 0.91266911999999989, mid, none, "ttt")).
-gps_plan(d1, plan([fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675195999995, 0.9506969999999999, mid, yes, "tt")).
-gps_plan(d1, plan([fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5000.0, 0.023, 0.95857796449800003, 0.9506969999999999, mid, yes, "tt")).
-gps_plan(d1, plan([fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5300.0, 0.025000000000000001, 0.95368726059749998, 0.91266911999999989, mid, yes, "tt")).
-gps_plan(d1, plan([fly_gent_kortrijk, get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.02, 0.94356004544999994, 0.86526000000000003, mid, yes, "ttt")).
-gps_plan(d1, plan([fly_gent_kortrijk, emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.019999999999999997, 0.94356004544999994, 0.86526000000000003, mid, yes, "ttt")).
+gps_plan(d1, plan([fly_gent_brugge, public_coastline_brugge_oostende], 2800.0, 0.012, 0.9602999999999999, 0.9503999999999999, low, none, "ttttt")).
+gps_plan(d1, plan([fly_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3250.0, 0.014, 0.941094, 0.9503999999999999, low, yes, "tttt")).
+gps_plan(d1, plan([fly_gent_brugge, buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.9498452039999999, 0.9702, mid, yes, "ttt")).
+gps_plan(d1, plan([fly_gent_brugge, buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende], 3550.0, 0.017, 0.944999055, 0.931392, mid, yes, "ttt")).
+gps_plan(d1, plan([fly_gent_brugge, topup_brugge, public_coastline_brugge_oostende], 3100.0, 0.015000000000000001, 0.96428475, 0.931392, mid, none, "tttt")).
+gps_plan(d1, plan([fly_gent_brugge, topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.9498452039999999, 0.9702, mid, yes, "ttt")).
+gps_plan(d1, plan([fly_gent_brugge, topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3550.0, 0.017, 0.944999055, 0.931392, mid, yes, "ttt")).
+gps_plan(d1, plan([train_gent_brugge, public_coastline_brugge_oostende], 2900.0, 0.018000000000000002, 0.974025, 0.9551999999999999, mid, none, "ttttt")).
+gps_plan(d1, plan([train_gent_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3050.0, 0.018000000000000002, 0.9594396, 0.995, mid, yes, "tttt")).
+gps_plan(d1, plan([train_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3350.0, 0.02, 0.9545445, 0.9551999999999999, mid, yes, "tttt")).
+gps_plan(d1, plan([fly_gent_kortrijk, fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675196, 0.9506969999999999, mid, yes, "tt")).
+gps_plan(d1, plan([fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5000.0, 0.024, 0.9546419025, 0.9126691199999999, mid, none, "ttt")).
+gps_plan(d1, plan([fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675196, 0.9506969999999999, mid, yes, "tt")).
+gps_plan(d1, plan([fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5000.0, 0.023, 0.958577964498, 0.9506969999999999, mid, yes, "tt")).
+gps_plan(d1, plan([fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5300.0, 0.025, 0.9536872605975, 0.9126691199999999, mid, yes, "tt")).
+gps_plan(d1, plan([fly_gent_kortrijk, get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.02, 0.9435600454499999, 0.86526, mid, yes, "ttt")).
+gps_plan(d1, plan([fly_gent_kortrijk, emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.019999999999999997, 0.9435600454499999, 0.86526, mid, yes, "ttt")).

package/examples/output/epidemic-policy.pl

@@ -2,10 +2,10 @@ status(no_mandate, insufficient_control).
 status(vaccination_campaign, insufficient_control).
 status(indoor_masks, insufficient_control).
 status(vaccination_and_masks, acceptable_control).
-riskScore(no_mandate, 1.3999999999999999).
-riskScore(vaccination_campaign, 0.77000000000000002).
-riskScore(indoor_masks, 0.90999999999999992).
-riskScore(vaccination_and_masks, 0.50050000000000006).
+riskScore(no_mandate, 1.4).
+riskScore(vaccination_campaign, 0.77).
+riskScore(indoor_masks, 0.9099999999999999).
+riskScore(vaccination_and_masks, 0.5005000000000001).
 cost(no_mandate, 0).
 cost(vaccination_campaign, 3).
 cost(indoor_masks, 2).

package/examples/output/exoplanet-validation-worlds.pl

@@ -1,7 +1,7 @@
-ppvPlanetGivenDetection(rare_wide_orbit, 0.090163934426229442).
-ppvPlanetGivenDetection(mstar_short_period, 0.96116504854368934).
-ppvPlanetGivenDetection(common_hot_neptune_good, 0.91346153846153844).
-ppvPlanetGivenDetection(common_hot_neptune_low_spec, 0.76000000000000001).
+ppvPlanetGivenDetection(rare_wide_orbit, 0.09016393442622944).
+ppvPlanetGivenDetection(mstar_short_period, 0.9611650485436893).
+ppvPlanetGivenDetection(common_hot_neptune_good, 0.9134615384615384).
+ppvPlanetGivenDetection(common_hot_neptune_low_spec, 0.76).
 confirmsInWorld(mstar_short_period, w0).
 confirmsInWorld(common_hot_neptune_good, w0).
 confirmsInWorld(rare_wide_orbit, w1).

package/examples/output/fft8-numeric.pl

@@ -1,4 +1,4 @@
-fft(ramp8, [c(28, 0.0), c(-4.0, 9.6568542494923797), c(-4.0, 4.0), c(-4.0, 1.6568542494923806), c(-4, 0.0), c(-4.0, -1.6568542494923806), c(-4.0, -4.0), c(-4.0, -9.6568542494923797)]).
+fft(ramp8, [c(28, 0.0), c(-4.0, 9.65685424949238), c(-4.0, 4.0), c(-4.0, 1.6568542494923806), c(-4, 0.0), c(-4.0, -1.6568542494923806), c(-4.0, -4.0), c(-4.0, -9.65685424949238)]).
 fft(alternating8, [c(0, 0.0), c(0.0, 0.0), c(0.0, 0.0), c(0.0, 0.0), c(8, 0.0), c(0.0, 0.0), c(0.0, 0.0), c(0.0, 0.0)]).
 dcComponent(ramp8, c(28, 0.0)).
 dcComponent(alternating8, c(0, 0.0)).

package/examples/output/field-nitrogen-balance.pl

@@ -14,7 +14,7 @@ surplusN_kg_ha(sandy_high, 12.0).
 surplusN_kg_ha(clay_surplus, 27.200000000000017).
 surplusN_kg_ha(low_input, 0.0).
 surplusN_kg_ha(balanced_loam, 0.0).
-leachingIndex(sandy_high, 4.1999999999999993).
+leachingIndex(sandy_high, 4.199999999999999).
 leachingIndex(clay_surplus, 2.1760000000000015).
 leachingIndex(low_input, 0.0).
 leachingIndex(balanced_loam, 0.0).

package/examples/output/gd-step-certified.pl

@@ -1,70 +1,70 @@
 width(0, 2.0).
-width(1, 2.7999999999999998).
-width(2, 3.9199999999999999).
+width(1, 2.8).
+width(2, 3.92).
 width(3, 5.4879999999999995).
-width(4, 7.6831999999999994).
+width(4, 7.683199999999999).
 width(5, 10.75648).
 width(6, 15.059072).
-width(7, 21.082700800000001).
+width(7, 21.0827008).
 width(8, 29.51578112).
 width(9, 41.322093568).
-width(10, 57.850930995200002).
+width(10, 57.8509309952).
 width(result, width(0, 2.0)).
-width(result, width(1, 2.7999999999999998)).
-width(result, width(2, 3.9199999999999999)).
+width(result, width(1, 2.8)).
+width(result, width(2, 3.92)).
 width(result, width(3, 5.4879999999999995)).
-width(result, width(4, 7.6831999999999994)).
+width(result, width(4, 7.683199999999999)).
 width(result, width(5, 10.75648)).
 width(result, width(6, 15.059072)).
-width(result, width(7, 21.082700800000001)).
+width(result, width(7, 21.0827008)).
 width(result, width(8, 29.51578112)).
 width(result, width(9, 41.322093568)).
-width(result, width(10, 57.850930995200002)).
-eta(result, 0.20000000000000001).
+width(result, width(10, 57.8509309952)).
+eta(result, 0.2).
 etaLeHalf(result, true).
 xBounds(result, bounds(0, 0.0, 2.0)).
-xBounds(result, bounds(1, -0.40000000000000002, 2.3999999999999999)).
-xBounds(result, bounds(2, -0.95999999999999996, 2.96)).
+xBounds(result, bounds(1, -0.4, 2.4)).
+xBounds(result, bounds(2, -0.96, 2.96)).
 xBounds(result, bounds(3, -1.744, 3.7439999999999998)).
-xBounds(result, bounds(4, -2.8415999999999997, 4.8415999999999997)).
-xBounds(result, bounds(5, -4.3782399999999999, 6.3782399999999999)).
-xBounds(result, bounds(6, -6.5295360000000002, 8.5295360000000002)).
-xBounds(result, bounds(7, -9.5413504000000007, 11.541350400000001)).
+xBounds(result, bounds(4, -2.8415999999999997, 4.8416)).
+xBounds(result, bounds(5, -4.37824, 6.37824)).
+xBounds(result, bounds(6, -6.529536, 8.529536)).
+xBounds(result, bounds(7, -9.5413504, 11.5413504)).
 xBounds(result, bounds(8, -13.75789056, 15.75789056)).
 xBounds(result, bounds(9, -19.661046784, 21.661046784)).
-xBounds(result, bounds(10, -27.925465497600001, 29.925465497600001)).
+xBounds(result, bounds(10, -27.9254654976, 29.9254654976)).
 midpoint(result, midpoint(0, 1.0, 1.0)).
-midpoint(result, midpoint(1, 1.0, 1.3999999999999999)).
+midpoint(result, midpoint(1, 1.0, 1.4)).
 midpoint(result, midpoint(2, 1.0, 1.96)).
-midpoint(result, midpoint(3, 0.99999999999999989, 2.7439999999999998)).
+midpoint(result, midpoint(3, 0.9999999999999999, 2.7439999999999998)).
 midpoint(result, midpoint(4, 1.0, 3.8415999999999997)).
-midpoint(result, midpoint(5, 1.0, 5.3782399999999999)).
-midpoint(result, midpoint(6, 1.0, 7.5295360000000002)).
-midpoint(result, midpoint(7, 1.0, 10.541350400000001)).
+midpoint(result, midpoint(5, 1.0, 5.37824)).
+midpoint(result, midpoint(6, 1.0, 7.529536)).
+midpoint(result, midpoint(7, 1.0, 10.5413504)).
 midpoint(result, midpoint(8, 1.0, 14.75789056)).
 midpoint(result, midpoint(9, 1.0, 20.661046784)).
-midpoint(result, midpoint(10, 1.0, 28.925465497600001)).
+midpoint(result, midpoint(10, 1.0, 28.9254654976)).
 gradientBounds(result, gradient(0, -2.0, 2.0)).
-gradientBounds(result, gradient(1, -2.7999999999999998, 2.7999999999999998)).
-gradientBounds(result, gradient(2, -3.9199999999999999, 3.9199999999999999)).
+gradientBounds(result, gradient(1, -2.8, 2.8)).
+gradientBounds(result, gradient(2, -3.92, 3.92)).
 gradientBounds(result, gradient(3, -5.4879999999999995, 5.4879999999999995)).
-gradientBounds(result, gradient(4, -7.6831999999999994, 7.6831999999999994)).
+gradientBounds(result, gradient(4, -7.683199999999999, 7.683199999999999)).
 gradientBounds(result, gradient(5, -10.75648, 10.75648)).
 gradientBounds(result, gradient(6, -15.059072, 15.059072)).
-gradientBounds(result, gradient(7, -21.082700800000001, 21.082700800000001)).
+gradientBounds(result, gradient(7, -21.0827008, 21.0827008)).
 gradientBounds(result, gradient(8, -29.51578112, 29.51578112)).
 gradientBounds(result, gradient(9, -41.322093568, 41.322093568)).
-gradientBounds(result, gradient(10, -57.850930995200002, 57.850930995200002)).
-stepBounds(result, step(0, -0.40000000000000002, 0.40000000000000002)).
-stepBounds(result, step(1, -0.55999999999999994, 0.55999999999999994)).
-stepBounds(result, step(2, -0.78400000000000003, 0.78400000000000003)).
-stepBounds(result, step(3, -1.0975999999999999, 1.0975999999999999)).
+gradientBounds(result, gradient(10, -57.8509309952, 57.8509309952)).
+stepBounds(result, step(0, -0.4, 0.4)).
+stepBounds(result, step(1, -0.5599999999999999, 0.5599999999999999)).
+stepBounds(result, step(2, -0.784, 0.784)).
+stepBounds(result, step(3, -1.0976, 1.0976)).
 stepBounds(result, step(4, -1.53664, 1.53664)).
-stepBounds(result, step(5, -2.1512959999999999, 2.1512959999999999)).
+stepBounds(result, step(5, -2.151296, 2.151296)).
 stepBounds(result, step(6, -3.0118144000000004, 3.0118144000000004)).
-stepBounds(result, step(7, -4.2165401600000001, 4.2165401600000001)).
+stepBounds(result, step(7, -4.21654016, 4.21654016)).
 stepBounds(result, step(8, -5.903156224, 5.903156224)).
-stepBounds(result, step(9, -8.2644187135999996, 8.2644187135999996)).
+stepBounds(result, step(9, -8.2644187136, 8.2644187136)).
 stepBounds(result, step(10, -11.570186199040002, 11.570186199040002)).
 objectiveBounds(result, f(0, 0.0, 1.0)).
 objectiveBounds(result, f(1, 0.0, 1.9599999999999997)).
@@ -72,8 +72,8 @@ objectiveBounds(result, f(2, 0.0, 3.8415999999999997)).
 objectiveBounds(result, f(3, 0.0, 7.5295359999999985)).
 objectiveBounds(result, f(4, 0.0, 14.757890559999998)).
 objectiveBounds(result, f(5, 0.0, 28.925465497599998)).
-objectiveBounds(result, f(6, 0.0, 56.693912375296001)).
+objectiveBounds(result, f(6, 0.0, 56.693912375296)).
 objectiveBounds(result, f(7, 0.0, 111.12006825558018)).
-objectiveBounds(result, f(8, 0.0, 217.79533378093711)).
+objectiveBounds(result, f(8, 0.0, 217.7953337809371)).
 objectiveBounds(result, f(9, 0.0, 426.87885421063675)).
-objectiveBounds(result, f(10, 0.0, 836.68255425284804)).
+objectiveBounds(result, f(10, 0.0, 836.682554252848)).

package/examples/output/gps.pl

@@ -12,10 +12,10 @@ actionSequence(routeViaKortrijk, [drive_gent_kortrijk, drive_kortrijk_brugge, dr
 durationSeconds(routeDirect, 2400.0).
 durationSeconds(routeViaKortrijk, 4100.0).
 cost(routeDirect, 0.01).
-cost(routeViaKortrijk, 0.017999999999999999).
-belief(routeDirect, 0.94079999999999997).
-belief(routeViaKortrijk, 0.90316799999999997).
-comfort(routeDirect, 0.98999999999999999).
-comfort(routeViaKortrijk, 0.98009999999999997).
-selectedRoute(report, route(routeDirect, [drive_gent_brugge, drive_brugge_oostende], 2400.0, 0.01, 0.94079999999999997, 0.98999999999999999)).
+cost(routeViaKortrijk, 0.018).
+belief(routeDirect, 0.9408).
+belief(routeViaKortrijk, 0.903168).
+comfort(routeDirect, 0.99).
+comfort(routeViaKortrijk, 0.9801).
+selectedRoute(report, route(routeDirect, [drive_gent_brugge, drive_brugge_oostende], 2400.0, 0.01, 0.9408, 0.99)).
 comparison(report, dominates(routeDirect, routeViaKortrijk)).

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

@@ -1,3 +1,3 @@
 sideCSquared(tri60, 67.0).
-sideC(tri60, 8.1853527718724504).
+sideC(tri60, 8.18535277187245).
 status(tri60, acute_triangle).

package/examples/output/least-squares-regression.pl

@@ -1,5 +1,5 @@
-slope(regression1, 0.80000000000000004).
+slope(regression1, 0.8).
 intercept(regression1, 1.5).
-rSquared(regression1, 0.64000000000000001).
+rSquared(regression1, 0.64).
 status(regression1, accepted_linear_fit).
 reason(regression1, "R squared meets the minimum explanatory-power threshold").

package/examples/output/newton-raphson.pl

@@ -1,3 +1,3 @@
 findRoot([1, 1.0, 1.0e-15], 1.4142135623730951).
-findRoot([2, 2.0, 1.0e-15], 2.7182818284590451).
-findRoot([3, 3.0, 1.0e-15], 3.1415926535897931).
+findRoot([2, 2.0, 1.0e-15], 2.718281828459045).
+findRoot([3, 3.0, 1.0e-15], 3.141592653589793).

package/examples/output/orbital-transfer-design.pl

@@ -1,7 +1,7 @@
-transferSemiMajorAxis_km(mars_hohmann, 188768535.34999999).
+transferSemiMajorAxis_km(mars_hohmann, 188768535.35).
 departureDeltaV_km_s(mars_hohmann, 2.9446911328430403).
 arrivalDeltaV_km_s(mars_hohmann, 2.6488967223855973).
 totalDeltaV_km_s(mars_hohmann, 5.5935878552286376).
-transferTime_days(mars_hohmann, 258.86582676796297).
+transferTime_days(mars_hohmann, 258.865826767963).
 status(mars_hohmann, feasible_reference_transfer).
 reason(mars_hohmann, "total Hohmann transfer delta-v is within the mission budget").

package/examples/output/pi.pl

@@ -1 +1 @@
-pi(100000, 3.1415926535897918).
+pi(100000, 3.141592653589792).

package/examples/output/reusable-builtins.pl

@@ -1,5 +1,5 @@
 report(normalized_name, 'ada lovelace').
 report(unique_tags, [logic, math, programming]).
 report(tag_label, 'logic / math / programming').
-report(score_summary, summary(42, 21, 6.4807406984078604)).
+report(score_summary, summary(42, 21, 6.48074069840786)).
 report(window, [13, 21]).

package/examples/output/trust-flow-provenance-threshold.pl

@@ -1,4 +1,4 @@
-confidence(message_a, 0.89375999999999989).
+confidence(message_a, 0.8937599999999999).
 confidence(message_b, 0.41999999999999993).
 trust_flow_state(message_a, fpv_accepted).
 trust_flow_state(message_b, fpv_quarantine).

package/examples/output/vector-similarity.pl

@@ -1,4 +1,4 @@
 dotProduct(pair1, 12.0).
 normA(pair1, 3.7416573867739413).
-normB(pair1, 8.7749643873921226).
-cosineSimilarity(pair1, 0.36548694232390361).
+normB(pair1, 8.774964387392123).
+cosineSimilarity(pair1, 0.3654869423239036).

package/examples/proof/cache-performance.pl

@@ -1,15 +1,15 @@
-hitRate(api_cache, 0.85999999999999999).
+hitRate(api_cache, 0.86).
 why(
-  hitRate(api_cache, 0.85999999999999999),
+  hitRate(api_cache, 0.86),
   proof(
-    goal(hitRate(api_cache, 0.85999999999999999)),
+    goal(hitRate(api_cache, 0.86)),
     by(rule("cache-performance.pl", clause(8))),
-    bindings([binding("Cache", api_cache), binding("Rate", 0.85999999999999999)]),
+    bindings([binding("Cache", api_cache), binding("Rate", 0.86)]),
     uses([
       proof(
-        goal(hit_rate(api_cache, 0.85999999999999999)),
+        goal(hit_rate(api_cache, 0.86)),
         by(rule("cache-performance.pl", clause(5))),
-        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)]),
+        bindings([binding("Cache", api_cache), binding("Rate", 0.86), 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)),
@@ -31,7 +31,7 @@ why(
             ])
           ),
           proof(
-            goal(is(0.85999999999999999, /(8600.0, 10000.0))),
+            goal(is(0.86, /(8600.0, 10000.0))),
             by(builtin(is, 2))
           )
         ])
@@ -105,12 +105,12 @@ why(
       proof(
         goal(cache_effective(api_cache)),
         by(rule("cache-performance.pl", clause(7))),
-        bindings([binding("Cache", api_cache), binding("Rate", 0.85999999999999999), binding("Minimumrate", 0.80), binding("Average", 15.5), binding("Maximumlatency", 20.0)]),
+        bindings([binding("Cache", api_cache), binding("Rate", 0.86), binding("Minimumrate", 0.8), binding("Average", 15.5), binding("Maximumlatency", 20.0)]),
         uses([
           proof(
-            goal(hit_rate(api_cache, 0.85999999999999999)),
+            goal(hit_rate(api_cache, 0.86)),
             by(rule("cache-performance.pl", clause(5))),
-            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)]),
+            bindings([binding("Cache", api_cache), binding("Rate", 0.86), 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)),
@@ -132,17 +132,17 @@ why(
                 ])
               ),
               proof(
-                goal(is(0.85999999999999999, /(8600.0, 10000.0))),
+                goal(is(0.86, /(8600.0, 10000.0))),
                 by(builtin(is, 2))
               )
             ])
           ),
           proof(
-            goal(threshold(api_cache, minimum_hit_rate, 0.80)),
+            goal(threshold(api_cache, minimum_hit_rate, 0.8)),
             by(fact("cache-performance.pl", clause(2)))
           ),
           proof(
-            goal(>(0.85999999999999999, 0.80)),
+            goal(>(0.86, 0.8)),
             by(builtin(>, 2))
           ),
           proof(
@@ -212,12 +212,12 @@ why(
       proof(
         goal(cache_effective(api_cache)),
         by(rule("cache-performance.pl", clause(7))),
-        bindings([binding("Cache", api_cache), binding("Rate", 0.85999999999999999), binding("Minimumrate", 0.80), binding("Average", 15.5), binding("Maximumlatency", 20.0)]),
+        bindings([binding("Cache", api_cache), binding("Rate", 0.86), binding("Minimumrate", 0.8), binding("Average", 15.5), binding("Maximumlatency", 20.0)]),
         uses([
           proof(
-            goal(hit_rate(api_cache, 0.85999999999999999)),
+            goal(hit_rate(api_cache, 0.86)),
             by(rule("cache-performance.pl", clause(5))),
-            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)]),
+            bindings([binding("Cache", api_cache), binding("Rate", 0.86), 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)),
@@ -239,17 +239,17 @@ why(
                 ])
               ),
               proof(
-                goal(is(0.85999999999999999, /(8600.0, 10000.0))),
+                goal(is(0.86, /(8600.0, 10000.0))),
                 by(builtin(is, 2))
               )
             ])
           ),
           proof(
-            goal(threshold(api_cache, minimum_hit_rate, 0.80)),
+            goal(threshold(api_cache, minimum_hit_rate, 0.8)),
             by(fact("cache-performance.pl", clause(2)))
           ),
           proof(
-            goal(>(0.85999999999999999, 0.80)),
+            goal(>(0.86, 0.8)),
             by(builtin(>, 2))
           ),
           proof(

package/examples/proof/canary-release.pl

@@ -1,22 +1,22 @@
-errorRate(canary42, 0.014999999999999999).
+errorRate(canary42, 0.015).
 why(
-  errorRate(canary42, 0.014999999999999999),
+  errorRate(canary42, 0.015),
   proof(
-    goal(errorRate(canary42, 0.014999999999999999)),
+    goal(errorRate(canary42, 0.015)),
     by(rule("canary-release.pl", clause(8))),
-    bindings([binding("Release", canary42), binding("Rate", 0.014999999999999999)]),
+    bindings([binding("Release", canary42), binding("Rate", 0.015)]),
     uses([
       proof(
-        goal(error_rate(canary42, 0.014999999999999999)),
+        goal(error_rate(canary42, 0.015)),
         by(rule("canary-release.pl", clause(4))),
-        bindings([binding("Release", canary42), binding("Rate", 0.014999999999999999), binding("Requests", 5000.0), binding("Errors", 75.0), binding("_p95latency", 180.0)]),
+        bindings([binding("Release", canary42), binding("Rate", 0.015), 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(1)))
           ),
           proof(
-            goal(is(0.014999999999999999, /(75.0, 5000.0))),
+            goal(is(0.015, /(75.0, 5000.0))),
             by(builtin(is, 2))
           )
         ])
@@ -88,19 +88,19 @@ why(
           proof(
             goal(error_budget_exceeded(canary42)),
             by(rule("canary-release.pl", clause(6))),
-            bindings([binding("Release", canary42), binding("Rate", 0.014999999999999999), binding("Maximum", 0.01)]),
+            bindings([binding("Release", canary42), binding("Rate", 0.015), binding("Maximum", 0.01)]),
             uses([
               proof(
-                goal(error_rate(canary42, 0.014999999999999999)),
+                goal(error_rate(canary42, 0.015)),
                 by(rule("canary-release.pl", clause(4))),
-                bindings([binding("Release", canary42), binding("Rate", 0.014999999999999999), binding("Requests", 5000.0), binding("Errors", 75.0), binding("_p95latency", 180.0)]),
+                bindings([binding("Release", canary42), binding("Rate", 0.015), 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(1)))
                   ),
                   proof(
-                    goal(is(0.014999999999999999, /(75.0, 5000.0))),
+                    goal(is(0.015, /(75.0, 5000.0))),
                     by(builtin(is, 2))
                   )
                 ])
@@ -110,7 +110,7 @@ why(
                 by(fact("canary-release.pl", clause(2)))
               ),
               proof(
-                goal(>(0.014999999999999999, 0.01)),
+                goal(>(0.015, 0.01)),
                 by(builtin(>, 2))
               )
             ])
@@ -137,19 +137,19 @@ why(
           proof(
             goal(error_budget_exceeded(canary42)),
             by(rule("canary-release.pl", clause(6))),
-            bindings([binding("Release", canary42), binding("Rate", 0.014999999999999999), binding("Maximum", 0.01)]),
+            bindings([binding("Release", canary42), binding("Rate", 0.015), binding("Maximum", 0.01)]),
             uses([
               proof(
-                goal(error_rate(canary42, 0.014999999999999999)),
+                goal(error_rate(canary42, 0.015)),
                 by(rule("canary-release.pl", clause(4))),
-                bindings([binding("Release", canary42), binding("Rate", 0.014999999999999999), binding("Requests", 5000.0), binding("Errors", 75.0), binding("_p95latency", 180.0)]),
+                bindings([binding("Release", canary42), binding("Rate", 0.015), 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(1)))
                   ),
                   proof(
-                    goal(is(0.014999999999999999, /(75.0, 5000.0))),
+                    goal(is(0.015, /(75.0, 5000.0))),
                     by(builtin(is, 2))
                   )
                 ])
@@ -159,7 +159,7 @@ why(
                 by(fact("canary-release.pl", clause(2)))
               ),
               proof(
-                goal(>(0.014999999999999999, 0.01)),
+                goal(>(0.015, 0.01)),
                 by(builtin(>, 2))
               )
             ])