eyeling 1.32.1 → 1.33.0

package/examples/eyelang/output/hamiltonian-path.pl

@@ -0,0 +1,121 @@
+hasHamiltonianPath(graph, true).
+hamiltonianPath(graph, [v1, v2, v3, v6, v4, v5]).
+hamiltonianPath(graph, [v1, v2, v6, v3, v4, v5]).
+hamiltonianPath(graph, [v1, v3, v2, v6, v4, v5]).
+hamiltonianPath(graph, [v1, v3, v6, v2, v4, v5]).
+hamiltonianPath(graph, [v1, v5, v4, v2, v3, v6]).
+hamiltonianPath(graph, [v1, v5, v4, v2, v6, v3]).
+hamiltonianPath(graph, [v1, v5, v4, v3, v2, v6]).
+hamiltonianPath(graph, [v1, v5, v4, v3, v6, v2]).
+hamiltonianPath(graph, [v1, v5, v4, v6, v2, v3]).
+hamiltonianPath(graph, [v1, v5, v4, v6, v3, v2]).
+hamiltonianPath(graph, [v1, v6, v2, v3, v4, v5]).
+hamiltonianPath(graph, [v1, v6, v3, v2, v4, v5]).
+hamiltonianPath(graph, [v2, v1, v3, v6, v4, v5]).
+hamiltonianPath(graph, [v2, v1, v5, v4, v3, v6]).
+hamiltonianPath(graph, [v2, v1, v5, v4, v6, v3]).
+hamiltonianPath(graph, [v2, v1, v6, v3, v4, v5]).
+hamiltonianPath(graph, [v2, v3, v1, v5, v4, v6]).
+hamiltonianPath(graph, [v2, v3, v1, v6, v4, v5]).
+hamiltonianPath(graph, [v2, v3, v4, v5, v1, v6]).
+hamiltonianPath(graph, [v2, v3, v4, v6, v1, v5]).
+hamiltonianPath(graph, [v2, v3, v6, v1, v5, v4]).
+hamiltonianPath(graph, [v2, v3, v6, v4, v5, v1]).
+hamiltonianPath(graph, [v2, v4, v3, v6, v1, v5]).
+hamiltonianPath(graph, [v2, v4, v5, v1, v3, v6]).
+hamiltonianPath(graph, [v2, v4, v5, v1, v6, v3]).
+hamiltonianPath(graph, [v2, v4, v6, v3, v1, v5]).
+hamiltonianPath(graph, [v2, v6, v1, v3, v4, v5]).
+hamiltonianPath(graph, [v2, v6, v1, v5, v4, v3]).
+hamiltonianPath(graph, [v2, v6, v3, v1, v5, v4]).
+hamiltonianPath(graph, [v2, v6, v3, v4, v5, v1]).
+hamiltonianPath(graph, [v2, v6, v4, v3, v1, v5]).
+hamiltonianPath(graph, [v2, v6, v4, v5, v1, v3]).
+hamiltonianPath(graph, [v3, v1, v2, v6, v4, v5]).
+hamiltonianPath(graph, [v3, v1, v5, v4, v2, v6]).
+hamiltonianPath(graph, [v3, v1, v5, v4, v6, v2]).
+hamiltonianPath(graph, [v3, v1, v6, v2, v4, v5]).
+hamiltonianPath(graph, [v3, v2, v1, v5, v4, v6]).
+hamiltonianPath(graph, [v3, v2, v1, v6, v4, v5]).
+hamiltonianPath(graph, [v3, v2, v4, v5, v1, v6]).
+hamiltonianPath(graph, [v3, v2, v4, v6, v1, v5]).
+hamiltonianPath(graph, [v3, v2, v6, v1, v5, v4]).
+hamiltonianPath(graph, [v3, v2, v6, v4, v5, v1]).
+hamiltonianPath(graph, [v3, v4, v2, v6, v1, v5]).
+hamiltonianPath(graph, [v3, v4, v5, v1, v2, v6]).
+hamiltonianPath(graph, [v3, v4, v5, v1, v6, v2]).
+hamiltonianPath(graph, [v3, v4, v6, v2, v1, v5]).
+hamiltonianPath(graph, [v3, v6, v1, v2, v4, v5]).
+hamiltonianPath(graph, [v3, v6, v1, v5, v4, v2]).
+hamiltonianPath(graph, [v3, v6, v2, v1, v5, v4]).
+hamiltonianPath(graph, [v3, v6, v2, v4, v5, v1]).
+hamiltonianPath(graph, [v3, v6, v4, v2, v1, v5]).
+hamiltonianPath(graph, [v3, v6, v4, v5, v1, v2]).
+hamiltonianPath(graph, [v4, v2, v3, v6, v1, v5]).
+hamiltonianPath(graph, [v4, v2, v6, v3, v1, v5]).
+hamiltonianPath(graph, [v4, v3, v2, v6, v1, v5]).
+hamiltonianPath(graph, [v4, v3, v6, v2, v1, v5]).
+hamiltonianPath(graph, [v4, v5, v1, v2, v3, v6]).
+hamiltonianPath(graph, [v4, v5, v1, v2, v6, v3]).
+hamiltonianPath(graph, [v4, v5, v1, v3, v2, v6]).
+hamiltonianPath(graph, [v4, v5, v1, v3, v6, v2]).
+hamiltonianPath(graph, [v4, v5, v1, v6, v2, v3]).
+hamiltonianPath(graph, [v4, v5, v1, v6, v3, v2]).
+hamiltonianPath(graph, [v4, v6, v2, v3, v1, v5]).
+hamiltonianPath(graph, [v4, v6, v3, v2, v1, v5]).
+hamiltonianPath(graph, [v5, v1, v2, v3, v4, v6]).
+hamiltonianPath(graph, [v5, v1, v2, v3, v6, v4]).
+hamiltonianPath(graph, [v5, v1, v2, v4, v3, v6]).
+hamiltonianPath(graph, [v5, v1, v2, v4, v6, v3]).
+hamiltonianPath(graph, [v5, v1, v2, v6, v3, v4]).
+hamiltonianPath(graph, [v5, v1, v2, v6, v4, v3]).
+hamiltonianPath(graph, [v5, v1, v3, v2, v4, v6]).
+hamiltonianPath(graph, [v5, v1, v3, v2, v6, v4]).
+hamiltonianPath(graph, [v5, v1, v3, v4, v2, v6]).
+hamiltonianPath(graph, [v5, v1, v3, v4, v6, v2]).
+hamiltonianPath(graph, [v5, v1, v3, v6, v2, v4]).
+hamiltonianPath(graph, [v5, v1, v3, v6, v4, v2]).
+hamiltonianPath(graph, [v5, v1, v6, v2, v3, v4]).
+hamiltonianPath(graph, [v5, v1, v6, v2, v4, v3]).
+hamiltonianPath(graph, [v5, v1, v6, v3, v2, v4]).
+hamiltonianPath(graph, [v5, v1, v6, v3, v4, v2]).
+hamiltonianPath(graph, [v5, v1, v6, v4, v2, v3]).
+hamiltonianPath(graph, [v5, v1, v6, v4, v3, v2]).
+hamiltonianPath(graph, [v5, v4, v2, v1, v3, v6]).
+hamiltonianPath(graph, [v5, v4, v2, v1, v6, v3]).
+hamiltonianPath(graph, [v5, v4, v2, v3, v1, v6]).
+hamiltonianPath(graph, [v5, v4, v2, v3, v6, v1]).
+hamiltonianPath(graph, [v5, v4, v2, v6, v1, v3]).
+hamiltonianPath(graph, [v5, v4, v2, v6, v3, v1]).
+hamiltonianPath(graph, [v5, v4, v3, v1, v2, v6]).
+hamiltonianPath(graph, [v5, v4, v3, v1, v6, v2]).
+hamiltonianPath(graph, [v5, v4, v3, v2, v1, v6]).
+hamiltonianPath(graph, [v5, v4, v3, v2, v6, v1]).
+hamiltonianPath(graph, [v5, v4, v3, v6, v1, v2]).
+hamiltonianPath(graph, [v5, v4, v3, v6, v2, v1]).
+hamiltonianPath(graph, [v5, v4, v6, v1, v2, v3]).
+hamiltonianPath(graph, [v5, v4, v6, v1, v3, v2]).
+hamiltonianPath(graph, [v5, v4, v6, v2, v1, v3]).
+hamiltonianPath(graph, [v5, v4, v6, v2, v3, v1]).
+hamiltonianPath(graph, [v5, v4, v6, v3, v1, v2]).
+hamiltonianPath(graph, [v5, v4, v6, v3, v2, v1]).
+hamiltonianPath(graph, [v6, v1, v2, v3, v4, v5]).
+hamiltonianPath(graph, [v6, v1, v3, v2, v4, v5]).
+hamiltonianPath(graph, [v6, v1, v5, v4, v2, v3]).
+hamiltonianPath(graph, [v6, v1, v5, v4, v3, v2]).
+hamiltonianPath(graph, [v6, v2, v1, v3, v4, v5]).
+hamiltonianPath(graph, [v6, v2, v1, v5, v4, v3]).
+hamiltonianPath(graph, [v6, v2, v3, v1, v5, v4]).
+hamiltonianPath(graph, [v6, v2, v3, v4, v5, v1]).
+hamiltonianPath(graph, [v6, v2, v4, v3, v1, v5]).
+hamiltonianPath(graph, [v6, v2, v4, v5, v1, v3]).
+hamiltonianPath(graph, [v6, v3, v1, v2, v4, v5]).
+hamiltonianPath(graph, [v6, v3, v1, v5, v4, v2]).
+hamiltonianPath(graph, [v6, v3, v2, v1, v5, v4]).
+hamiltonianPath(graph, [v6, v3, v2, v4, v5, v1]).
+hamiltonianPath(graph, [v6, v3, v4, v2, v1, v5]).
+hamiltonianPath(graph, [v6, v3, v4, v5, v1, v2]).
+hamiltonianPath(graph, [v6, v4, v2, v3, v1, v5]).
+hamiltonianPath(graph, [v6, v4, v3, v2, v1, v5]).
+hamiltonianPath(graph, [v6, v4, v5, v1, v2, v3]).
+hamiltonianPath(graph, [v6, v4, v5, v1, v3, v2]).

