eyelang 0.1.0

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

@@ -0,0 +1,9 @@
+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/output/gd-step-certified.pl

@@ -0,0 +1,79 @@
+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/output/gdpr-compliance.pl

@@ -0,0 +1,6 @@
+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/output/good-cobbler.pl

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

package/examples/output/gps.pl

@@ -0,0 +1,21 @@
+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/output/graph-reachability.pl

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

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

@@ -0,0 +1 @@
+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/output/greatest-lower-bound-uniqueness.pl

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

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

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

package/examples/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/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/output/hanoi.pl

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

package/examples/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/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/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/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/output/knowledge-engineering-alignment-flow.pl

@@ -0,0 +1,17 @@
+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/output/law-of-cosines.pl

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

package/examples/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/output/list-collection.pl

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

package/examples/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/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/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/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/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/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/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/output/observability-log-correlation.pl

@@ -0,0 +1,28 @@
+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/output/odrl-dpv-fpv-trust-flow.pl

@@ -0,0 +1,9 @@
+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/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/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/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/output/path-discovery.pl

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