eyeling 1.34.5 → 1.34.6

package/examples/eyelang/output/fundamental-theorem-arithmetic.pl

@@ -1,9 +0,0 @@
-product(case, 202692987).
-n(case, 202692987).
-factorsSmallest(case, [3, 3, 7, 829, 3881]).
-factorsLargest(case, [3881, 829, 7, 3, 3]).
-expectedFactorsMatched(case, true).
-productReconstructsInput(case, true).
-distinctPrimeCount(case, 4).
-smallestPrimeFactor(case, 3).
-largestPrimeFactor(case, 3881).

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

@@ -1,79 +0,0 @@
-width(0, 2.0).
-width(1, 2.7999999999999998).
-width(2, 3.9199999999999999).
-width(3, 5.4879999999999995).
-width(4, 7.6831999999999994).
-width(5, 10.75648).
-width(6, 15.059072).
-width(7, 21.082700800000001).
-width(8, 29.51578112).
-width(9, 41.322093568).
-width(10, 57.850930995200002).
-width(result, width(0, 2.0)).
-width(result, width(1, 2.7999999999999998)).
-width(result, width(2, 3.9199999999999999)).
-width(result, width(3, 5.4879999999999995)).
-width(result, width(4, 7.6831999999999994)).
-width(result, width(5, 10.75648)).
-width(result, width(6, 15.059072)).
-width(result, width(7, 21.082700800000001)).
-width(result, width(8, 29.51578112)).
-width(result, width(9, 41.322093568)).
-width(result, width(10, 57.850930995200002)).
-eta(result, 0.20000000000000001).
-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(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(8, -13.75789056, 15.75789056)).
-xBounds(result, bounds(9, -19.661046784, 21.661046784)).
-xBounds(result, bounds(10, -27.925465497600001, 29.925465497600001)).
-midpoint(result, midpoint(0, 1.0, 1.0)).
-midpoint(result, midpoint(1, 1.0, 1.3999999999999999)).
-midpoint(result, midpoint(2, 1.0, 1.96)).
-midpoint(result, midpoint(3, 0.99999999999999989, 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(8, 1.0, 14.75789056)).
-midpoint(result, midpoint(9, 1.0, 20.661046784)).
-midpoint(result, midpoint(10, 1.0, 28.925465497600001)).
-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(3, -5.4879999999999995, 5.4879999999999995)).
-gradientBounds(result, gradient(4, -7.6831999999999994, 7.6831999999999994)).
-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(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)).
-stepBounds(result, step(4, -1.53664, 1.53664)).
-stepBounds(result, step(5, -2.1512959999999999, 2.1512959999999999)).
-stepBounds(result, step(6, -3.0118144000000004, 3.0118144000000004)).
-stepBounds(result, step(7, -4.2165401600000001, 4.2165401600000001)).
-stepBounds(result, step(8, -5.903156224, 5.903156224)).
-stepBounds(result, step(9, -8.2644187135999996, 8.2644187135999996)).
-stepBounds(result, step(10, -11.570186199040002, 11.570186199040002)).
-objectiveBounds(result, f(0, 0.0, 1.0)).
-objectiveBounds(result, f(1, 0.0, 1.9599999999999997)).
-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(7, 0.0, 111.12006825558018)).
-objectiveBounds(result, f(8, 0.0, 217.79533378093711)).
-objectiveBounds(result, f(9, 0.0, 426.87885421063675)).
-objectiveBounds(result, f(10, 0.0, 836.68255425284804)).

package/examples/eyelang/output/gdpr-compliance.pl

@@ -1,6 +0,0 @@
-status(case_alpha, gdpr_compliant).
-status(case_beta, gdpr_noncompliant).
-reason(case_beta, missing_legal_basis).
-reason(case_beta, not_minimized).
-reason(case_beta, missing_access_logging).
-reason(case_beta, transfer_without_adequacy).

package/examples/eyelang/output/good-cobbler.pl

@@ -1 +0,0 @@
-is(test, is(joe, good(cobbler))).

package/examples/eyelang/output/gps.pl

@@ -1,21 +0,0 @@
-outcome(decision, "Take the direct route via Brugge.").
-recommendedRoute(decision, routeDirect).
-statement(check, c1, true).
-statement(check, c2, true).
-statement(check, c3, true).
-statement(check, c4, true).
-statement(check, c5, true).
-label(routeDirect, "Gent -> Brugge -> Oostende").
-label(routeViaKortrijk, "Gent -> Kortrijk -> Brugge -> Oostende").
-actionSequence(routeDirect, [drive_gent_brugge, drive_brugge_oostende]).
-actionSequence(routeViaKortrijk, [drive_gent_kortrijk, drive_kortrijk_brugge, drive_brugge_oostende]).
-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)).
-comparison(report, dominates(routeDirect, routeViaKortrijk)).

package/examples/eyelang/output/graph-reachability.pl

@@ -1,3 +0,0 @@
-reachable(reachability_case, path(a, f)).
-reachable(reachability_case, path(c, g)).
-not_reachable(reachability_case, path(b, e)).

package/examples/eyelang/output/gray-code-counter.pl