package/examples/eyelang/output/hamming-code.pl

@@ -0,0 +1,6 @@
+syndrome(packet1, 5).
+errorBit(packet1, 5).
+correctedCodeword(packet1, [1, 0, 1, 1, 0, 1, 0]).
+decodedPayload(packet1, [1, 0, 1, 0]).
+status(packet1, single_bit_corrected).
+reason(packet1, "Hamming syndrome identifies the flipped bit position").

package/examples/eyelang/output/hanoi.pl

@@ -0,0 +1 @@
+answer(3, [[left, right], [left, center], [right, center], [left, right], [center, left], [center, right], [left, right]]).

package/examples/eyelang/output/heat-loss.pl

@@ -0,0 +1,5 @@
+type(wall1, conduction_heat_loss).
+temperatureDifference_K(wall1, 25.0).
+thermalResistance_K_W(wall1, 0.020833333333333332).
+heatLoss_W(wall1, 1200.0).
+status(wall1, high_heat_loss).

package/examples/eyelang/output/heron-theorem.pl

@@ -0,0 +1,4 @@
+semiperimeter(field_plot, 21).
+area(field_plot, 84.0).
+heronProduct(field_plot, 7056).
+status(field_plot, valid_survey_triangle).

package/examples/eyelang/output/ideal-gas-law.pl

@@ -0,0 +1,3 @@
+pressure_Pa(cell1, 100000.0).
+status(cell1, near_atmospheric).
+reason(cell1, "pressure is inside the one-atmosphere tolerance band").

package/examples/eyelang/output/illegitimate-reasoning.pl

@@ -0,0 +1,15 @@
+fallacy(arg_affirming_consequent, affirming_consequent).
+fallacy(arg_denying_antecedent, denying_antecedent).
+fallacy(arg_hasty_generalization, hasty_generalization).
+fallacy(arg_false_dilemma, false_dilemma).
+type(arg_affirming_consequent, illegitimate_reasoning).
+type(arg_denying_antecedent, illegitimate_reasoning).
+type(arg_hasty_generalization, illegitimate_reasoning).
+type(arg_false_dilemma, illegitimate_reasoning).
+conclusion(arg_affirming_consequent, rain).
+conclusion(arg_denying_antecedent, neg(door_opens)).
+conclusion(arg_hasty_generalization, all(crows, black)).
+conclusion(arg_false_dilemma, approve_now).
+sampleSize(arg_hasty_generalization, 3).
+requiredSampleSize(arg_hasty_generalization, 30).
+omittedAlternative(arg_false_dilemma, revise_proposal).

package/examples/eyelang/output/kaprekar.pl

@@ -0,0 +1,8 @@
+kaprekarSteps(3524, 3).
+kaprekarSteps(2111, 5).
+kaprekarSteps(9831, 7).
+kaprekarSteps(6174, 0).
+reachesConstant(kaprekar, 3524).
+reachesConstant(kaprekar, 2111).
+reachesConstant(kaprekar, 9831).
+reachesConstant(kaprekar, 6174).

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

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

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

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

package/examples/eyelang/output/list-collection.pl

@@ -0,0 +1,3 @@
+append(letters, [a, b, c]).
+head(letters, a).
+tail(letters, [b]).

package/examples/eyelang/output/lldm.pl

@@ -0,0 +1,6 @@
+type(meas47, lld_alarm).
+lld_left_length_cm(meas47, 21.548900464617255).
+lld_right_length_cm(meas47, 23.45713444515475).
+lld_discrepancy_cm(meas47, -1.9082339805374957).
+lld_threshold_cm(meas47, 1.25).
+lld_reason(meas47, "discrepancy below negative threshold").

package/examples/eyelang/output/manufacturing-quality-control.pl

@@ -0,0 +1,6 @@
+cpk(line7_shift_a, 0.6666666666666673).
+cpk(line8_shift_b, 1.6666666666666607).
+status(line8_shift_b, capable_process).
+status(line7_shift_a, needs_process_adjustment).
+reason(line8_shift_b, "Cpk meets the production capability threshold").
+reason(line7_shift_a, "Cpk is below the production capability threshold").

package/examples/eyelang/output/matrix.pl

