eyeling 1.32.1 → 1.33.0

package/examples/eyelang/output/combinatorics-findall-sort.pl

@@ -0,0 +1,2 @@
+combinations(combinations_5_choose_3, [[1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 5], [2, 3, 4], [2, 3, 5], [2, 4, 5], [3, 4, 5]]).
+count(combinations_5_choose_3, 10).

package/examples/eyelang/output/competitive-enzyme-kinetics.pl

@@ -0,0 +1,6 @@
+effectiveKm_uM(assay1, 90.0).
+uninhibitedRate_uM_s(assay1, 75.0).
+inhibitedRate_uM_s(assay1, 42.857142857142854).
+inhibitionFraction(assay1, 0.4285714285714286).
+status(assay1, significant_inhibition).
+reason(assay1, "competitive inhibitor raises effective Km and lowers reaction rate").

package/examples/eyelang/output/complex-matrix-stability.pl

@@ -0,0 +1,5 @@
+trace(controller_loop, -1.2).
+determinant(controller_loop, 0.82999999999999996).
+discriminant(controller_loop, -1.8799999999999999).
+eigenShape(controller_loop, complex_conjugate_pair).
+status(controller_loop, asymptotically_stable).

package/examples/eyelang/output/complex.pl

@@ -0,0 +1 @@
+is(test, (complex_exponentiation(input(exponentiation, [-1, 0], [0.5, 0]), [6.123233995736766e-17, 1.0]), complex_exponentiation(input(exponentiation, [2.718281828459045, 0], [0, 3.141592653589793]), [-1.0, 1.2246467991473532e-16]), complex_exponentiation(input(exponentiation, [0, 1], [0, 1]), [0.20787957635076193, 0.0]), complex_exponentiation(input(exponentiation, [2.718281828459045, 0], [-1.57079632679, 0]), [0.20787957635177984, 0.0]), complex_asin(input(asin, [2, 0]), [1.5707963267948966, 1.3169578969248166]), complex_acos(input(acos, [2, 0]), [0.0, -1.3169578969248166]))).

package/examples/eyelang/output/composition-of-injective-functions-is-injective.pl

@@ -0,0 +1,2 @@
+sameInputByCompositeInjectivity(h, a, b).
+sameInputByCompositeInjectivity(h, b, a).

package/examples/eyelang/output/context-association.pl

@@ -0,0 +1,3 @@
+dataGraph(association, skolem_g0).
+signatureGraph(association, skolem_g1).
+metadataGraph(association, g3).

package/examples/eyelang/output/control-system.pl

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

package/examples/eyelang/output/cryptarithmetic-send-more-money.pl

@@ -0,0 +1,6 @@
+status(send_more_money, solved).
+status(donald_gerald_robert, solved).
+assignment(send_more_money, solution(9, 5, 6, 7, 1, 0, 8, 2)).
+assignment(donald_gerald_robert, solution(5, 2, 6, 4, 8, 1, 9, 7, 3, 0)).
+equation(send_more_money, plus(9567, 1085, 10652)).
+equation(donald_gerald_robert, plus(526485, 197485, 723970)).

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

@@ -0,0 +1,16 @@
+path(a, b).
+path(b, c).
+path(c, d).
+path(d, a).
+path(a, c).
+path(a, d).
+path(a, a).
+path(b, d).
+path(b, a).
+path(b, b).
+path(c, a).
+path(c, b).
+path(c, c).
+path(d, b).
+path(d, c).
+path(d, d).

package/examples/eyelang/output/d3-group.pl

@@ -0,0 +1,2 @@
+subgroups(d3_group, [[identity], [identity, reflection_a], [identity, reflection_a, reflection_b, reflection_c, rotation_120, rotation_240], [identity, reflection_b], [identity, reflection_c], [identity, rotation_120, rotation_240]]).
+subgroupCount(d3_group, 6).

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

@@ -0,0 +1,13 @@
+status(early_lactation, negative_energy_balance).
+status(grazing, negative_energy_balance).
+status(mid_lactation, near_neutral_energy_balance).
+status(late_lactation, positive_energy_balance).
+energyBalance_Mcal(early_lactation, -101.19999999999999).
+energyBalance_Mcal(mid_lactation, 0.19999999999998863).
+energyBalance_Mcal(late_lactation, 41.099999999999994).
+energyBalance_Mcal(grazing, -11.399999999999991).
+rationSupportedMilk_kg(early_lactation, 17.760000000000002).
+rationSupportedMilk_kg(mid_lactation, 24.039999999999999).
+rationSupportedMilk_kg(late_lactation, 24.219999999999999).
+rationSupportedMilk_kg(grazing, 15.719999999999999).
+strongestDeficit(dairy_energy_balance, early_lactation).

package/examples/eyelang/output/data-negotiation.pl

@@ -0,0 +1 @@
+negotiate(agent1, [agent2, data4]).

package/examples/eyelang/output/deep-taxonomy-10.pl

@@ -0,0 +1,16 @@
+is(test, true).
+arc(check1, "C1 OK - the starting classification n0 is present.").
+arc(check2, "C2 OK - the first expansion produced n1 together with side labels i1 and j1.").
+arc(check3, "C3 OK - the chain reaches the midpoint n5 and still carries both side-label branches.").
+arc(check4, "C4 OK - the final taxonomy step from n9 to n10 was completed.").
+arc(check5, "C5 OK - once n10 is reached, the terminal class a2 is derived.").
+arc(check6, "C6 OK - the success flag is raised only after the terminal class a2 is present.").
+answer(report, "The test succeeds: starting from one individual classified as n0, the rules eventually classify it as n10 and then as a2.").
+reason(report, "The adjacent rules mirror the Eyeling N3 deep-taxonomy-10 chain. Redundant checkpoint rules are included only as proof accelerators: each shortcut is entailed by the adjacent chain, and once/1 prevents backtracking into the long adjacent-only proof after a check has succeeded.").
+checkPassed(report, check1).
+checkPassed(report, check2).
+checkPassed(report, check3).
+checkPassed(report, check4).
+checkPassed(report, check5).
+checkPassed(report, check6).
+result(report, success).