@@ -1 +0,0 @@
-isgcc([[1, 1, 1, 1, 1, 1, 1, 1, 1], [0, 0, 0]], [[0, 0, 1], [0, 1, 1], [0, 1, 0], [1, 1, 0], [1, 1, 1], [1, 0, 1], [1, 0, 0], [0, 0, 0], [0, 0, 1]]).

package/examples/eyelang/output/greatest-lower-bound-uniqueness.pl

@@ -1,2 +0,0 @@
-sameGreatestLowerBound(a, b, g1, g2).
-sameGreatestLowerBound(a, b, g2, g1).

package/examples/eyelang/output/group-inverse-uniqueness.pl

@@ -1,2 +0,0 @@
-sameInverse(x, i, j).
-sameInverse(x, j, i).

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

@@ -1,121 +0,0 @@
-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

@@ -1,6 +0,0 @@
-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

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

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

@@ -1,5 +0,0 @@
-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

@@ -1,4 +0,0 @@
-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

@@ -1,3 +0,0 @@
-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

@@ -1,15 +0,0 @@
-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/knowledge-engineering-alignment-flow.pl

@@ -1,17 +0,0 @@
-target_fact(msg1, sosa_madeBySensor, probe7).
-target_fact(msg1, sosa_resultTime, "2026-06-17T12:34:56Z").
-target_fact(msg1, sosa_hasSimpleResult, 18.6).
-target_fact(msg1, fpv_hasFlowStep, ingest_step).
-target_fact(msg1, sosa_hasFeatureOfInterest, platform_b).
-runtime_rule(observed_by, copy_to_target).
-runtime_rule(observed_at, copy_to_target).
-runtime_rule(temperature_celsius, copy_to_target).
-runtime_rule(in_flow, copy_to_target).
-runtime_rule(observed_feature, copy_to_target).
-target_predicate(observed_by, sosa_madeBySensor).
-target_predicate(observed_at, sosa_resultTime).
-target_predicate(temperature_celsius, sosa_hasSimpleResult).
-target_predicate(in_flow, fpv_hasFlowStep).
-target_predicate(observed_feature, sosa_hasFeatureOfInterest).
-flow_emits(ingest_step, msg1).
-trusted_by(ingest_step, probe7).

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

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

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

@@ -1,5 +0,0 @@
-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

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

package/examples/eyelang/output/lldm.pl

@@ -1,6 +0,0 @@
-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

@@ -1,6 +0,0 @@
-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/microgrid-dispatch.pl

@@ -1,6 +0,0 @@
-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

@@ -1,5 +0,0 @@
-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/network-sla.pl

@@ -1,4 +0,0 @@
-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

@@ -1,3 +0,0 @@
-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

@@ -1,5 +0,0 @@
-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/observability-log-correlation.pl

@@ -1,28 +0,0 @@
-captured_field(l1, ts, "2026-06-18T10:00:00Z").
-captured_field(l1, level, "warn").
-captured_field(l1, event, "login_failed").
-captured_field(l1, user, "alice").
-captured_field(l1, ip, "203.0.113.9").
-captured_field(l1, trace_id, "4bf92f3577b34da6a3ce929d0e0e4736").
-captured_field(l1, span_id, "00f067aa0ba902b7").
-captured_field(l1, flags, "01").
-captured_field(l2, ts, "2026-06-18T10:00:03Z").
-captured_field(l2, level, "error").
-captured_field(l2, event, "payment_denied").
-captured_field(l2, user, "alice").
-captured_field(l2, ip, "203.0.113.9").
-captured_field(l2, trace_id, "4bf92f3577b34da6a3ce929d0e0e4736").
-captured_field(l2, span_id, "aaf067aa0ba90000").
-captured_field(l2, flags, "01").
-captured_field(l3, ts, "2026-06-18T10:01:12Z").
-captured_field(l3, level, "info").
-captured_field(l3, event, "login_success").
-captured_field(l3, user, "bob").
-captured_field(l3, ip, "198.51.100.4").
-captured_field(l3, trace_id, "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa").
-captured_field(l3, span_id, "bbbbbbbbbbbbbbbb").
-captured_field(l3, flags, "01").
-parsed_event(l1, "login_failed", "alice", "203.0.113.9", "4bf92f3577b34da6a3ce929d0e0e4736").
-parsed_event(l2, "payment_denied", "alice", "203.0.113.9", "4bf92f3577b34da6a3ce929d0e0e4736").
-parsed_event(l3, "login_success", "bob", "198.51.100.4", "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa").
-trace_alert("alice", "4bf92f3577b34da6a3ce929d0e0e4736", "203.0.113.9").

package/examples/eyelang/output/odrl-dpv-fpv-trust-flow.pl

@@ -1,9 +0,0 @@
-decision(flow_care, fpv_permit).
-decision(flow_clinic, fpv_review).
-decision(flow_ads, fpv_deny).
-confidence(flow_care, 0.92).
-confidence(flow_clinic, 0.63).
-status(flow_care, fpv_executable_flow).
-status(flow_ads, fpv_blocked_flow).
-risk(flow_clinic, risk_trustworthiness_risk).
-risk(flow_ads, risk_unwanted_disclosure_data).

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

@@ -1,42 +0,0 @@
-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

@@ -1,120 +0,0 @@
-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

@@ -1,7 +0,0 @@
-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

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

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

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