@@ -0,0 +1,10 @@
+result(det3, determinant([[2, -1, 0], [-1, 2, -1], [0, -1, 2]], 4.0)).
+result(inv3, matrix_inversion([[2, -1, 0], [-1, 2, -1], [0, -1, 2]], [[0.74999999999999978, 0.5, 0.25], [0.5, 1.0000000000000004, 0.50000000000000022], [0.25, 0.50000000000000022, 0.75000000000000011]])).
+result(inv4, matrix_inversion([[18, 22, 54, 42], [22, 70, 86, 62], [54, 86, 174, 134], [42, 62, 134, 106]], [[2.5156250000000067, 0.48437500000000011, -1.2968749999999987, 0.35937499999999561], [0.48437500000000011, 0.14062499999999961, -0.32812499999999822, 0.14062499999999797], [-1.2968749999999987, -0.32812499999999822, 1.0156249999999925, -0.57812499999999201], [0.35937499999999561, 0.14062499999999797, -0.57812499999999201, 0.51562499999999278]])).
+result(invtri3, matrix_inv_triang([[2, 0, 0], [-1, 2, 0], [0, -1, 2]], [[0.5, 0, 0], [0.25, 0.5, 0], [0.125, 0.25, 0.5]])).
+result(mul_small, matrix_multiply([[[1, 2], [3, 4], [5, 6]], [[1, 1, 1], [1, 1, 1]]], [[3, 3, 3], [7, 7, 7], [11, 11, 11]])).
+result(mul_identity_check, matrix_multiply([[[18, 22, 54, 42], [22, 70, 86, 62], [54, 86, 174, 134], [42, 62, 134, 106]], [[2.515624999999984, 0.4843749999999933, -1.296874999999973, 0.3593749999999767], [0.4843749999999933, 0.1406249999999978, -0.3281249999999918, 0.1406249999999936], [-1.296874999999973, -0.3281249999999918, 1.015624999999971, -0.5781249999999781], [0.3593749999999767, 0.1406249999999936, -0.5781249999999781, 0.5156249999999853]]], [[1.0000000000000497, 5.3290705182007514e-15, 1.7763568394002505e-14, 4.4408920985006262e-15], [5.6843418860808015e-14, 1.0000000000000089, 2.8421709430404007e-14, 1.0658141036401503e-14], [1.7053025658242404e-13, 1.7763568394002505e-14, 1.0000000000000426, 3.907985046680551e-14], [8.5265128291212022e-14, 3.5527136788005009e-15, 7.1054273576010019e-14, 0.99999999999999467]])).
+result(sum_small, matrix_sum([[[1, 2], [3, 4], [5, 6]], [[1, 2], [3, 4], [5, 6]]], [[2, 4], [6, 8], [10, 12]])).
+result(chol3, cholesky_decomposition([[25, 15, -5], [15, 18, 0], [-5, 0, 11]], [[5.0, 0, 0], [3.0, 3.0, 0], [-1.0, 1.0, 3.0]])).
+result(chol4, cholesky_decomposition([[18, 22, 54, 42], [22, 70, 86, 62], [54, 86, 174, 134], [42, 62, 134, 106]], [[4.2426406871192848, 0, 0, 0], [5.1854497287013492, 6.5659052011974026, 0, 0], [12.727922061357857, 3.0460384954008553, 1.6497422479090704, 0], [9.8994949366116654, 1.6245538642137891, 1.8497110052313821, 1.3926212476455924]])).
+checksConsistentWithTreallaReference(matrix, true).

package/examples/eyelang/output/microgrid-dispatch.pl

@@ -0,0 +1,6 @@
+renewablePower_kW(campus_interval_17, 270.0).
+batteryDispatch_kW(campus_interval_17, 240.0).
+gridImport_kW(campus_interval_17, 110.0).
+reserveAfterDispatch_kW(campus_interval_17, 80.0).
+status(campus_interval_17, stable_dispatch).
+reason(campus_interval_17, "battery dispatch covers the deficit while preserving reserve and grid contract limits").

package/examples/eyelang/output/monkey-bananas.pl

@@ -0,0 +1,5 @@
+plan(monkeyBananas, [go(loc3), push(loc1), climb_on, grab]).
+plan(monkeyBananas, [go(loc1), go(loc3), push(loc1), climb_on, grab]).
+plan(monkeyBananas, [go(loc3), push(loc1), climb_on, grab, climb_off]).
+plan(monkeyBananas, [go(loc3), push(loc2), push(loc1), climb_on, grab]).
+solved(monkeyBananas, true).

package/examples/eyelang/output/n-queens.pl