package/examples/eyelang/output/deep-taxonomy-100.pl

@@ -0,0 +1,16 @@
+is(test, true).
+arc(check1, "C1 OK - the starting classification n0 is present.").
+arc(check2, "C2 OK - the first expansion produced n1 together with side labels i1 and j1.").
+arc(check3, "C3 OK - the chain reaches the midpoint n50 and still carries both side-label branches.").
+arc(check4, "C4 OK - the final taxonomy step from n99 to n100 was completed.").
+arc(check5, "C5 OK - once n100 is reached, the terminal class a2 is derived.").
+arc(check6, "C6 OK - the success flag is raised only after the terminal class a2 is present.").
+answer(report, "The test succeeds: starting from one individual classified as n0, the rules eventually classify it as n100 and then as a2.").
+reason(report, "The adjacent rules mirror the Eyeling N3 deep-taxonomy-100 chain. Redundant checkpoint rules are included only as proof accelerators: each shortcut is entailed by the adjacent chain, and once/1 prevents backtracking into the long adjacent-only proof after a check has succeeded.").
+checkPassed(report, check1).
+checkPassed(report, check2).
+checkPassed(report, check3).
+checkPassed(report, check4).
+checkPassed(report, check5).
+checkPassed(report, check6).
+result(report, success).

package/examples/eyelang/output/deep-taxonomy-1000.pl

@@ -0,0 +1,16 @@
+is(test, true).
+arc(check1, "C1 OK - the starting classification n0 is present.").
+arc(check2, "C2 OK - the first expansion produced n1 together with side labels i1 and j1.").
+arc(check3, "C3 OK - the chain reaches the midpoint n500 and still carries both side-label branches.").
+arc(check4, "C4 OK - the final taxonomy step from n999 to n1000 was completed.").
+arc(check5, "C5 OK - once n1000 is reached, the terminal class a2 is derived.").
+arc(check6, "C6 OK - the success flag is raised only after the terminal class a2 is present.").
+answer(report, "The test succeeds: starting from one individual classified as n0, the rules eventually classify it as n1000 and then as a2.").
+reason(report, "The adjacent rules mirror the Eyeling N3 deep-taxonomy-1000 chain. Redundant checkpoint rules are included only as proof accelerators: each shortcut is entailed by the adjacent chain, and once/1 prevents backtracking into the long adjacent-only proof after a check has succeeded.").
+checkPassed(report, check1).
+checkPassed(report, check2).
+checkPassed(report, check3).
+checkPassed(report, check4).
+checkPassed(report, check5).
+checkPassed(report, check6).
+result(report, success).

package/examples/eyelang/output/deep-taxonomy-10000.pl

@@ -0,0 +1,16 @@
+is(test, true).
+arc(check1, "C1 OK - the starting classification n0 is present.").
+arc(check2, "C2 OK - the first expansion produced n1 together with side labels i1 and j1.").
+arc(check3, "C3 OK - the chain reaches the midpoint n5000 and still carries both side-label branches.").
+arc(check4, "C4 OK - the final taxonomy step from n9999 to n10000 was completed.").
+arc(check5, "C5 OK - once n10000 is reached, the terminal class a2 is derived.").
+arc(check6, "C6 OK - the success flag is raised only after the terminal class a2 is present.").
+answer(report, "The test succeeds: starting from one individual classified as n0, the rules eventually classify it as n10000 and then as a2.").
+reason(report, "The adjacent rules mirror the Eyeling N3 deep-taxonomy-10000 chain. Redundant checkpoint rules are included only as proof accelerators: each shortcut is entailed by the adjacent chain, and once/1 prevents backtracking into the long adjacent-only proof after a check has succeeded.").
+checkPassed(report, check1).
+checkPassed(report, check2).
+checkPassed(report, check3).
+checkPassed(report, check4).
+checkPassed(report, check5).
+checkPassed(report, check6).
+result(report, success).

package/examples/eyelang/output/deep-taxonomy-100000.pl

@@ -0,0 +1,16 @@
+is(test, true).
+arc(check1, "C1 OK - the starting classification n0 is present.").
+arc(check2, "C2 OK - the first expansion produced n1 together with side labels i1 and j1.").
+arc(check3, "C3 OK - the chain reaches the midpoint n50000 and still carries both side-label branches.").
+arc(check4, "C4 OK - the final taxonomy step from n99999 to n100000 was completed.").
+arc(check5, "C5 OK - once n100000 is reached, the terminal class a2 is derived.").
+arc(check6, "C6 OK - the success flag is raised only after the terminal class a2 is present.").
+answer(report, "The test succeeds: starting from one individual classified as n0, the rules eventually classify it as n100000 and then as a2.").
+reason(report, "The adjacent rules mirror the Eyeling N3 deep-taxonomy-100000 chain. Redundant checkpoint rules are included only as proof accelerators: each shortcut is entailed by the adjacent chain, and once/1 prevents backtracking into the long adjacent-only proof after a check has succeeded.").
+checkPassed(report, check1).
+checkPassed(report, check2).
+checkPassed(report, check3).
+checkPassed(report, check4).
+checkPassed(report, check5).
+checkPassed(report, check6).
+result(report, success).

package/examples/eyelang/output/delfour.pl

