seam-lang 2.0.0

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

@@ -0,0 +1,6 @@
+complex_power(sqrt_minus_one, [-1, 0], [0.5, 0], [6.123233995736766e-17, 1.0]).
+complex_power(e_to_i_pi, [2.718281828459045, 0], [0, 3.141592653589793], [-1.0, 1.2246467991473532e-16]).
+complex_power(i_to_i, [0, 1], [0, 1], [0.20787957635076193, 0.0]).
+complex_power(e_to_minus_pi_over_two, [2.718281828459045, 0], [-1.57079632679, 0], [0.20787957635177984, 0.0]).
+complex_function(asin, two, [2, 0], [1.5707963267948966, 1.3169578969248166]).
+complex_function(acos, two, [2, 0], [0.0, -1.3169578969248166]).

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

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

package/examples/output/context-association.pl

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

package/examples/output/context-schema-audit.pl

@@ -0,0 +1,12 @@
+context_shape(msg_ok, heartbeat, 0).
+context_shape(msg_ok, source, 1).
+context_shape(msg_ok, temperature, 2).
+context_shape(msg_ok, gps, 3).
+context_shape(msg_ok, signature, 4).
+context_shape(msg_bad, heartbeat, 0).
+context_shape(msg_bad, source, 1).
+context_shape(msg_bad, temperature, 2).
+context_shape(msg_bad, gps, 2).
+context_shape(msg_bad, tampered, 1).
+schema_violation(msg_bad, gps, 2).
+schema_violation(msg_bad, tampered, 1).

package/examples/output/continued-fraction-sqrt2.pl

@@ -0,0 +1,4 @@
+convergent_answer(convergent_10, fraction(8119, 5741)).
+convergent_answer(convergent_15, fraction(665857, 470832)).
+convergent_answer(pell_error_15, 1).
+convergent_answer(numerator_sum_0_to_10, 13859).

package/examples/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/output/critical-path-schedule.pl

@@ -0,0 +1,19 @@
+critical_path_answer(project_finish, 23).
+critical_path_answer(critical_task, launch).
+critical_path_answer(critical_task, security_review).
+critical_path_answer(critical_task, integration).
+critical_path_answer(critical_task, backend).
+critical_path_answer(critical_task, database).
+critical_path_answer(critical_task, architecture).
+critical_path_answer(critical_task, requirements).
+critical_path_answer(schedule, task(requirements, 0, 2)).
+critical_path_answer(schedule, task(architecture, 2, 5)).
+critical_path_answer(schedule, task(api_design, 2, 4)).
+critical_path_answer(schedule, task(database, 5, 9)).
+critical_path_answer(schedule, task(backend, 9, 15)).
+critical_path_answer(schedule, task(frontend, 4, 9)).
+critical_path_answer(schedule, task(auth, 5, 8)).
+critical_path_answer(schedule, task(integration, 15, 19)).
+critical_path_answer(schedule, task(security_review, 19, 22)).
+critical_path_answer(schedule, task(load_test, 19, 21)).
+critical_path_answer(schedule, task(launch, 22, 23)).

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

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

package/examples/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: each rule advances one taxonomy level and adds the matching side labels.").
+checkPassed(report, check1).
+checkPassed(report, check2).
+checkPassed(report, check3).
+checkPassed(report, check4).
+checkPassed(report, check5).
+checkPassed(report, check6).
+result(report, success).

package/examples/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: each rule advances one taxonomy level and adds the matching side labels.").
+checkPassed(report, check1).
+checkPassed(report, check2).
+checkPassed(report, check3).
+checkPassed(report, check4).
+checkPassed(report, check5).
+checkPassed(report, check6).
+result(report, success).

package/examples/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: each rule advances one taxonomy level and adds the matching side labels.").
+checkPassed(report, check1).
+checkPassed(report, check2).
+checkPassed(report, check3).
+checkPassed(report, check4).
+checkPassed(report, check5).
+checkPassed(report, check6).
+result(report, success).

package/examples/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: each rule advances one taxonomy level and adds the matching side labels.").
+checkPassed(report, check1).
+checkPassed(report, check2).
+checkPassed(report, check3).
+checkPassed(report, check4).
+checkPassed(report, check5).
+checkPassed(report, check6).
+result(report, success).

package/examples/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: each rule advances one taxonomy level and adds the matching side labels.").
+checkPassed(report, check1).
+checkPassed(report, check2).
+checkPassed(report, check3).
+checkPassed(report, check4).
+checkPassed(report, check5).
+checkPassed(report, check6).
+result(report, success).

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

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

package/examples/output/diamond-property.pl

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

package/examples/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/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/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/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).