@@ -0,0 +1,93 @@
+solution(nQueens8, [1, 5, 8, 6, 3, 7, 2, 4]).
+solution(nQueens8, [1, 6, 8, 3, 7, 4, 2, 5]).
+solution(nQueens8, [1, 7, 4, 6, 8, 2, 5, 3]).
+solution(nQueens8, [1, 7, 5, 8, 2, 4, 6, 3]).
+solution(nQueens8, [2, 4, 6, 8, 3, 1, 7, 5]).
+solution(nQueens8, [2, 5, 7, 1, 3, 8, 6, 4]).
+solution(nQueens8, [2, 5, 7, 4, 1, 8, 6, 3]).
+solution(nQueens8, [2, 6, 1, 7, 4, 8, 3, 5]).
+solution(nQueens8, [2, 6, 8, 3, 1, 4, 7, 5]).
+solution(nQueens8, [2, 7, 3, 6, 8, 5, 1, 4]).
+solution(nQueens8, [2, 7, 5, 8, 1, 4, 6, 3]).
+solution(nQueens8, [2, 8, 6, 1, 3, 5, 7, 4]).
+solution(nQueens8, [3, 1, 7, 5, 8, 2, 4, 6]).
+solution(nQueens8, [3, 5, 2, 8, 1, 7, 4, 6]).
+solution(nQueens8, [3, 5, 2, 8, 6, 4, 7, 1]).
+solution(nQueens8, [3, 5, 7, 1, 4, 2, 8, 6]).
+solution(nQueens8, [3, 5, 8, 4, 1, 7, 2, 6]).
+solution(nQueens8, [3, 6, 2, 5, 8, 1, 7, 4]).
+solution(nQueens8, [3, 6, 2, 7, 1, 4, 8, 5]).
+solution(nQueens8, [3, 6, 2, 7, 5, 1, 8, 4]).
+solution(nQueens8, [3, 6, 4, 1, 8, 5, 7, 2]).
+solution(nQueens8, [3, 6, 4, 2, 8, 5, 7, 1]).
+solution(nQueens8, [3, 6, 8, 1, 4, 7, 5, 2]).
+solution(nQueens8, [3, 6, 8, 1, 5, 7, 2, 4]).
+solution(nQueens8, [3, 6, 8, 2, 4, 1, 7, 5]).
+solution(nQueens8, [3, 7, 2, 8, 5, 1, 4, 6]).
+solution(nQueens8, [3, 7, 2, 8, 6, 4, 1, 5]).
+solution(nQueens8, [3, 8, 4, 7, 1, 6, 2, 5]).
+solution(nQueens8, [4, 1, 5, 8, 2, 7, 3, 6]).
+solution(nQueens8, [4, 1, 5, 8, 6, 3, 7, 2]).
+solution(nQueens8, [4, 2, 5, 8, 6, 1, 3, 7]).
+solution(nQueens8, [4, 2, 7, 3, 6, 8, 1, 5]).
+solution(nQueens8, [4, 2, 7, 3, 6, 8, 5, 1]).
+solution(nQueens8, [4, 2, 7, 5, 1, 8, 6, 3]).
+solution(nQueens8, [4, 2, 8, 5, 7, 1, 3, 6]).
+solution(nQueens8, [4, 2, 8, 6, 1, 3, 5, 7]).
+solution(nQueens8, [4, 6, 1, 5, 2, 8, 3, 7]).
+solution(nQueens8, [4, 6, 8, 2, 7, 1, 3, 5]).
+solution(nQueens8, [4, 6, 8, 3, 1, 7, 5, 2]).
+solution(nQueens8, [4, 7, 1, 8, 5, 2, 6, 3]).
+solution(nQueens8, [4, 7, 3, 8, 2, 5, 1, 6]).
+solution(nQueens8, [4, 7, 5, 2, 6, 1, 3, 8]).
+solution(nQueens8, [4, 7, 5, 3, 1, 6, 8, 2]).
+solution(nQueens8, [4, 8, 1, 3, 6, 2, 7, 5]).
+solution(nQueens8, [4, 8, 1, 5, 7, 2, 6, 3]).
+solution(nQueens8, [4, 8, 5, 3, 1, 7, 2, 6]).
+solution(nQueens8, [5, 1, 4, 6, 8, 2, 7, 3]).
+solution(nQueens8, [5, 1, 8, 4, 2, 7, 3, 6]).
+solution(nQueens8, [5, 1, 8, 6, 3, 7, 2, 4]).
+solution(nQueens8, [5, 2, 4, 6, 8, 3, 1, 7]).
+solution(nQueens8, [5, 2, 4, 7, 3, 8, 6, 1]).
+solution(nQueens8, [5, 2, 6, 1, 7, 4, 8, 3]).
+solution(nQueens8, [5, 2, 8, 1, 4, 7, 3, 6]).
+solution(nQueens8, [5, 3, 1, 6, 8, 2, 4, 7]).
+solution(nQueens8, [5, 3, 1, 7, 2, 8, 6, 4]).
+solution(nQueens8, [5, 3, 8, 4, 7, 1, 6, 2]).
+solution(nQueens8, [5, 7, 1, 3, 8, 6, 4, 2]).
+solution(nQueens8, [5, 7, 1, 4, 2, 8, 6, 3]).
+solution(nQueens8, [5, 7, 2, 4, 8, 1, 3, 6]).
+solution(nQueens8, [5, 7, 2, 6, 3, 1, 4, 8]).
+solution(nQueens8, [5, 7, 2, 6, 3, 1, 8, 4]).
+solution(nQueens8, [5, 7, 4, 1, 3, 8, 6, 2]).
+solution(nQueens8, [5, 8, 4, 1, 3, 6, 2, 7]).
+solution(nQueens8, [5, 8, 4, 1, 7, 2, 6, 3]).
+solution(nQueens8, [6, 1, 5, 2, 8, 3, 7, 4]).
+solution(nQueens8, [6, 2, 7, 1, 3, 5, 8, 4]).
+solution(nQueens8, [6, 2, 7, 1, 4, 8, 5, 3]).
+solution(nQueens8, [6, 3, 1, 7, 5, 8, 2, 4]).
+solution(nQueens8, [6, 3, 1, 8, 4, 2, 7, 5]).
+solution(nQueens8, [6, 3, 1, 8, 5, 2, 4, 7]).
+solution(nQueens8, [6, 3, 5, 7, 1, 4, 2, 8]).
+solution(nQueens8, [6, 3, 5, 8, 1, 4, 2, 7]).
+solution(nQueens8, [6, 3, 7, 2, 4, 8, 1, 5]).
+solution(nQueens8, [6, 3, 7, 2, 8, 5, 1, 4]).
+solution(nQueens8, [6, 3, 7, 4, 1, 8, 2, 5]).
+solution(nQueens8, [6, 4, 1, 5, 8, 2, 7, 3]).
+solution(nQueens8, [6, 4, 2, 8, 5, 7, 1, 3]).
+solution(nQueens8, [6, 4, 7, 1, 3, 5, 2, 8]).
+solution(nQueens8, [6, 4, 7, 1, 8, 2, 5, 3]).
+solution(nQueens8, [6, 8, 2, 4, 1, 7, 5, 3]).
+solution(nQueens8, [7, 1, 3, 8, 6, 4, 2, 5]).
+solution(nQueens8, [7, 2, 4, 1, 8, 5, 3, 6]).
+solution(nQueens8, [7, 2, 6, 3, 1, 4, 8, 5]).
+solution(nQueens8, [7, 3, 1, 6, 8, 5, 2, 4]).
+solution(nQueens8, [7, 3, 8, 2, 5, 1, 6, 4]).
+solution(nQueens8, [7, 4, 2, 5, 8, 1, 3, 6]).
+solution(nQueens8, [7, 4, 2, 8, 6, 1, 3, 5]).
+solution(nQueens8, [7, 5, 3, 1, 6, 8, 2, 4]).
+solution(nQueens8, [8, 2, 4, 1, 7, 5, 3, 6]).
+solution(nQueens8, [8, 2, 5, 3, 1, 7, 4, 6]).
+solution(nQueens8, [8, 3, 1, 6, 2, 5, 7, 4]).
+solution(nQueens8, [8, 4, 1, 3, 6, 2, 7, 5]).
+solved(nQueens8, true).

package/examples/eyelang/output/n3-builtins.n3