@@ -0,0 +1,31 @@
+metric(insight, "sugar_g_per_serving").
+retailer(insight, "Delfour").
+caseName(case, "delfour").
+needsLowSugar(case, true).
+derivedFromNeed(insight, "low_sugar").
+outcome(decision, "Allowed").
+target(decision, insight).
+scannedProduct(scan, "Classic Tea Biscuits").
+suggestedAlternative(case, "Low-Sugar Tea Biscuits").
+suggestedAlternative(banner, "Low-Sugar Tea Biscuits").
+threshold(insight, "10.0").
+scope(insight, "self-scanner @ pick_up_scanner").
+expiresAt(insight, "2025-10-05T22:33:48.907185+00:00").
+reason(why, "The phone desensitizes a diabetes-related household condition into a scoped low-sugar need, wraps it in an expiring Insight + Policy envelope, signs it, and the scanner consumes that envelope for shopping assistance.").
+headline(banner, "Track sugar per serving while you scan").
+note(banner, "High sugar").
+value(reasonText, "Household requires low-sugar guidance (diabetes in POD). A neutral Insight is scoped to device 'self-scanner', event 'pick_up_scanner', retailer 'Delfour', and expires soon; the policy confines use to shopping assistance.").
+alg(signature, "HMAC-SHA256").
+auditEntries(case, 1).
+filesWritten(case, 6).
+allChecksPass(result, true).
+signatureVerifies(check, true).
+payloadHashMatches(check, true).
+minimizationStripsSensitiveTerms(check, true).
+scopeComplete(check, true).
+authorizationAllowed(check, true).
+bannerFlagsHighSugar(check, true).
+alternativeIsLowerSugar(check, true).
+dutyTimingConsistent(check, true).
+marketingProhibited(check, true).
+filesWrittenExpected(check, true).

package/examples/eyelang/output/dense-hamiltonian-cycle.pl

@@ -0,0 +1,4 @@
+best(dense_hamiltonian_cycle, result(52, [a, b, c, d, e, f, g, h, a])).
+candidateCount(dense_hamiltonian_cycle, 2520).
+status(dense_hamiltonian_cycle, symmetry_broken_complete_graph_searched).
+reason(dense_hamiltonian_cycle, "symmetry-broken permutation search scores Hamiltonian cycles and aggregate_min selects the cheapest candidate").

package/examples/eyelang/output/deontic-logic.pl

@@ -0,0 +1,4 @@
+violation(alice, missed_obligation(obtain_consent)).
+violation(alice, prohibited_action(share_record)).
+compensation(alice, compensation(share_record, notify_dpo)).
+status(alice, requires_review).

package/examples/eyelang/output/derived-backward-rule.pl

@@ -0,0 +1,3 @@
+log_impliedBy(childOf(var(x), var(y)), parentOf(var(y), var(x))).
+childOf(bob, alice).
+hasParent(bob, alice).

package/examples/eyelang/output/derived-rule.pl

@@ -0,0 +1,2 @@
+log_implies(type(var(y), dog), is(test, true)).
+is(test, true).

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

@@ -0,0 +1,4 @@
+holdsFor(diamondProperty, r).
+holdsFor(diamondProperty, re).
+commonSuccessor(diamondProperty, d).
+preservedUnderReflexiveClosure(diamondProperty, true).

package/examples/eyelang/output/dijkstra-findall-sort.pl

@@ -0,0 +1,2 @@
+shortestPath(dijkstra_findall_sort, [a, c, b, d, e, f]).
+cost(dijkstra_findall_sort, 13).

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

@@ -0,0 +1,29 @@
+route(pathB, [depotA, depotB, labD]).
+route(pathC, [depotA, depotC, labD]).
+route(pathRelay, [depotA, relay, labD]).
+route(pathDirectC, [depotA, labD]).
+route(pathViaC, [depotA, depotC, depotB, labD]).
+rawCost(pathB, 8.0).
+rawCost(pathC, 9.0).
+rawCost(pathRelay, 10.0).
+rawCost(pathDirectC, 14.0).
+rawCost(pathViaC, 7.5).
+riskSum(pathB, 0.5).
+riskSum(pathC, 1.2).
+riskSum(pathRelay, 0.40000000000000002).
+riskSum(pathDirectC, 0.050000000000000003).
+riskSum(pathViaC, 1.7000000000000002).
+score(pathB, 13.0).
+score(pathC, 21.0).
+score(pathRelay, 14.0).
+score(pathDirectC, 14.5).
+score(pathViaC, 24.5).
+edgeCount(pathB, 2).
+edgeCount(pathC, 2).
+edgeCount(pathRelay, 2).
+edgeCount(pathDirectC, 1).
+edgeCount(pathViaC, 3).
+selectedPath(case, pathB).
+trustGate(case, noEnumeratedPathIsLower).
+notes(case, riskCanOutweighRawCost).
+selects(dijkstraRiskPath, pathB).

package/examples/eyelang/output/dijkstra.pl

@@ -0,0 +1,16 @@
+edge([b, a], 4).
+edge([c, a], 2).
+edge([c, b], 1).
+edge([d, b], 5).
+edge([d, c], 8).
+edge([e, c], 10).
+edge([e, d], 2).
+edge([f, d], 6).
+edge([f, e], 3).
+path([a, f], [[a, b, d, e, f], 14]).
+path([a, f], [[a, b, d, f], 15]).
+path([a, f], [[a, c, d, e, f], 15]).
+path([a, f], [[a, c, d, f], 16]).
+path([a, f], [[a, c, e, f], 15]).
+path([a, f], [[a, c, b, d, e, f], 13]).
+path([a, f], [[a, c, b, d, f], 14]).

package/examples/eyelang/output/dining-philosophers.pl

