npm - eyeling - Versions diffs - 1.34.4 → 1.34.6 - Mend

eyeling 1.34.4 → 1.34.6

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (555) hide show

package/examples/eyelang/output/bayes-diagnosis.pl DELETED Viewed

@@ -1,13 +0,0 @@
-evidenceTotal(case, 0.0016436300000000003).
-result(case, result(covid19)).
-result(case, result(influenza)).
-result(case, result(allergicRhinitis)).
-result(case, result(bacterialPneumonia)).
-disease(result(covid19), covid19).
-disease(result(influenza), influenza).
-disease(result(allergicRhinitis), allergicRhinitis).
-disease(result(bacterialPneumonia), bacterialPneumonia).
-unnormalized(result(covid19), 0.0015470000000000002).
-unnormalized(result(influenza), 0.000048000000000000015).
-unnormalized(result(allergicRhinitis), 7.499999999999999e-7).
-unnormalized(result(bacterialPneumonia), 0.000047879999999999996).

package/examples/eyelang/output/bayes-therapy.pl DELETED Viewed

@@ -1,23 +0,0 @@
-utility(paxlovid, 3.5851740117076503).
-utility(oseltamivir, 2.6114101258814744).
-utility(antihistamine, 0.91268919364852963).
-utility(antibiotic, 0.89952579796093612).
-utility(supportiveCare, 2.8851195397013814).
-scores(case, [0.0092820000000000021, 0.008208, 0.00012824999999999997, 0.00156408]).
-evidenceTotal(case, 0.019182330000000004).
-posteriors(case, [0.48388282341092037, 0.42789379600913957, 0.0066858405626428041, 0.081537540017297155]).
-posterior(covid19, 0.48388282341092037).
-posterior(influenza, 0.42789379600913957).
-posterior(allergicRhinitis, 0.0066858405626428041).
-posterior(bacterialPneumonia, 0.081537540017297155).
-expectedSuccess(paxlovid, 0.388517401170765).
-expectedSuccess(oseltamivir, 0.28514101258814745).
-expectedSuccess(antihistamine, 0.10026891936485297).
-expectedSuccess(antibiotic, 0.1109525797960936).
-expectedSuccess(supportiveCare, 0.29151195397013813).
-expectedAdverse(paxlovid, 0.10).
-expectedAdverse(oseltamivir, 0.08).
-expectedAdverse(antihistamine, 0.03).
-expectedAdverse(antibiotic, 0.07).
-expectedAdverse(supportiveCare, 0.01).
-recommendedTherapy(case, paxlovid).

package/examples/eyelang/output/beam-deflection.pl DELETED Viewed

@@ -1,5 +0,0 @@
-type(beam1, cantilever_beam).
-tipDeflection_m(beam1, 0.00390625).
-tipDeflection_mm(beam1, 3.90625).
-limit_mm(beam1, 5.0).
-status(beam1, within_deflection_limit).

package/examples/eyelang/output/blocks-world-planning.pl DELETED Viewed

@@ -1,4 +0,0 @@
-status(blocks_world, planned).
-plan(blocks_world, [move(e, d, table), move(d, c, table), move(c, b, table), move(d, table, c), move(e, table, d)]).
-finalState(blocks_world, [on(a, table), on(b, a), on(c, table), on(d, c), on(e, d)]).
-blockCount(blocks_world, 5).

package/examples/eyelang/output/bmi.pl DELETED Viewed

@@ -1,32 +0,0 @@
-weightKg(case, 72.0).
-heightM(case, 1.78).
-units(reason, "Inputs were already metric, so kilograms stay kilograms and centimeters are divided by 100 to obtain meters.").
-heightSquared(case, 3.1684000000000001).
-bmi(case, 22.724403484408533).
-bmi(answer, 22.72).
-bmiRoundedInt(case, 2272).
-healthyMinKg(case, 58.615400000000001).
-healthyMinKg(answer, 58.6).
-healthyMaxKg(case, 78.893159999999995).
-healthyMaxKg(answer, 78.9).
-healthyMinKgRoundedInt(case, 586).
-healthyMaxKgRoundedInt(case, 789).
-category(decision, "Normal").
-category(answer, "Normal").
-heightCm(answer, 178).
-heightCm(report, 178).
-formula(reason, "BMI is defined as weight in kilograms divided by height in meters squared.").
-calculation(reason, "The normalized weight and height were used to compute BMI, then the result was mapped to the WHO adult category table.").
-categoryRule(reason, "Normal").
-unitsExplanation(reason, "Inputs were already metric, so kilograms stay kilograms and centimeters are divided by 100 to obtain meters.").
-c1(check, "OK - the input was normalized into positive SI values.").
-c2(check, "OK - height squared was reconstructed from the normalized height.").
-c3(check, "OK - the BMI value matches the BMI = kg / m² formula.").
-c4(check, "OK - a BMI of 18.49 stays below the normal-weight threshold.").
-c5(check, "OK - the lower boundary is half-open: BMI 18.5 is classified as Normal.").
-c6(check, "OK - BMI 25.0 starts the Overweight category.").
-c7(check, "OK - BMI 30.0 starts the Obesity I category.").
-c8(check, "OK - classification behavior is monotonic across representative BMI values.").
-c9(check, "OK - the healthy-weight band was reconstructed from BMI 18.5 to 24.9 at the same height.").
-result(report, bmi(22.72, "Normal")).
-healthyWeightRangeKg(report, range(58.6, 78.9)).