@@ -0,0 +1,6 @@
+rdf(iri("http://example.com/alice"), iri("http://example.com/total"), literal("5", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
+rdf(iri("http://example.com/alice"), iri("http://example.com/label"), literal("Alice total 5", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).
+rdf(iri("http://example.com/alice"), iri("http://example.com/status"), iri("http://example.com/passing")).
+rdf(iri("http://example.com/red"), iri("http://example.com/kind"), iri("http://example.com/colour")).
+rdf(iri("http://example.com/green"), iri("http://example.com/kind"), iri("http://example.com/colour")).
+rdf(iri("http://example.com/blue"), iri("http://example.com/kind"), iri("http://example.com/colour")).

package/examples/eyelang/output/network-sla.pl

@@ -0,0 +1,4 @@
+endToEndLatency_ms(edge_path, 47.0).
+slaLimit_ms(edge_path, 50.0).
+status(edge_path, sla_compliant).
+reason(edge_path, "path latency including jitter is below the SLA limit").

package/examples/eyelang/output/newton-raphson.pl

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

package/examples/eyelang/output/nixon-diamond.pl

@@ -0,0 +1,5 @@
+defaultSupports(nixon, pacifist).
+defaultSupports(nixon, hawk).
+conflict(nixon, conflict(pacifist, hawk)).
+conflict(nixon, conflict(hawk, pacifist)).
+status(nixon, conflicted_default_case).

package/examples/eyelang/output/odrl-dpv-healthcare-risk-ranked.pl

@@ -0,0 +1,42 @@
+score(riskH1, 100).
+score(riskH2, 100).
+score(riskH4, 70).
+policyGraph(agreementHC1, (type(policyHC1, odrl_Policy), odrl_permission(policyHC1, permResearchUse), odrl_permission(policyHC1, permShareWithPharma), odrl_permission(policyHC1, permAutomatedTriage), odrl_permission(policyHC1, permRetention10y), type(permResearchUse, odrl_Permission), odrl_assigner(permResearchUse, hospital), odrl_assignee(permResearchUse, researchUnit), odrl_action(permResearchUse, hl7ca_use), odrl_target(permResearchUse, healthRecordData), odrl_target(permResearchUse, genomicData), odrl_constraint(permResearchUse, cResearchPurpose), odrl_leftOperand(cResearchPurpose, odrl_purpose), odrl_rightOperandReference(cResearchPurpose, purposeHMB), clause(permResearchUse, clauseH1), type(permShareWithPharma, odrl_Permission), odrl_assigner(permShareWithPharma, hospital), odrl_assignee(permShareWithPharma, pharmaPartner), odrl_action(permShareWithPharma, hl7ca_disclose), odrl_target(permShareWithPharma, genomicData), odrl_constraint(permShareWithPharma, cSharePurpose), odrl_leftOperand(cSharePurpose, odrl_purpose), odrl_rightOperandReference(cSharePurpose, purposeHMB), clause(permShareWithPharma, clauseH2), type(permAutomatedTriage, odrl_Permission), odrl_assigner(permAutomatedTriage, hospital), odrl_assignee(permAutomatedTriage, clinicalAIService), odrl_action(permAutomatedTriage, hl7ca_use), odrl_target(permAutomatedTriage, healthRecordData), odrl_constraint(permAutomatedTriage, cTriagePurpose), odrl_leftOperand(cTriagePurpose, odrl_purpose), odrl_rightOperandReference(cTriagePurpose, purposeCC), odrl_duty(permAutomatedTriage, dutyHumanReview), odrl_action(dutyHumanReview, humanReview), odrl_constraint(dutyHumanReview, cTriageEncryption), odrl_leftOperand(cTriageEncryption, encryptionAtRest), odrl_rightOperand(cTriageEncryption, true), clause(permAutomatedTriage, clauseH3), type(permRetention10y, odrl_Permission), odrl_assigner(permRetention10y, hospital), odrl_assignee(permRetention10y, hospital), odrl_action(permRetention10y, hl7ca_collect), odrl_target(permRetention10y, healthRecordData), odrl_constraint(permRetention10y, cRetentionPurpose), odrl_leftOperand(cRetentionPurpose, odrl_purpose), odrl_rightOperandReference(cRetentionPurpose, purposeCC), odrl_constraint(permRetention10y, cRetentionDays), odrl_leftOperand(cRetentionDays, retentionDays), odrl_rightOperand(cRetentionDays, 3650), clause(permRetention10y, clauseH4))).
+dpv_hasRisk(processContextHC1, riskH1).
+dpv_hasRisk(processContextHC1, riskH2).
+dpv_hasRisk(processContextHC1, riskH4).
+type(riskH1, dpv_Risk).
+type(riskH2, dpv_Risk).
+type(riskH4, dpv_Risk).
+scoreRaw(riskH1, 120).
+scoreRaw(riskH2, 125).
+scoreRaw(riskH4, 70).
+dpv_hasRiskLevel(riskH1, risk_HighRisk).
+dpv_hasRiskLevel(riskH2, risk_HighRisk).
+dpv_hasRiskLevel(riskH4, risk_ModerateRisk).
+dpv_hasSeverity(riskH1, risk_HighSeverity).
+dpv_hasSeverity(riskH2, risk_HighSeverity).
+dpv_hasSeverity(riskH4, risk_ModerateSeverity).
+aboutClause(riskH1, clauseH1).
+aboutClause(riskH2, clauseH2).
+aboutClause(riskH4, clauseH4).
+violatesNeed(riskH1, need_ConsentForResearch).
+violatesNeed(riskH2, need_DeIdentifyBeforeSharing).
+violatesNeed(riskH4, need_RetentionLimit3y).
+dct_source(riskH1, permResearchUse).
+dct_source(riskH2, permShareWithPharma).
+dct_source(riskH4, permRetention10y).
+dct_description(riskH1, "Risk: health/genomic data may be used for research without explicit opt-in consent.").
+dct_description(riskH2, "Risk: genomic data may be shared with external pharma partners without a de-identification/pseudonymisation requirement.").
+dct_description(riskH4, "Risk: retention (3650 days) exceeds patient preference (1095 days).").
+reportKey(riskH1, 900).
+reportKey(riskH2, 900).
+reportKey(riskH4, 930).
+dpv_isMitigatedByMeasure(riskH1, mitigateConsent).
+dpv_isMitigatedByMeasure(riskH2, mitigateDeId).
+dpv_isMitigatedByMeasure(riskH4, mitigateRetention).
+suggestAddGraph(mitigateConsent, (odrl_constraint(permResearchUse, cExplicitConsent), odrl_leftOperand(cExplicitConsent, explicitConsent), odrl_rightOperand(cExplicitConsent, true))).
+suggestAddGraph(mitigateDeId, (odrl_constraint(permShareWithPharma, cDeIdentified), odrl_leftOperand(cDeIdentified, deIdentified), odrl_rightOperand(cDeIdentified, true), odrl_duty(permShareWithPharma, dutyDeIdentify), odrl_action(dutyDeIdentify, deIdentify))).
+suggestAddGraph(mitigateRetention, (odrl_constraint(permRetention10y, cRetentionLimit), odrl_leftOperand(cRetentionLimit, retentionDays), odrl_rightOperand(cRetentionLimit, 1095))).
+firstRisk(report, riskH1).
+retentionRiskScore(report, 70).

package/examples/eyelang/output/odrl-dpv-risk-ranked.pl

@@ -0,0 +1,120 @@
+score(risk1, 100).
+score(risk2, 85).
+score(risk3, 97).
+score(risk4, 70).
+dct_title(agreement1, "Example Agreement").
+dct_title(consumerExample, "Example consumer profile").
+dct_title(processContext1, "Service operation under Agreement1").
+dpv_hasRisk(processContext1, risk1).
+dpv_hasRisk(processContext1, risk2).
+dpv_hasRisk(processContext1, risk3).
+dpv_hasRisk(processContext1, risk4).
+type(risk1, dpv_Risk).
+type(risk2, dpv_Risk).
+type(risk3, dpv_Risk).
+type(risk4, dpv_Risk).
+type(risk1, risk_UnwantedDataDeletion).
+type(risk1, risk_DataUnavailable).
+type(risk1, risk_DataErasureError).
+type(risk1, risk_DataLoss).
+type(risk2, risk_PolicyRisk).
+type(risk2, risk_CustomerConfidenceLoss).
+type(risk3, risk_UnwantedDisclosureData).
+type(risk3, risk_CustomerConfidenceLoss).
+type(risk4, risk_PolicyRisk).
+type(risk4, risk_CustomerConfidenceLoss).
+type(src1, risk_RiskSource).
+type(src2, risk_RiskSource).
+type(src3, risk_RiskSource).
+type(src4, risk_RiskSource).
+type(src1, risk_LegalComplianceRisk).
+type(src2, risk_PolicyRisk).
+type(src3, risk_PolicyRisk).
+type(src4, risk_PolicyRisk).
+type(m11, dpv_RiskMitigationMeasure).
+type(m21, dpv_RiskMitigationMeasure).
+type(m12, dpv_RiskMitigationMeasure).
+type(m13, dpv_RiskMitigationMeasure).
+type(m14, dpv_RiskMitigationMeasure).
+firstRisk(report, risk1).
+before(riskRanking, pair(risk1, risk2)).
+before(riskRanking, pair(risk1, risk3)).
+before(riskRanking, pair(risk1, risk4)).
+before(riskRanking, pair(risk2, risk4)).
+before(riskRanking, pair(risk3, risk2)).
+before(riskRanking, pair(risk3, risk4)).
+dct_source(risk1, permDeleteAccount).
+dct_source(risk2, permChangeTerms).
+dct_source(risk3, permShareData).
+dct_source(risk4, prohibitExportData).
+dct_source(src1, permDeleteAccount).
+dct_source(src2, permChangeTerms).
+dct_source(src3, permShareData).
+dct_source(src4, prohibitExportData).
+risk_hasRiskSource(risk1, src1).
+risk_hasRiskSource(risk2, src2).
+risk_hasRiskSource(risk3, src3).
+risk_hasRiskSource(risk4, src4).
+dpv_hasConsequence(risk1, risk_DataLoss).
+dpv_hasConsequence(risk1, risk_DataUnavailable).
+dpv_hasConsequence(risk1, risk_CustomerConfidenceLoss).
+dpv_hasConsequence(risk2, risk_CustomerConfidenceLoss).
+dpv_hasConsequence(risk3, risk_CustomerConfidenceLoss).
+dpv_hasConsequence(risk4, risk_CustomerConfidenceLoss).
+dpv_hasImpact(risk1, risk_FinancialLoss).
+dpv_hasImpact(risk1, risk_NonMaterialDamage).
+dpv_hasImpact(risk2, risk_NonMaterialDamage).
+dpv_hasImpact(risk3, risk_NonMaterialDamage).
+dpv_hasImpact(risk3, risk_FinancialLoss).
+dpv_hasImpact(risk4, risk_NonMaterialDamage).
+aboutClause(risk1, clauseC1).
+aboutClause(risk2, clauseC2).
+aboutClause(risk3, clauseC3).
+aboutClause(risk4, clauseC4).
+violatesNeed(risk1, need_DataCannotBeRemoved).
+violatesNeed(risk2, need_ChangeOnlyWithPriorNotice).
+violatesNeed(risk3, need_NoSharingWithoutConsent).
+violatesNeed(risk4, need_DataPortability).
+scoreRaw(risk1, 110).
+scoreRaw(risk2, 85).
+scoreRaw(risk3, 97).
+scoreRaw(risk4, 70).
+dpv_hasSeverity(risk1, risk_HighSeverity).
+dpv_hasSeverity(risk2, risk_HighSeverity).
+dpv_hasSeverity(risk3, risk_HighSeverity).
+dpv_hasSeverity(risk4, risk_ModerateSeverity).
+dpv_hasRiskLevel(risk1, risk_HighRisk).
+dpv_hasRiskLevel(risk2, risk_HighRisk).
+dpv_hasRiskLevel(risk3, risk_HighRisk).
+dpv_hasRiskLevel(risk4, risk_ModerateRisk).
+dct_description(risk1, "Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C1: Provider may remove the user account (and associated data) at its discretion.").
+dct_description(risk2, "Risk: terms may change with notice (3 days) below consumer requirement (14 days). Clause C2: Provider may change terms by informing users at least 3 days in advance.").
+dct_description(risk3, "Risk: user data sharing is permitted without an explicit consent constraint. Clause C3: Provider may share user data with partners for business purposes.").
+dct_description(risk4, "Risk: portability is restricted because exporting user data is prohibited. Clause C4: Users are not permitted to export their data.").
+dct_description(m11, "Add a notice constraint (minimum noticeDays) before account removal.").
+dct_description(m21, "Add a duty to inform the consumer prior to account removal.").
+dct_description(m12, "Increase minimum noticeDays in the inform duty to meet the consumer requirement.").
+dct_description(m13, "Add an explicit consent constraint before data sharing.").
+dct_description(m14, "Add a permission allowing data export (or remove the prohibition) to support portability.").
+reportKey(risk1, key(900, "C1")).
+reportKey(risk2, key(915, "C2")).
+reportKey(risk3, key(903, "C3")).
+reportKey(risk4, key(930, "C4")).
+dpv_isMitigatedByMeasure(risk1, m11).
+dpv_isMitigatedByMeasure(risk1, m21).
+dpv_isMitigatedByMeasure(risk2, m12).
+dpv_isMitigatedByMeasure(risk3, m13).
+dpv_isMitigatedByMeasure(risk4, m14).
+dpv_mitigatesRisk(m11, risk1).
+dpv_mitigatesRisk(m21, risk1).
+dpv_mitigatesRisk(m12, risk2).
+dpv_mitigatesRisk(m13, risk3).
+dpv_mitigatesRisk(m14, risk4).
+clauseId(clauseC1, "C1").
+clauseId(clauseC2, "C2").
+clauseId(clauseC3, "C3").
+clauseId(clauseC4, "C4").
+text(clauseC1, "Provider may remove the user account (and associated data) at its discretion.").
+text(clauseC2, "Provider may change terms by informing users at least 3 days in advance.").
+text(clauseC3, "Provider may share user data with partners for business purposes.").
+text(clauseC4, "Users are not permitted to export their data.").

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

@@ -0,0 +1,7 @@
+transferSemiMajorAxis_km(mars_hohmann, 188768535.34999999).
+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).
+status(mars_hohmann, feasible_reference_transfer).
+reason(mars_hohmann, "total Hohmann transfer delta-v is within the mission budget").

package/examples/eyelang/output/path-discovery.pl

@@ -0,0 +1,3 @@
+airroute(discovered, "Ostend-Bruges International Airport -> Liège Airport -> Heraklion International Nikos Kazantzakis Airport -> Václav Havel Airport Prague").
+airroute(discovered, "Ostend-Bruges International Airport -> Liège Airport -> Diagoras Airport -> Václav Havel Airport Prague").
+airroute(discovered, "Ostend-Bruges International Airport -> Liège Airport -> Palma De Mallorca Airport -> Václav Havel Airport Prague").

package/examples/eyelang/output/peano-arithmetic.pl

@@ -0,0 +1,3 @@
+factorial(0, s(0)).
+factorial(s(0), s(0)).
+factorial(s(s(s(s(s(0))))), s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(0))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))).