@@ -0,0 +1,350 @@
+dp_type(request(dp_C0, dp_P3, dp_P2, dp_F23), dp_Request).
+dp_type(request(dp_C2, dp_P2, dp_P1, dp_F12), dp_Request).
+dp_type(request(dp_C2, dp_P4, dp_P3, dp_F34), dp_Request).
+dp_type(request(dp_C4, dp_P5, dp_P4, dp_F45), dp_Request).
+dp_type(request(dp_C6, dp_P1, dp_P5, dp_F51), dp_Request).
+dp_type(request(dp_C6, dp_P3, dp_P2, dp_F23), dp_Request).
+dp_type(request(dp_C8, dp_P2, dp_P1, dp_F12), dp_Request).
+dp_type(request(dp_C8, dp_P4, dp_P3, dp_F34), dp_Request).
+dp_type(request(dp_C10, dp_P5, dp_P4, dp_F45), dp_Request).
+dp_type(request(dp_C12, dp_P1, dp_P5, dp_F51), dp_Request).
+dp_type(request(dp_C12, dp_P3, dp_P2, dp_F23), dp_Request).
+dp_type(request(dp_C14, dp_P2, dp_P1, dp_F12), dp_Request).
+dp_type(request(dp_C14, dp_P4, dp_P3, dp_F34), dp_Request).
+dp_type(request(dp_C16, dp_P5, dp_P4, dp_F45), dp_Request).
+dp_type(request(dp_C2, dp_P2, dp_P3, dp_F23), dp_Request).
+dp_type(request(dp_C4, dp_P5, dp_P1, dp_F51), dp_Request).
+dp_type(request(dp_C6, dp_P1, dp_P2, dp_F12), dp_Request).
+dp_type(request(dp_C6, dp_P3, dp_P4, dp_F34), dp_Request).
+dp_type(request(dp_C8, dp_P2, dp_P3, dp_F23), dp_Request).
+dp_type(request(dp_C8, dp_P4, dp_P5, dp_F45), dp_Request).
+dp_type(request(dp_C10, dp_P5, dp_P1, dp_F51), dp_Request).
+dp_type(request(dp_C12, dp_P1, dp_P2, dp_F12), dp_Request).
+dp_type(request(dp_C12, dp_P3, dp_P4, dp_F34), dp_Request).
+dp_type(request(dp_C14, dp_P2, dp_P3, dp_F23), dp_Request).
+dp_type(request(dp_C14, dp_P4, dp_P5, dp_F45), dp_Request).
+dp_type(request(dp_C16, dp_P5, dp_P1, dp_F51), dp_Request).
+dp_type(send(dp_C0, dp_P2, dp_P3, dp_F23), dp_SendFork).
+dp_type(send(dp_C2, dp_P1, dp_P2, dp_F12), dp_SendFork).
+dp_type(send(dp_C2, dp_P3, dp_P4, dp_F34), dp_SendFork).
+dp_type(send(dp_C4, dp_P4, dp_P5, dp_F45), dp_SendFork).
+dp_type(send(dp_C6, dp_P5, dp_P1, dp_F51), dp_SendFork).
+dp_type(send(dp_C6, dp_P2, dp_P3, dp_F23), dp_SendFork).
+dp_type(send(dp_C8, dp_P1, dp_P2, dp_F12), dp_SendFork).
+dp_type(send(dp_C8, dp_P3, dp_P4, dp_F34), dp_SendFork).
+dp_type(send(dp_C10, dp_P4, dp_P5, dp_F45), dp_SendFork).
+dp_type(send(dp_C12, dp_P5, dp_P1, dp_F51), dp_SendFork).
+dp_type(send(dp_C12, dp_P2, dp_P3, dp_F23), dp_SendFork).
+dp_type(send(dp_C14, dp_P1, dp_P2, dp_F12), dp_SendFork).
+dp_type(send(dp_C14, dp_P3, dp_P4, dp_F34), dp_SendFork).
+dp_type(send(dp_C16, dp_P4, dp_P5, dp_F45), dp_SendFork).
+dp_type(send(dp_C2, dp_P3, dp_P2, dp_F23), dp_SendFork).
+dp_type(send(dp_C4, dp_P1, dp_P5, dp_F51), dp_SendFork).
+dp_type(send(dp_C6, dp_P2, dp_P1, dp_F12), dp_SendFork).
+dp_type(send(dp_C6, dp_P4, dp_P3, dp_F34), dp_SendFork).
+dp_type(send(dp_C8, dp_P3, dp_P2, dp_F23), dp_SendFork).
+dp_type(send(dp_C8, dp_P5, dp_P4, dp_F45), dp_SendFork).
+dp_type(send(dp_C10, dp_P1, dp_P5, dp_F51), dp_SendFork).
+dp_type(send(dp_C12, dp_P2, dp_P1, dp_F12), dp_SendFork).
+dp_type(send(dp_C12, dp_P4, dp_P3, dp_F34), dp_SendFork).
+dp_type(send(dp_C14, dp_P3, dp_P2, dp_F23), dp_SendFork).
+dp_type(send(dp_C14, dp_P5, dp_P4, dp_F45), dp_SendFork).
+dp_type(send(dp_C16, dp_P1, dp_P5, dp_F51), dp_SendFork).
+dp_type(dp_mP1_1, dp_Meal).
+dp_type(dp_mP3_1, dp_Meal).
+dp_type(dp_mP2_1, dp_Meal).
+dp_type(dp_mP4_1, dp_Meal).
+dp_type(dp_mP5_1, dp_Meal).
+dp_type(dp_mP1_2, dp_Meal).
+dp_type(dp_mP3_2, dp_Meal).
+dp_type(dp_mP2_2, dp_Meal).
+dp_type(dp_mP4_2, dp_Meal).
+dp_type(dp_mP5_2, dp_Meal).
+dp_type(dp_mP1_3, dp_Meal).
+dp_type(dp_mP3_3, dp_Meal).
+dp_type(dp_mP2_3, dp_Meal).
+dp_type(dp_mP4_3, dp_Meal).
+dp_type(dp_mP5_3, dp_Meal).
+dp_in(request(dp_C0, dp_P3, dp_P2, dp_F23), dp_C0).
+dp_in(request(dp_C2, dp_P2, dp_P1, dp_F12), dp_C2).
+dp_in(request(dp_C2, dp_P4, dp_P3, dp_F34), dp_C2).
+dp_in(request(dp_C4, dp_P5, dp_P4, dp_F45), dp_C4).
+dp_in(request(dp_C6, dp_P1, dp_P5, dp_F51), dp_C6).
+dp_in(request(dp_C6, dp_P3, dp_P2, dp_F23), dp_C6).
+dp_in(request(dp_C8, dp_P2, dp_P1, dp_F12), dp_C8).
+dp_in(request(dp_C8, dp_P4, dp_P3, dp_F34), dp_C8).
+dp_in(request(dp_C10, dp_P5, dp_P4, dp_F45), dp_C10).
+dp_in(request(dp_C12, dp_P1, dp_P5, dp_F51), dp_C12).
+dp_in(request(dp_C12, dp_P3, dp_P2, dp_F23), dp_C12).
+dp_in(request(dp_C14, dp_P2, dp_P1, dp_F12), dp_C14).
+dp_in(request(dp_C14, dp_P4, dp_P3, dp_F34), dp_C14).
+dp_in(request(dp_C16, dp_P5, dp_P4, dp_F45), dp_C16).
+dp_in(request(dp_C2, dp_P2, dp_P3, dp_F23), dp_C2).
+dp_in(request(dp_C4, dp_P5, dp_P1, dp_F51), dp_C4).
+dp_in(request(dp_C6, dp_P1, dp_P2, dp_F12), dp_C6).
+dp_in(request(dp_C6, dp_P3, dp_P4, dp_F34), dp_C6).
+dp_in(request(dp_C8, dp_P2, dp_P3, dp_F23), dp_C8).
+dp_in(request(dp_C8, dp_P4, dp_P5, dp_F45), dp_C8).
+dp_in(request(dp_C10, dp_P5, dp_P1, dp_F51), dp_C10).
+dp_in(request(dp_C12, dp_P1, dp_P2, dp_F12), dp_C12).
+dp_in(request(dp_C12, dp_P3, dp_P4, dp_F34), dp_C12).
+dp_in(request(dp_C14, dp_P2, dp_P3, dp_F23), dp_C14).
+dp_in(request(dp_C14, dp_P4, dp_P5, dp_F45), dp_C14).
+dp_in(request(dp_C16, dp_P5, dp_P1, dp_F51), dp_C16).
+dp_in(send(dp_C0, dp_P2, dp_P3, dp_F23), dp_C0).
+dp_in(send(dp_C2, dp_P1, dp_P2, dp_F12), dp_C2).
+dp_in(send(dp_C2, dp_P3, dp_P4, dp_F34), dp_C2).
+dp_in(send(dp_C4, dp_P4, dp_P5, dp_F45), dp_C4).
+dp_in(send(dp_C6, dp_P5, dp_P1, dp_F51), dp_C6).
+dp_in(send(dp_C6, dp_P2, dp_P3, dp_F23), dp_C6).
+dp_in(send(dp_C8, dp_P1, dp_P2, dp_F12), dp_C8).
+dp_in(send(dp_C8, dp_P3, dp_P4, dp_F34), dp_C8).
+dp_in(send(dp_C10, dp_P4, dp_P5, dp_F45), dp_C10).
+dp_in(send(dp_C12, dp_P5, dp_P1, dp_F51), dp_C12).
+dp_in(send(dp_C12, dp_P2, dp_P3, dp_F23), dp_C12).
+dp_in(send(dp_C14, dp_P1, dp_P2, dp_F12), dp_C14).
+dp_in(send(dp_C14, dp_P3, dp_P4, dp_F34), dp_C14).
+dp_in(send(dp_C16, dp_P4, dp_P5, dp_F45), dp_C16).
+dp_in(send(dp_C2, dp_P3, dp_P2, dp_F23), dp_C2).
+dp_in(send(dp_C4, dp_P1, dp_P5, dp_F51), dp_C4).
+dp_in(send(dp_C6, dp_P2, dp_P1, dp_F12), dp_C6).
+dp_in(send(dp_C6, dp_P4, dp_P3, dp_F34), dp_C6).
+dp_in(send(dp_C8, dp_P3, dp_P2, dp_F23), dp_C8).
+dp_in(send(dp_C8, dp_P5, dp_P4, dp_F45), dp_C8).
+dp_in(send(dp_C10, dp_P1, dp_P5, dp_F51), dp_C10).
+dp_in(send(dp_C12, dp_P2, dp_P1, dp_F12), dp_C12).
+dp_in(send(dp_C12, dp_P4, dp_P3, dp_F34), dp_C12).
+dp_in(send(dp_C14, dp_P3, dp_P2, dp_F23), dp_C14).
+dp_in(send(dp_C14, dp_P5, dp_P4, dp_F45), dp_C14).
+dp_in(send(dp_C16, dp_P1, dp_P5, dp_F51), dp_C16).
+dp_from(request(dp_C0, dp_P3, dp_P2, dp_F23), dp_P3).
+dp_from(request(dp_C2, dp_P2, dp_P1, dp_F12), dp_P2).
+dp_from(request(dp_C2, dp_P4, dp_P3, dp_F34), dp_P4).
+dp_from(request(dp_C4, dp_P5, dp_P4, dp_F45), dp_P5).
+dp_from(request(dp_C6, dp_P1, dp_P5, dp_F51), dp_P1).
+dp_from(request(dp_C6, dp_P3, dp_P2, dp_F23), dp_P3).
+dp_from(request(dp_C8, dp_P2, dp_P1, dp_F12), dp_P2).
+dp_from(request(dp_C8, dp_P4, dp_P3, dp_F34), dp_P4).
+dp_from(request(dp_C10, dp_P5, dp_P4, dp_F45), dp_P5).
+dp_from(request(dp_C12, dp_P1, dp_P5, dp_F51), dp_P1).
+dp_from(request(dp_C12, dp_P3, dp_P2, dp_F23), dp_P3).
+dp_from(request(dp_C14, dp_P2, dp_P1, dp_F12), dp_P2).
+dp_from(request(dp_C14, dp_P4, dp_P3, dp_F34), dp_P4).
+dp_from(request(dp_C16, dp_P5, dp_P4, dp_F45), dp_P5).
+dp_from(request(dp_C2, dp_P2, dp_P3, dp_F23), dp_P2).
+dp_from(request(dp_C4, dp_P5, dp_P1, dp_F51), dp_P5).
+dp_from(request(dp_C6, dp_P1, dp_P2, dp_F12), dp_P1).
+dp_from(request(dp_C6, dp_P3, dp_P4, dp_F34), dp_P3).
+dp_from(request(dp_C8, dp_P2, dp_P3, dp_F23), dp_P2).
+dp_from(request(dp_C8, dp_P4, dp_P5, dp_F45), dp_P4).
+dp_from(request(dp_C10, dp_P5, dp_P1, dp_F51), dp_P5).
+dp_from(request(dp_C12, dp_P1, dp_P2, dp_F12), dp_P1).
+dp_from(request(dp_C12, dp_P3, dp_P4, dp_F34), dp_P3).
+dp_from(request(dp_C14, dp_P2, dp_P3, dp_F23), dp_P2).
+dp_from(request(dp_C14, dp_P4, dp_P5, dp_F45), dp_P4).
+dp_from(request(dp_C16, dp_P5, dp_P1, dp_F51), dp_P5).
+dp_from(send(dp_C0, dp_P2, dp_P3, dp_F23), dp_P2).
+dp_from(send(dp_C2, dp_P1, dp_P2, dp_F12), dp_P1).
+dp_from(send(dp_C2, dp_P3, dp_P4, dp_F34), dp_P3).
+dp_from(send(dp_C4, dp_P4, dp_P5, dp_F45), dp_P4).
+dp_from(send(dp_C6, dp_P5, dp_P1, dp_F51), dp_P5).
+dp_from(send(dp_C6, dp_P2, dp_P3, dp_F23), dp_P2).
+dp_from(send(dp_C8, dp_P1, dp_P2, dp_F12), dp_P1).
+dp_from(send(dp_C8, dp_P3, dp_P4, dp_F34), dp_P3).
+dp_from(send(dp_C10, dp_P4, dp_P5, dp_F45), dp_P4).
+dp_from(send(dp_C12, dp_P5, dp_P1, dp_F51), dp_P5).
+dp_from(send(dp_C12, dp_P2, dp_P3, dp_F23), dp_P2).
+dp_from(send(dp_C14, dp_P1, dp_P2, dp_F12), dp_P1).
+dp_from(send(dp_C14, dp_P3, dp_P4, dp_F34), dp_P3).
+dp_from(send(dp_C16, dp_P4, dp_P5, dp_F45), dp_P4).
+dp_from(send(dp_C2, dp_P3, dp_P2, dp_F23), dp_P3).
+dp_from(send(dp_C4, dp_P1, dp_P5, dp_F51), dp_P1).
+dp_from(send(dp_C6, dp_P2, dp_P1, dp_F12), dp_P2).
+dp_from(send(dp_C6, dp_P4, dp_P3, dp_F34), dp_P4).
+dp_from(send(dp_C8, dp_P3, dp_P2, dp_F23), dp_P3).
+dp_from(send(dp_C8, dp_P5, dp_P4, dp_F45), dp_P5).
+dp_from(send(dp_C10, dp_P1, dp_P5, dp_F51), dp_P1).
+dp_from(send(dp_C12, dp_P2, dp_P1, dp_F12), dp_P2).
+dp_from(send(dp_C12, dp_P4, dp_P3, dp_F34), dp_P4).
+dp_from(send(dp_C14, dp_P3, dp_P2, dp_F23), dp_P3).
+dp_from(send(dp_C14, dp_P5, dp_P4, dp_F45), dp_P5).
+dp_from(send(dp_C16, dp_P1, dp_P5, dp_F51), dp_P1).
+dp_to(request(dp_C0, dp_P3, dp_P2, dp_F23), dp_P2).
+dp_to(request(dp_C2, dp_P2, dp_P1, dp_F12), dp_P1).
+dp_to(request(dp_C2, dp_P4, dp_P3, dp_F34), dp_P3).
+dp_to(request(dp_C4, dp_P5, dp_P4, dp_F45), dp_P4).
+dp_to(request(dp_C6, dp_P1, dp_P5, dp_F51), dp_P5).
+dp_to(request(dp_C6, dp_P3, dp_P2, dp_F23), dp_P2).
+dp_to(request(dp_C8, dp_P2, dp_P1, dp_F12), dp_P1).
+dp_to(request(dp_C8, dp_P4, dp_P3, dp_F34), dp_P3).
+dp_to(request(dp_C10, dp_P5, dp_P4, dp_F45), dp_P4).
+dp_to(request(dp_C12, dp_P1, dp_P5, dp_F51), dp_P5).
+dp_to(request(dp_C12, dp_P3, dp_P2, dp_F23), dp_P2).
+dp_to(request(dp_C14, dp_P2, dp_P1, dp_F12), dp_P1).
+dp_to(request(dp_C14, dp_P4, dp_P3, dp_F34), dp_P3).
+dp_to(request(dp_C16, dp_P5, dp_P4, dp_F45), dp_P4).
+dp_to(request(dp_C2, dp_P2, dp_P3, dp_F23), dp_P3).
+dp_to(request(dp_C4, dp_P5, dp_P1, dp_F51), dp_P1).
+dp_to(request(dp_C6, dp_P1, dp_P2, dp_F12), dp_P2).
+dp_to(request(dp_C6, dp_P3, dp_P4, dp_F34), dp_P4).
+dp_to(request(dp_C8, dp_P2, dp_P3, dp_F23), dp_P3).
+dp_to(request(dp_C8, dp_P4, dp_P5, dp_F45), dp_P5).
+dp_to(request(dp_C10, dp_P5, dp_P1, dp_F51), dp_P1).
+dp_to(request(dp_C12, dp_P1, dp_P2, dp_F12), dp_P2).
+dp_to(request(dp_C12, dp_P3, dp_P4, dp_F34), dp_P4).
+dp_to(request(dp_C14, dp_P2, dp_P3, dp_F23), dp_P3).
+dp_to(request(dp_C14, dp_P4, dp_P5, dp_F45), dp_P5).
+dp_to(request(dp_C16, dp_P5, dp_P1, dp_F51), dp_P1).
+dp_to(send(dp_C0, dp_P2, dp_P3, dp_F23), dp_P3).
+dp_to(send(dp_C2, dp_P1, dp_P2, dp_F12), dp_P2).
+dp_to(send(dp_C2, dp_P3, dp_P4, dp_F34), dp_P4).
+dp_to(send(dp_C4, dp_P4, dp_P5, dp_F45), dp_P5).
+dp_to(send(dp_C6, dp_P5, dp_P1, dp_F51), dp_P1).
+dp_to(send(dp_C6, dp_P2, dp_P3, dp_F23), dp_P3).
+dp_to(send(dp_C8, dp_P1, dp_P2, dp_F12), dp_P2).
+dp_to(send(dp_C8, dp_P3, dp_P4, dp_F34), dp_P4).
+dp_to(send(dp_C10, dp_P4, dp_P5, dp_F45), dp_P5).
+dp_to(send(dp_C12, dp_P5, dp_P1, dp_F51), dp_P1).
+dp_to(send(dp_C12, dp_P2, dp_P3, dp_F23), dp_P3).
+dp_to(send(dp_C14, dp_P1, dp_P2, dp_F12), dp_P2).
+dp_to(send(dp_C14, dp_P3, dp_P4, dp_F34), dp_P4).
+dp_to(send(dp_C16, dp_P4, dp_P5, dp_F45), dp_P5).
+dp_to(send(dp_C2, dp_P3, dp_P2, dp_F23), dp_P2).
+dp_to(send(dp_C4, dp_P1, dp_P5, dp_F51), dp_P5).
+dp_to(send(dp_C6, dp_P2, dp_P1, dp_F12), dp_P1).
+dp_to(send(dp_C6, dp_P4, dp_P3, dp_F34), dp_P3).
+dp_to(send(dp_C8, dp_P3, dp_P2, dp_F23), dp_P2).
+dp_to(send(dp_C8, dp_P5, dp_P4, dp_F45), dp_P4).
+dp_to(send(dp_C10, dp_P1, dp_P5, dp_F51), dp_P5).
+dp_to(send(dp_C12, dp_P2, dp_P1, dp_F12), dp_P1).
+dp_to(send(dp_C12, dp_P4, dp_P3, dp_F34), dp_P3).
+dp_to(send(dp_C14, dp_P3, dp_P2, dp_F23), dp_P2).
+dp_to(send(dp_C14, dp_P5, dp_P4, dp_F45), dp_P4).
+dp_to(send(dp_C16, dp_P1, dp_P5, dp_F51), dp_P5).
+dp_fork(request(dp_C0, dp_P3, dp_P2, dp_F23), dp_F23).
+dp_fork(request(dp_C2, dp_P2, dp_P1, dp_F12), dp_F12).
+dp_fork(request(dp_C2, dp_P4, dp_P3, dp_F34), dp_F34).
+dp_fork(request(dp_C4, dp_P5, dp_P4, dp_F45), dp_F45).
+dp_fork(request(dp_C6, dp_P1, dp_P5, dp_F51), dp_F51).
+dp_fork(request(dp_C6, dp_P3, dp_P2, dp_F23), dp_F23).
+dp_fork(request(dp_C8, dp_P2, dp_P1, dp_F12), dp_F12).
+dp_fork(request(dp_C8, dp_P4, dp_P3, dp_F34), dp_F34).
+dp_fork(request(dp_C10, dp_P5, dp_P4, dp_F45), dp_F45).
+dp_fork(request(dp_C12, dp_P1, dp_P5, dp_F51), dp_F51).
+dp_fork(request(dp_C12, dp_P3, dp_P2, dp_F23), dp_F23).
+dp_fork(request(dp_C14, dp_P2, dp_P1, dp_F12), dp_F12).
+dp_fork(request(dp_C14, dp_P4, dp_P3, dp_F34), dp_F34).
+dp_fork(request(dp_C16, dp_P5, dp_P4, dp_F45), dp_F45).
+dp_fork(request(dp_C2, dp_P2, dp_P3, dp_F23), dp_F23).
+dp_fork(request(dp_C4, dp_P5, dp_P1, dp_F51), dp_F51).
+dp_fork(request(dp_C6, dp_P1, dp_P2, dp_F12), dp_F12).
+dp_fork(request(dp_C6, dp_P3, dp_P4, dp_F34), dp_F34).
+dp_fork(request(dp_C8, dp_P2, dp_P3, dp_F23), dp_F23).
+dp_fork(request(dp_C8, dp_P4, dp_P5, dp_F45), dp_F45).
+dp_fork(request(dp_C10, dp_P5, dp_P1, dp_F51), dp_F51).
+dp_fork(request(dp_C12, dp_P1, dp_P2, dp_F12), dp_F12).
+dp_fork(request(dp_C12, dp_P3, dp_P4, dp_F34), dp_F34).
+dp_fork(request(dp_C14, dp_P2, dp_P3, dp_F23), dp_F23).
+dp_fork(request(dp_C14, dp_P4, dp_P5, dp_F45), dp_F45).
+dp_fork(request(dp_C16, dp_P5, dp_P1, dp_F51), dp_F51).
+dp_fork(send(dp_C0, dp_P2, dp_P3, dp_F23), dp_F23).
+dp_fork(send(dp_C2, dp_P1, dp_P2, dp_F12), dp_F12).
+dp_fork(send(dp_C2, dp_P3, dp_P4, dp_F34), dp_F34).
+dp_fork(send(dp_C4, dp_P4, dp_P5, dp_F45), dp_F45).
+dp_fork(send(dp_C6, dp_P5, dp_P1, dp_F51), dp_F51).
+dp_fork(send(dp_C6, dp_P2, dp_P3, dp_F23), dp_F23).
+dp_fork(send(dp_C8, dp_P1, dp_P2, dp_F12), dp_F12).
+dp_fork(send(dp_C8, dp_P3, dp_P4, dp_F34), dp_F34).
+dp_fork(send(dp_C10, dp_P4, dp_P5, dp_F45), dp_F45).
+dp_fork(send(dp_C12, dp_P5, dp_P1, dp_F51), dp_F51).
+dp_fork(send(dp_C12, dp_P2, dp_P3, dp_F23), dp_F23).
+dp_fork(send(dp_C14, dp_P1, dp_P2, dp_F12), dp_F12).
+dp_fork(send(dp_C14, dp_P3, dp_P4, dp_F34), dp_F34).
+dp_fork(send(dp_C16, dp_P4, dp_P5, dp_F45), dp_F45).
+dp_fork(send(dp_C2, dp_P3, dp_P2, dp_F23), dp_F23).
+dp_fork(send(dp_C4, dp_P1, dp_P5, dp_F51), dp_F51).
+dp_fork(send(dp_C6, dp_P2, dp_P1, dp_F12), dp_F12).
+dp_fork(send(dp_C6, dp_P4, dp_P3, dp_F34), dp_F34).
+dp_fork(send(dp_C8, dp_P3, dp_P2, dp_F23), dp_F23).
+dp_fork(send(dp_C8, dp_P5, dp_P4, dp_F45), dp_F45).
+dp_fork(send(dp_C10, dp_P1, dp_P5, dp_F51), dp_F51).
+dp_fork(send(dp_C12, dp_P2, dp_P1, dp_F12), dp_F12).
+dp_fork(send(dp_C12, dp_P4, dp_P3, dp_F34), dp_F34).
+dp_fork(send(dp_C14, dp_P3, dp_P2, dp_F23), dp_F23).
+dp_fork(send(dp_C14, dp_P5, dp_P4, dp_F45), dp_F45).
+dp_fork(send(dp_C16, dp_P1, dp_P5, dp_F51), dp_F51).
+dp_philosopher(dp_mP1_1, dp_P1).
+dp_philosopher(dp_mP3_1, dp_P3).
+dp_philosopher(dp_mP2_1, dp_P2).
+dp_philosopher(dp_mP4_1, dp_P4).
+dp_philosopher(dp_mP5_1, dp_P5).
+dp_philosopher(dp_mP1_2, dp_P1).
+dp_philosopher(dp_mP3_2, dp_P3).
+dp_philosopher(dp_mP2_2, dp_P2).
+dp_philosopher(dp_mP4_2, dp_P4).
+dp_philosopher(dp_mP5_2, dp_P5).
+dp_philosopher(dp_mP1_3, dp_P1).
+dp_philosopher(dp_mP3_3, dp_P3).
+dp_philosopher(dp_mP2_3, dp_P2).
+dp_philosopher(dp_mP4_3, dp_P4).
+dp_philosopher(dp_mP5_3, dp_P5).
+dp_mealNo(dp_mP1_1, 1).
+dp_mealNo(dp_mP3_1, 1).
+dp_mealNo(dp_mP2_1, 1).
+dp_mealNo(dp_mP4_1, 1).
+dp_mealNo(dp_mP5_1, 1).
+dp_mealNo(dp_mP1_2, 2).
+dp_mealNo(dp_mP3_2, 2).
+dp_mealNo(dp_mP2_2, 2).
+dp_mealNo(dp_mP4_2, 2).
+dp_mealNo(dp_mP5_2, 2).
+dp_mealNo(dp_mP1_3, 3).
+dp_mealNo(dp_mP3_3, 3).
+dp_mealNo(dp_mP2_3, 3).
+dp_mealNo(dp_mP4_3, 3).
+dp_mealNo(dp_mP5_3, 3).
+dp_inSlot(dp_mP1_1, dp_s1).
+dp_inSlot(dp_mP3_1, dp_s1).
+dp_inSlot(dp_mP2_1, dp_s2).
+dp_inSlot(dp_mP4_1, dp_s2).
+dp_inSlot(dp_mP5_1, dp_s3).
+dp_inSlot(dp_mP1_2, dp_s4).
+dp_inSlot(dp_mP3_2, dp_s4).
+dp_inSlot(dp_mP2_2, dp_s5).
+dp_inSlot(dp_mP4_2, dp_s5).
+dp_inSlot(dp_mP5_2, dp_s6).
+dp_inSlot(dp_mP1_3, dp_s7).
+dp_inSlot(dp_mP3_3, dp_s7).
+dp_inSlot(dp_mP2_3, dp_s8).
+dp_inSlot(dp_mP4_3, dp_s8).
+dp_inSlot(dp_mP5_3, dp_s9).
+dp_usesFork(dp_mP1_1, dp_F51).
+dp_usesFork(dp_mP3_1, dp_F23).
+dp_usesFork(dp_mP2_1, dp_F12).
+dp_usesFork(dp_mP4_1, dp_F34).
+dp_usesFork(dp_mP5_1, dp_F45).
+dp_usesFork(dp_mP1_2, dp_F51).
+dp_usesFork(dp_mP3_2, dp_F23).
+dp_usesFork(dp_mP2_2, dp_F12).
+dp_usesFork(dp_mP4_2, dp_F34).
+dp_usesFork(dp_mP5_2, dp_F45).
+dp_usesFork(dp_mP1_3, dp_F51).
+dp_usesFork(dp_mP3_3, dp_F23).
+dp_usesFork(dp_mP2_3, dp_F12).
+dp_usesFork(dp_mP4_3, dp_F34).
+dp_usesFork(dp_mP5_3, dp_F45).
+dp_usesFork(dp_mP1_1, dp_F12).
+dp_usesFork(dp_mP3_1, dp_F34).
+dp_usesFork(dp_mP2_1, dp_F23).
+dp_usesFork(dp_mP4_1, dp_F45).
+dp_usesFork(dp_mP5_1, dp_F51).
+dp_usesFork(dp_mP1_2, dp_F12).
+dp_usesFork(dp_mP3_2, dp_F34).
+dp_usesFork(dp_mP2_2, dp_F23).
+dp_usesFork(dp_mP4_2, dp_F45).
+dp_usesFork(dp_mP5_2, dp_F51).
+dp_usesFork(dp_mP1_3, dp_F12).
+dp_usesFork(dp_mP3_3, dp_F34).
+dp_usesFork(dp_mP2_3, dp_F23).
+dp_usesFork(dp_mP4_3, dp_F45).
+dp_usesFork(dp_mP5_3, dp_F51).

package/examples/eyelang/output/directional-language.ttl

@@ -0,0 +1 @@
+rdf(iri("http://example.org/lang#greeting"), iri("http://example.org/lang#hasDirectionalLabel"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).

package/examples/eyelang/output/dog.pl

@@ -0,0 +1 @@
+mustHave(alice, dogLicense).