package/examples/eyelang/output/braking-safety-worlds.pl DELETED Viewed

@@ -1,18 +0,0 @@
-safeInWorld(city_dry, w0).
-safeInWorld(city_dry, w1).
-safeInWorld(city_dry, w2).
-safeInWorld(city_dry, w3).
-safeInWorld(highway_dry_short_gap, w1).
-safeInWorld(highway_dry_short_gap, w2).
-safeInWorld(city_wet, w0).
-safeInWorld(city_wet, w1).
-safeInWorld(city_wet, w2).
-safeInWorld(city_ice, w2).
-riskyInWorld(highway_dry_short_gap, w0).
-riskyInWorld(highway_dry_short_gap, w3).
-riskyInWorld(city_wet, w3).
-riskyInWorld(city_ice, w0).
-riskyInWorld(city_ice, w1).
-riskyInWorld(city_ice, w3).
-status(braking_safety_worlds, expected_world_pattern).
-reason(braking_safety_worlds, "simplified and naive worlds can be optimistic while the cautious world tightens the reference model").

package/examples/eyelang/output/buck-converter-design.pl DELETED Viewed

@@ -1,6 +0,0 @@
-dutyCycle(regulator1, 0.20833333333333334).
-inductorRipple_A(regulator1, 0.35984848484848486).
-rippleRatio(regulator1, 0.17992424242424243).
-capacitorRipple_V(regulator1, 0.0019140876853642812).
-status(regulator1, stable_ripple_design).
-reason(regulator1, "inductor-current and output-voltage ripple are below design limits").

package/examples/eyelang/output/cache-performance.pl DELETED Viewed

@@ -1,4 +0,0 @@
-hitRate(api_cache, 0.85999999999999999).
-averageLatency_ms(api_cache, 15.5).
-status(api_cache, cache_effective).
-reason(api_cache, "hit rate is above target and average latency is below limit").

package/examples/eyelang/output/canary-release.pl DELETED Viewed

@@ -1,5 +0,0 @@
-errorRate(canary42, 0.014999999999999999).
-p95Latency_ms(canary42, 180.0).
-latencyCheck(canary42, ok).
-status(canary42, rollback_recommended).
-reason(canary42, "canary error rate exceeds the allowed budget").

package/examples/eyelang/output/cat-koko.pl DELETED Viewed

@@ -1,3 +0,0 @@
-type(sk_0, cat).
-type(sk_1, british_short_hair).
-is(test, true).

package/examples/eyelang/output/clinical-trial-screening.pl DELETED Viewed

@@ -1,9 +0,0 @@
-type(p001, trial_candidate).
-status(p001, eligible).
-status(p002, screen_fail).
-status(p003, screen_fail).
-status(p004, screen_fail).
-reason(p001, "meets inclusion criteria and no listed exclusion").
-reason(p002, "eGFR below renal safety threshold").
-reason(p003, "pregnancy exclusion applies").
-reason(p004, "HbA1c is outside protocol range").

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

	@@ -1,2 +0,0 @@
1	- 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]]).
2	- count(combinations_5_choose_3, 10).

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

@@ -1,6 +0,0 @@
-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.pl DELETED Viewed

@@ -1 +0,0 @@

- 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 DELETED Viewed

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

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

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

package/examples/eyelang/output/context-schema-audit.pl DELETED Viewed

@@ -1,12 +0,0 @@
-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/eyelang/output/control-system.pl DELETED Viewed

@@ -1,6 +0,0 @@
-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/cyclic-path.pl DELETED Viewed

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

	@@ -1,2 +0,0 @@
1	- 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]]).
2	- subgroupCount(d3_group, 6).

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

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

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

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

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

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

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

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

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

@@ -1,31 +0,0 @@
-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/deontic-logic.pl DELETED Viewed

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

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

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

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

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

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

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

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

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

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