package/examples/eyelang/output/peasant.pl

@@ -0,0 +1,10 @@
+prod([3, 0], 0).
+prod([5, 6], 30).
+prod([238, 13], 3094).
+prod([8367238, 27133], 227028268654).
+prod([62713345408367238, 40836723862713345], 2561007568948454773873964883391110).
+prod([4083672386271334562713345408367238, 4083672386271334562713345408367238], 16676380158395015918313370200581208707756668987398133546021071748644).
+pow([3, 0], 1).
+pow([5, 6], 15625).
+pow([238, 13], 7861409907565911395902147452928).
+pow([8367238, 2713], 9232045607212052006795246694645720931277949466279701628177907740283538142209103234039439973517187737529281630849057170752784305720492044921879310570197821189938111046880741611757099186209515996545574560595569398421819439327724593883790330554198464119958380253077594176476747486483990058232772330391614523765695590076933329094315903926160289597769818256424419293451613076627508324466360726612186400591843593021231178672747824182045603899165848423037855152265845482950837492362915381074102657811860380193315088111381992883369163984493249061979770577658980276182984413366453224501926276668558570391059133297007461733806379970178451177729443654591147548896171773534035466913353947716920292373556746770210709597354796556198245785294464841029427784489194700756195161952011832934270934818959887313446096063911307313403409406593074480469018845582204848718220812149409978732541417363909693033995650385298289888835192900522879993196481107895143038431062207845467671409292879939993495775794191338994049129251032889407078950814229876697652230493052574335511698335543098672124864569018630506760295111122506445140314839898755383719270725319655624324653729144440668885419886163313402113032552728510164639345415361410433532741555249023965973869142391370132857395337987963613790104142070052402177691750836796141362723112626981402690615399678911240733885693719987133461963485799194537978265131294945084051710190782912037523869473566324564067662402020127129653928235567374270957792629843988690452449502040513392238182577391145569545326772214717486136487306194746864658381436701646272673672612457633580843635990846893525988282282093466920839358262292698962588093070552224508091588014202322431888011997254541356185442670480336382675292780234442420998836454160687713951669966694067789082527623789540493325741322401179285307729734864003865620327018038144251278427904425993839963431858469683642579025539687658707527821874613626906565574468413670320414902322069802809289982509353199027263860384935123762033392474479252822920162146066431070995077991756163501940441486598169760977714217023603171643228693290613825091933153470402008614288027113249817571790573049280856169793563989538663092879420421180211097823999933496099083547524003457897046070188962227737811303557067887562539653015054200031581930142158758651682706407760565111566395197167436716778331449745461773213880175118958247071711120226977343115076634486056288862634416836057993090542460810615795180465257137099539487302977231252633410611087234713363193018194431064477385596193687914609860899819646154234541258374587766469746031309924563268050973709826678072635114137624052372074465835606867867641797613495101553851949062461284718976103071160859786521073486285824956537559335900453036172621923823281897437885918855447442508438811473571004532093737707368850492372158447435664386797009250629905181864516221477057654887607999031943119842220983502364425918535930932664096792924717485823463880563955006251963236229972069382372530859518664887435914735765392364477866917165545798262116641859167876216687936473067421260307308596961793501475146026893251578236059157662198964612144962622999033073992589639544861589580728141516172243800932285688023006999709470217245053378527780724182120910815070866561570949149512494544474202311521764652847613978356283086522899196049238234232353079532310352784234713348573837365057785082577737849218338308467006198602741702149614256721858207668616400361542981566121180010834914431005593156346680447089258659759642006714652445084021218621296680574425003383945892723537234404530084127417129328380262998091118233383126636734301103743003544023439491357785360765916514348826561168250634462186776327578612443050776385746602790785065565625074579032786456011384842603179920952372535766477972557986594260611648084254254973781435906194480015806158205216234419475859657349754201310444279980455201256867208871727394205195927703689583558400125728042058741958776175643909467804052305534511425258126703252211055068005363074326091132645600706591357200350625778365167382833103099508306870067751436708101863531971664207525023545990896709941518325240079664478141353979810713442971539906056744019857418275613892197653313375382754389249315791071450892281011882774320476855407219852116307687771792421911542465087937079448650771626507721547711336762848560509944336367174727959905725047971088214697176796039849687939168565905716614497026641794708224515081332518836736718734272344833370995389033846468551411646577526869132060204040248528016581187098895732644486362322344896226958305925356505796032186058898302694907839960498775089055174750947819914995480730235238347194297192231152299975869624481607192869316127058997700595028994126448504702063114456502903007909266030457673675252210035614599224309622846991456440619848418950320835523122242548983717186702818931632480126600964438729449330425789858190471525892456712359896837117779158807190964727353763206579340379538739340802368199112382926337902711252178657832880738147015729833968615655206820274165657254653390581247258635568333632426810478450420392964072477715425100724376075302865873003496192079652858832726646877919495221020140924637885038196880004845448948760985845164022914491368239592214952043381395434656064547651610637595803306562912531014781573817389722172671719163835359730465784413571435031796035901679842830750408489614367744052739839440947633806376868192573379596445350919637463198732129143563288395253217620348191123621886805143501200536407681391600424097869484448481917153534987888930165734468156327323080141369378990449647609640502564317864413184425795276685084668951548107595882065146877803271684850374309412028294371208572428286827962622658906157579748000820715989372369572434065280362195582281893576951300643504694469969140655738124415880837950788925726406198844131042956608278997619519468516612998238813876435268822514759867836497176632617348780011906302523927924878522899168890212776448145530620418479470113951173371674914615780662301657139236088162600380361306783481603939408842255609933093699389300902560129141423126983893804814013786759932396874638842922139772597177764994343155837800181835648736504589347951342890430132604158202832913017130110276462823182377110373232860779188830226082483373271262070644422794293142839134156243621695491894526749882266106569612334133451641152245411627537901959693282771936966371603154063273751806507963066779141416146179788392778544181271524425809348668223878748380751676686842073539448509706568361017798144420108391278161685517117042692159852119705266946435179666704282725679953329003411496321034542496237598892609036723708215903254351646595992387434094106029974453502635304828550195988020334109848829338936059421457602785403605738695731413192664698795339910723770359104783338396650713562930237165713352852933031364201490836291652695840324383358851345947200861247494781634271602663238185226011528457766966757472328207393117660439768743275520780457354963314402783137581887151714302675427144872457135294959074989839362823280658438307245300024005198496934860891625815588262458462412036777167305084084441937586905199484726977287932935290016316496797364174018606441229120520578833390869277507092449881231708000689958250584468393257236959660603929861031385644907266926646627141645198872774771045880316984592752093208323212724685977968940408644986807835531323622606632004554785437942980330235986226959685485513753147267037636564135073751858213062127337573752625245934898155228194585723654879581467855135204200422740585301078730492966003390522542271744301554392235985282014957623541515202775076289354244057493736657439694929667618560916049568160869306184308987905818394367132458603406310128086069384240734722256488469370368464792081841884558991639164135499845403833551711948956689171438665043328866440505241104741712762062396496344129747898994931659989791470078669318601495080462518413591906969554298443373487025364697391161131507149223029431293737863281210665185481556491149286177497436169458736758568306643586698817958994173061773761826362940194776234330718231450825931969422078146817997485554458510156731403606078336779183413459099438517316651455863716144285822855365655253272340099182509640728400186182180386347540063563620327603569440409652598157127675204412261676855766391638740827818278825395877404093667464202668228286567520662217591282398964724397579102837139978437336480209987586832077896507438720640945341599374231857638645400259668646520831792981033802824467670509078225891396339621538125130754036100825685520007669511330457576183419809140675426736238536148428774372977687493453602292557291553360333291744784377227615036386890766859291167320554532596612430168498152052042760513780975410234536969871199857108220510060279257221963943284492100771660996786169402084094588755519294969504728086903114208096243679815184506455979783966809280469534326955292349607481693325330169048586011253515820995296292015824019421948397731055746966569540669462124766972266046631445298132087740309795367888437084370655348433881077712541951112605341145751568496665195320424043217718250182246013436733815092223288740027737618507093474925387448386269433213468265113693267120840397561272881509219164454955353542073756267041510311999195846457170275010632988113652089113680350385255749579636027461979755116384360391898332125732109221255895726565300634189768944611805272868825608946791566917640854339549429136796841935431631646639673253333111903804505781240621228997045113471677126161987864042165853569298815799264217175249477055241694927185500465814697418373783731711285421398206834571270519870455314193073694038548628714045818896559566352184432393309805210033129551525077029125803923233052529137897512135780750026335773328310023485988784267840304078124650554950463702922449598155949451847174289306175282261600985847050667740150832615907898149210612742055271697654222013473892765727373945974666224878494485300169886761791972431144989307312682159507593525880949223538375003197260168096561455302129228184524671480842058343603942948191475565356131529230189018183171499240131846463217264963531315560760264267960465817683692987954259172163904027575258250080987047195626487889115545984268054509707240807225016859433320402964897231085684514639471476669042878997617840144863047152058655619730522819779528371769672066077368094455294510912530848633599242236832402399826059135561269578411778566840843214006781963673638281315740515861933414690145203058081944772795887541137725796674303449007453909472694610701523305037225556759795716604225960534825551177082491345694180971182693230986719589257554495426032757124605606187476556307486975264449346744722403313295393641574099412009513010672238754222576333273155084845351650958207783871170754198705546174714151203793009475890888853429819858387206790156222412664400830353275548391817864679747022363704903761460537131337660340746198535949147835260181475464507898693321594591327311144444369597587552907247737666841685551185235338321990609666777716727170387123282113156402471327293272454658490900956637104277503284060459335612888018825476564054845877744286808999172445545611628519950147127154046043674028249275783327071274193529816176429506935032311650718610092085875443903280595312660495403842249133031446191562483390936000195289077949592663940210833456822255202277991786553760300836853031815529659401901682556495047804839898973475729887010071174515103660930807024738046893913114724575300298790979978352282963948435527839090683625060184386302485712216293158126264228028910505983203295811751635907557577430370928280072081835631632920614539375103209383733627115617105566340456417118569202108888258916280303936317567655261354860126775463060075541542627676783292446532102582915716172077428949920437746319661944155887256483313190408938846939945331502042591525882663421149367201043585575214354388196521661536471912889850723298503941165196908683901209242053731162464346994917740744139614413723003309738319947990962469167737045204155392611193525521425426016450080242335234066883156448431793163579581428292130911977501010533562700359870297222321520499810781988980427863716359895578528332458732096321894119396238729268860306407882030869109838579260751323260166783964222237783482594723108387089874437627419730642129510692763999550658852752260497693990106358537481168577603762422120894395163341979318001231893148596612122448800472364152360782513637632253256588301482205436462594601830324132211150526625025075205452365790444690491557602002814592445745673174732487402525217996052886641201949036510781238243458523456625477352280267127722245593841203920715608323005958564673704721302531512848964648789339279014635067502188129046021721945882392848492073572882374425758855575190298322349161601942841365242151889703701205865254072007466299704843951887406321996346219991922008918546479651301742580820847583404594451294192273374699760358568985513379415080946845864890477469320128948450385367986463269802991107368620485808926816715422223930689893987576410996377933428149868310379903492271047854169639045038599531763247350938319646344948157859494370816845079293102288575576188229091052330311564100250168710473469012692368361328988116289106921618682257179466649483706380881878014992970223154301585574993624561902404107869064053698016031255189937791438093828315135648995872129904042268400562113284844327854575988206730113481074073819245784134353681327577931922241812952186967974468425725410408007655976849188205971433308713217116821812283201782298628506465209361867971229280777230032674683455757737234795947205328515416099216126062764224431570469504357900045054784028213379557174062980337049225937948617432346751391068157626753581575862697096359938497232945925377863030002392452878273987998001679182131017736083672935631714166745625749789915661189743239934524515609803389418647452112156392316786914853242526675002733869812239552632861187470506140513550690740652682308035915412580501160394839857630652114528152980759653553767053560529836722177296241210230820340818517060573617218530940789305753492627545740585169103421499266888095682329356747509589725051040624688433434138027942555463572603089853184586466657684901478533411603490475460182157426864388557475280018810050405773405284304845195354685540824855390079342126605434777429339598101562900357538501668057044597732947870477656967256437179464367324885279934350255026655332693671341415555222136497930287314793876856094608702531970136965327688584221888939974908109036632758724007972252068428868882496292332342265729456027882657309962092603092817694564562799969190597522832497169741515133378064755633436657931757108842040683811401568832941770609803400717956272567431981923722069188461891542285750307204904205204414534133785627660992081008607377652413199453771213687144439399357965275974539439729024029923364299977081951045588934824272589840384237051965927135966346742605831797076960724519840989469632137752625019956398379858048442741065819650839225477029639404739080700848378668024211472558587104406377105165234406235655896915285098449328423987207371129003246605341959023555788925246834308178128511779072902188655543159852244614580673994047932199092039581951500050042209914496648719140313411424658305091397945968029374793145391827456995913497817493208695899986437060186653504745368970106019243853008256171595987541471164141131765628658340521964084670003467509829797830873372254532710791068666101602921237251076342015595763098308359413073050761536949465266193220477631636129085931950110086794879343925310678333950796405991644884566758341305442899837240339816537573053728589644455509243741168558693421968846045016026576756310231469702455949817287094552275168085555991703097743274053058986635181606036056941045341364481954941338841321463898224976675055210251281115745120511247800209782900796271700165710725353538799726041022603363855091476472472584794695043164671428124956251880247702022593515077402393380101122578294371022042538901051648450183653581797852707782706053991197443174313613798201697137431862909174710977762208616264343601946195795533467556520982795644656805390031425064136707768124137598685756109743909131570570625237827187899815223047624583946948704930436135987496683336383905173035135092991586549655150636295066112227452863013464469246372204722659087694886036877930141495847960368310337594056222729549115599626742144816617554216853506441922474866086400772046001767381807059455608634336194673557511943163416412932537145606213869113397725295956094899357905022083036578844548691919819194084265323512068227158917151576058650700959663928454622927704229278946151328403516655776563626695274064109540763766529847398733749130232173007794186235615933534153794911087504938425864784972002146646376889615055946215955430673729205426023219974269024391413146677467875540368403104385904883965416968221149377679051114905218443586131302536287634772472335280384205713654950713553406925266316508192499868529781311094253634584832514624674760265552984465233516234175313286015477141188438629539171582456376661212689012044665076206925086776150572857684631540669581299917360154178278343422943038298950897341274826595152935691846511758269411890996528390343302452602342273324817900647081421231101597684576113526942207533306224207713154444515779137696713976838894825989985045601291279990921216976118301132045844199635180267794798961815961564777076198912930637484831178846059676415122815265998785179998511147672916641430373708027322847542474922324773136505243234683544277823550837588695028434490229391566031712040113496013017139016182929253609799607296768923108053225283314856415804581537366769520544554858176009456915283566484339276992576228490292183439180209653842930937712475373726903054916886368160347935539828396847834637597635732592578896703600708443821672942396368888197804253342683881577369460648185754807570553026032306461882051924328067921155672392352776429486447417812049905988354935979287938354498050980178898454612634297480410019771423114771799337790074439694078154311051591007362971127515461161513978337302646565055933088649199441896577538606889090972266492412029483856435200741249268589843748997840321708130999210196782674992883798060672385292747263195983610957820412510503741035770773741007849440583251815137511130163803292321126272676509546286067892939190782352342295023338594623143407833243240877140958037336091157366728593341355339980514411104664672883375438193953880661432744764665482407644500717175205659369888335431044744424104859129248895994067991101858383256657024416739404343121823561227714684788372714965963238306138949221250862728496353526572282722656161290216632774117672205113189055147421681029898962453381597132514058906911135757112480673841607490058723637572175910618991844724659518152552228063046646183576521767332477560746893369412649765846639943581405674445617241157425525948915925607413819322279297752781654925328617544641010595728087334395065943588258730783733293378439767792368150857990012928).

package/examples/eyelang/output/pendulum-period.pl

@@ -0,0 +1,4 @@
+period_s(pendulum1, 2.0).
+periodError_s(pendulum1, 0.0).
+status(pendulum1, within_period_tolerance).
+reason(pendulum1, "small-angle period matches the two-second target").

package/examples/eyelang/output/polynomial.pl

@@ -0,0 +1,14 @@
+root(real_quartic, [1, 0]).
+root(real_quartic, [2, 0]).
+root(real_quartic, [3, 0]).
+root(real_quartic, [4, 0]).
+root(complex_quartic, [0, 1]).
+root(complex_quartic, [1, 1]).
+root(complex_quartic, [3, 2]).
+root(complex_quartic, [5, 1]).
+reconstructedPolynomial(real_quartic, [[1, 0], [-10, 0], [35, 0], [-50, 0], [24, 0]]).
+reconstructedPolynomial(complex_quartic, [[1, 0], [-9, -5], [14, 33], [24, -44], [-26, 0]]).
+reconstructionMatches(real_quartic, true).
+reconstructionMatches(complex_quartic, true).
+allRootsVerified(real_quartic, true).
+allRootsVerified(complex_quartic, true).

package/examples/eyelang/output/project-portfolio-optimization.pl

@@ -0,0 +1,6 @@
+bestPortfolio(portfolio2026, result(137, 75, 28, [solar, hvac, training, quality, recycling, cloud, security])).
+lowRiskTarget(portfolio2026, result(126, 74, 23, [solar, battery, hvac, training, quality, cloud])).
+feasibleCount(portfolio2026, 1390).
+projectCount(portfolio2026, 12).
+totalAvailableValue(portfolio2026, 268).
+note(portfolio2026, "aggregate builtins combine with pruning and memoization to avoid sorted candidate bags").

package/examples/eyelang/output/proof-contrapositive.pl

@@ -0,0 +1,3 @@
+refutes(proof1, raining).
+method(proof1, contrapositive).
+reason(proof1, "if rain implies wet ground and the ground is not wet, then it is not raining").