eyeprolog 0.5.3

package/examples/output/dog.pl

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

package/examples/output/donald-gerald-robert.pl

@@ -0,0 +1,5 @@
+pandigital_cryptarithm_answer(naive_search_space, permutations(10, 3628800)).
+pandigital_cryptarithm_answer(assignments, solution(5, 2, 6, 4, 8, 1, 9, 7, 3, 0)).
+pandigital_cryptarithm_answer(equation, equation(526485, 197485, 723970)).
+pandigital_cryptarithm_answer(digit_usage, [5, 2, 6, 4, 8, 1, 9, 7, 3, 0]).
+pandigital_cryptarithm_answer(solution_count, 1).

package/examples/output/dpv-odrl-purpose-mapping.pl

@@ -0,0 +1 @@
+dpv_odrl_purpose_mapping([mapping(data_controller, hospital_a, assigner), mapping(recipient, research_partner, assignee), mapping(personal_data, lab_result, target), mapping(processing, dpv_use, action), mapping(purpose, dpv_healthcare, constraint(alpha_purpose_constraint)), mapping(legal_basis, dpv_consent, constraint(alpha_basis_constraint))]).

package/examples/output/drone-corridor-planner.pl

@@ -0,0 +1,17 @@
+gps_plan(d1, plan([fly_gent_brugge, public_coastline_brugge_oostende], 2800.0, 0.012, 0.96029999999999993, 0.95039999999999991, low, none, [t, t, t, t, t])).
+gps_plan(d1, plan([fly_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3250.0, 0.014, 0.94109399999999999, 0.95039999999999991, low, yes, [t, t, t, t])).
+gps_plan(d1, plan([fly_gent_brugge, buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.94984520399999994, 0.97019999999999995, mid, yes, [t, t, t])).
+gps_plan(d1, plan([fly_gent_brugge, buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende], 3550.0, 0.017000000000000001, 0.94499905500000003, 0.931392, mid, yes, [t, t, t])).
+gps_plan(d1, plan([fly_gent_brugge, topup_brugge, public_coastline_brugge_oostende], 3100.0, 0.015000000000000001, 0.96428475000000002, 0.931392, mid, none, [t, t, t, t])).
+gps_plan(d1, plan([fly_gent_brugge, topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.94984520399999994, 0.97019999999999995, mid, yes, [t, t, t])).
+gps_plan(d1, plan([fly_gent_brugge, topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3550.0, 0.017000000000000001, 0.94499905500000003, 0.931392, mid, yes, [t, t, t])).
+gps_plan(d1, plan([train_gent_brugge, public_coastline_brugge_oostende], 2900.0, 0.018000000000000002, 0.97402500000000003, 0.95519999999999994, mid, none, [t, t, t, t, t])).
+gps_plan(d1, plan([train_gent_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3050.0, 0.018000000000000002, 0.95943959999999995, 0.995, mid, yes, [t, t, t, t])).
+gps_plan(d1, plan([train_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3350.0, 0.02, 0.95454450000000002, 0.95519999999999994, mid, yes, [t, t, t, t])).
+gps_plan(d1, plan([fly_gent_kortrijk, fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675195999995, 0.9506969999999999, mid, yes, [t, t])).
+gps_plan(d1, plan([fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5000.0, 0.024, 0.95464190250000003, 0.91266911999999989, mid, none, [t, t, t])).
+gps_plan(d1, plan([fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675195999995, 0.9506969999999999, mid, yes, [t, t])).
+gps_plan(d1, plan([fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5000.0, 0.023, 0.95857796449800003, 0.9506969999999999, mid, yes, [t, t])).
+gps_plan(d1, plan([fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5300.0, 0.025000000000000001, 0.95368726059749998, 0.91266911999999989, mid, yes, [t, t])).
+gps_plan(d1, plan([fly_gent_kortrijk, get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.02, 0.94356004544999994, 0.86526000000000003, mid, yes, [t, t, t])).
+gps_plan(d1, plan([fly_gent_kortrijk, emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.019999999999999997, 0.94356004544999994, 0.86526000000000003, mid, yes, [t, t, t])).

package/examples/output/easter-computus.pl

@@ -0,0 +1,30 @@
+easterDate(y2026, date(2026, april, 5)).
+easterDate(y2027, date(2027, march, 28)).
+easterDate(y2028, date(2028, april, 16)).
+easterDate(y2029, date(2029, april, 1)).
+easterDate(y2030, date(2030, april, 21)).
+easterDate(y2031, date(2031, april, 13)).
+easterDate(y2032, date(2032, march, 28)).
+easterDate(y2033, date(2033, april, 17)).
+easterDate(y2034, date(2034, april, 9)).
+easterDate(y2035, date(2035, march, 25)).
+computusRemainders(y2026, remainders(12, 12, 2)).
+computusRemainders(y2027, remainders(13, 1, 5)).
+computusRemainders(y2028, remainders(14, 20, 5)).
+computusRemainders(y2029, remainders(15, 9, 1)).
+computusRemainders(y2030, remainders(16, 28, 2)).
+computusRemainders(y2031, remainders(17, 17, 5)).
+computusRemainders(y2032, remainders(18, 6, 0)).
+computusRemainders(y2033, remainders(0, 24, 2)).
+computusRemainders(y2034, remainders(1, 13, 5)).
+computusRemainders(y2035, remainders(2, 2, 1)).
+legalGregorianWindow(y2026, true).
+legalGregorianWindow(y2027, true).
+legalGregorianWindow(y2028, true).
+legalGregorianWindow(y2029, true).
+legalGregorianWindow(y2030, true).
+legalGregorianWindow(y2031, true).
+legalGregorianWindow(y2032, true).
+legalGregorianWindow(y2033, true).
+legalGregorianWindow(y2034, true).
+legalGregorianWindow(y2035, true).

package/examples/output/electrical-rc-filter.pl

@@ -0,0 +1,3 @@
+type(filter1, first_order_low_pass).
+timeConstant_s(filter1, 0.01).
+cutoffFrequency_Hz(filter1, 15.915494309189533).

package/examples/output/enigma1225.pl

@@ -0,0 +1 @@
+enigma1225(8, [[2, 1, 4, 3, 6, 5, 8, 7], [[1, 1, 2, 3, 4, 5, 6, 7], [1, 1, 3, 2, 5, 4, 7, 6], [3, 2, 8, 8, 9, 10, 11, 12], [2, 3, 8, 8, 10, 9, 12, 11], [5, 4, 10, 9, 13, 13, 14, 15], [4, 5, 9, 10, 13, 13, 15, 14], [7, 6, 12, 11, 15, 14, 16, 16], [6, 7, 11, 12, 14, 15, 16, 16]], 544]).

package/examples/output/epidemic-policy.pl

@@ -0,0 +1,14 @@
+status(no_mandate, insufficient_control).
+status(vaccination_campaign, insufficient_control).
+status(indoor_masks, insufficient_control).
+status(vaccination_and_masks, acceptable_control).
+riskScore(no_mandate, 1.3999999999999999).
+riskScore(vaccination_campaign, 0.77000000000000002).
+riskScore(indoor_masks, 0.90999999999999992).
+riskScore(vaccination_and_masks, 0.50050000000000006).
+cost(no_mandate, 0).
+cost(vaccination_campaign, 3).
+cost(indoor_masks, 2).
+cost(vaccination_and_masks, 5).
+recommendedPolicy(epidemic_policy, vaccination_and_masks).
+reason(epidemic_policy, "combined vaccination and indoor masks are the only policy below the outbreak threshold").

package/examples/output/equality-saturation.pl

@@ -0,0 +1,5 @@
+egraphAnswer(start, add(mul(add(x, 0), 1), mul(2, add(1, 2)))).
+egraphAnswer(best, add(x, 6)).
+egraphAnswer(cost, 3).
+egraphAnswer(candidate_count, 32).
+egraphAnswer(note, "bounded equality saturation extracts the cheapest term without a real e-graph").

package/examples/output/equivalence-classes-overlap-implies-same-class.pl

@@ -0,0 +1,18 @@
+sameClassBecauseOfSharedMember(a, b, a).
+sameClassBecauseOfSharedMember(a, c, a).
+sameClassBecauseOfSharedMember(b, a, a).
+sameClassBecauseOfSharedMember(b, c, a).
+sameClassBecauseOfSharedMember(c, a, a).
+sameClassBecauseOfSharedMember(c, b, a).
+sameClassBecauseOfSharedMember(a, b, b).
+sameClassBecauseOfSharedMember(a, c, b).
+sameClassBecauseOfSharedMember(b, a, b).
+sameClassBecauseOfSharedMember(b, c, b).
+sameClassBecauseOfSharedMember(c, a, b).
+sameClassBecauseOfSharedMember(c, b, b).
+sameClassBecauseOfSharedMember(a, b, c).
+sameClassBecauseOfSharedMember(a, c, c).
+sameClassBecauseOfSharedMember(b, a, c).
+sameClassBecauseOfSharedMember(b, c, c).
+sameClassBecauseOfSharedMember(c, a, c).
+sameClassBecauseOfSharedMember(c, b, c).

package/examples/output/eulerian-path.pl

@@ -0,0 +1,3 @@
+oddVertices(eulerian_path_case, []).
+path(eulerian_path_case, [v1, v2, v3, v4, v5, v1, v3, v6, v2, v4, v6, v1]).
+edgeCount(eulerian_path_case, 11).

package/examples/output/ev-range-worlds.pl

@@ -0,0 +1,19 @@
+safeInWorld(city_errand, w1).
+safeInWorld(city_errand, w2).
+safeInWorld(city_errand, w0).
+safeInWorld(city_errand, w3).
+safeInWorld(winter_highway, w1).
+safeInWorld(heavy_delivery, w1).
+safeInWorld(heavy_delivery, w2).
+safeInWorld(heavy_delivery, w0).
+safeInWorld(cold_commute, w1).
+safeInWorld(cold_commute, w2).
+safeInWorld(cold_commute, w0).
+safeInWorld(cold_commute, w3).
+riskyInWorld(winter_highway, w2).
+riskyInWorld(winter_highway, w0).
+riskyInWorld(winter_highway, w3).
+riskyInWorld(heavy_delivery, w3).
+reason(winter_highway, "cold fast payload trip exceeds battery in physics-aware worlds").
+reason(heavy_delivery, "safety buffer turns a physics-safe delivery into a cautious risk").
+status(ev_range_worlds, expected_world_pattern).

package/examples/output/existential-rule.pl

@@ -0,0 +1,2 @@
+holds_result(socrates, human_witness(socrates)).
+holds_result(plato, human_witness(plato)).

package/examples/output/exoplanet-validation-worlds.pl

@@ -0,0 +1,22 @@
+ppvPlanetGivenDetection(rare_wide_orbit, 0.090163934426229442).
+ppvPlanetGivenDetection(mstar_short_period, 0.96116504854368934).
+ppvPlanetGivenDetection(common_hot_neptune_good, 0.91346153846153844).
+ppvPlanetGivenDetection(common_hot_neptune_low_spec, 0.76000000000000001).
+confirmsInWorld(mstar_short_period, w0).
+confirmsInWorld(common_hot_neptune_good, w0).
+confirmsInWorld(rare_wide_orbit, w1).
+confirmsInWorld(mstar_short_period, w1).
+confirmsInWorld(common_hot_neptune_good, w1).
+confirmsInWorld(common_hot_neptune_low_spec, w1).
+confirmsInWorld(mstar_short_period, w2).
+confirmsInWorld(common_hot_neptune_good, w2).
+confirmsInWorld(mstar_short_period, w3).
+rejectsInWorld(rare_wide_orbit, w0).
+rejectsInWorld(common_hot_neptune_low_spec, w0).
+rejectsInWorld(rare_wide_orbit, w2).
+rejectsInWorld(common_hot_neptune_low_spec, w2).
+rejectsInWorld(rare_wide_orbit, w3).
+rejectsInWorld(common_hot_neptune_good, w3).
+rejectsInWorld(common_hot_neptune_low_spec, w3).
+status(exoplanet_validation_worlds, expected_world_pattern).
+reason(exoplanet_validation_worlds, "Bayesian worlds account for occurrence and false positives while the naive world trusts sensitivity alone").

package/examples/output/expression-eval.pl

@@ -0,0 +1 @@
+result(root, 12).

package/examples/output/family-cousins.pl

@@ -0,0 +1,28 @@
+branch(dave, b).
+branch(eve, b).
+branch(frank, c).
+branch(grace, c).
+branch(heidi, b).
+branch(ivan, b).
+branch(judy, c).
+generation(bob, 1).
+generation(carol, 1).
+generation(dave, 2).
+generation(eve, 2).
+generation(frank, 2).
+generation(grace, 2).
+generation(heidi, 3).
+generation(ivan, 3).
+generation(judy, 3).
+cousin(dave, frank).
+cousin(dave, grace).
+cousin(eve, frank).
+cousin(eve, grace).
+cousin(frank, dave).
+cousin(frank, eve).
+cousin(grace, dave).
+cousin(grace, eve).
+cousin(heidi, judy).
+cousin(ivan, judy).
+cousin(judy, heidi).
+cousin(judy, ivan).

package/examples/output/fast-fourier-transform.pl

@@ -0,0 +1 @@
+fft([0, 1, 2, 3, 4, 5, 6, 7], [n(232, op('+', 216, 231)), n(231, op(*, 217, 230)), n(230, op('+', 222, 229)), n(229, op(*, 223, 228)), n(228, op('+', 224, 227)), n(227, op(*, 225, 226)), n(226, a(7)), n(225, ^(w, 4)), n(224, a(3)), n(223, ^(w, 6)), n(222, op('+', 218, 221)), n(221, op(*, 219, 220)), n(220, a(5)), n(219, ^(w, 4)), n(218, a(1)), n(217, ^(w, 7)), n(216, op('+', 208, 215)), n(215, op(*, 209, 214)), n(214, op('+', 210, 213)), n(213, op(*, 211, 212)), n(212, a(6)), n(211, ^(w, 4)), n(210, a(2)), n(209, ^(w, 6)), n(208, op('+', 204, 207)), n(207, op(*, 205, 206)), n(206, a(4)), n(205, ^(w, 4)), n(204, a(0)), n(203, op('+', 187, 202)), n(202, op(*, 188, 201)), n(201, op('+', 193, 200)), n(200, op(*, 194, 199)), n(199, op('+', 195, 198)), n(198, op(*, 196, 197)), n(197, a(7)), n(196, ^(w, 0)), n(195, a(3)), n(194, ^(w, 4)), n(193, op('+', 189, 192)), n(192, op(*, 190, 191)), n(191, a(5)), n(190, ^(w, 0)), n(189, a(1)), n(188, ^(w, 6)), n(187, op('+', 179, 186)), n(186, op(*, 180, 185)), n(185, op('+', 181, 184)), n(184, op(*, 182, 183)), n(183, a(6)), n(182, ^(w, 0)), n(181, a(2)), n(180, ^(w, 4)), n(179, op('+', 175, 178)), n(178, op(*, 176, 177)), n(177, a(4)), n(176, ^(w, 0)), n(175, a(0)), n(174, op('+', 158, 173)), n(173, op(*, 159, 172)), n(172, op('+', 164, 171)), n(171, op(*, 165, 170)), n(170, op('+', 166, 169)), n(169, op(*, 167, 168)), n(168, a(7)), n(167, ^(w, 4)), n(166, a(3)), n(165, ^(w, 2)), n(164, op('+', 160, 163)), n(163, op(*, 161, 162)), n(162, a(5)), n(161, ^(w, 4)), n(160, a(1)), n(159, ^(w, 5)), n(158, op('+', 150, 157)), n(157, op(*, 151, 156)), n(156, op('+', 152, 155)), n(155, op(*, 153, 154)), n(154, a(6)), n(153, ^(w, 4)), n(152, a(2)), n(151, ^(w, 2)), n(150, op('+', 146, 149)), n(149, op(*, 147, 148)), n(148, a(4)), n(147, ^(w, 4)), n(146, a(0)), n(145, op('+', 129, 144)), n(144, op(*, 130, 143)), n(143, op('+', 135, 142)), n(142, op(*, 136, 141)), n(141, op('+', 137, 140)), n(140, op(*, 138, 139)), n(139, a(7)), n(138, ^(w, 0)), n(137, a(3)), n(136, ^(w, 0)), n(135, op('+', 131, 134)), n(134, op(*, 132, 133)), n(133, a(5)), n(132, ^(w, 0)), n(131, a(1)), n(130, ^(w, 4)), n(129, op('+', 121, 128)), n(128, op(*, 122, 127)), n(127, op('+', 123, 126)), n(126, op(*, 124, 125)), n(125, a(6)), n(124, ^(w, 0)), n(123, a(2)), n(122, ^(w, 0)), n(121, op('+', 117, 120)), n(120, op(*, 118, 119)), n(119, a(4)), n(118, ^(w, 0)), n(117, a(0)), n(116, op('+', 100, 115)), n(115, op(*, 101, 114)), n(114, op('+', 106, 113)), n(113, op(*, 107, 112)), n(112, op('+', 108, 111)), n(111, op(*, 109, 110)), n(110, a(7)), n(109, ^(w, 4)), n(108, a(3)), n(107, ^(w, 6)), n(106, op('+', 102, 105)), n(105, op(*, 103, 104)), n(104, a(5)), n(103, ^(w, 4)), n(102, a(1)), n(101, ^(w, 3)), n(100, op('+', 92, 99)), n(99, op(*, 93, 98)), n(98, op('+', 94, 97)), n(97, op(*, 95, 96)), n(96, a(6)), n(95, ^(w, 4)), n(94, a(2)), n(93, ^(w, 6)), n(92, op('+', 88, 91)), n(91, op(*, 89, 90)), n(90, a(4)), n(89, ^(w, 4)), n(88, a(0)), n(87, op('+', 71, 86)), n(86, op(*, 72, 85)), n(85, op('+', 77, 84)), n(84, op(*, 78, 83)), n(83, op('+', 79, 82)), n(82, op(*, 80, 81)), n(81, a(7)), n(80, ^(w, 0)), n(79, a(3)), n(78, ^(w, 4)), n(77, op('+', 73, 76)), n(76, op(*, 74, 75)), n(75, a(5)), n(74, ^(w, 0)), n(73, a(1)), n(72, ^(w, 2)), n(71, op('+', 63, 70)), n(70, op(*, 64, 69)), n(69, op('+', 65, 68)), n(68, op(*, 66, 67)), n(67, a(6)), n(66, ^(w, 0)), n(65, a(2)), n(64, ^(w, 4)), n(63, op('+', 59, 62)), n(62, op(*, 60, 61)), n(61, a(4)), n(60, ^(w, 0)), n(59, a(0)), n(58, op('+', 42, 57)), n(57, op(*, 43, 56)), n(56, op('+', 48, 55)), n(55, op(*, 49, 54)), n(54, op('+', 50, 53)), n(53, op(*, 51, 52)), n(52, a(7)), n(51, ^(w, 4)), n(50, a(3)), n(49, ^(w, 2)), n(48, op('+', 44, 47)), n(47, op(*, 45, 46)), n(46, a(5)), n(45, ^(w, 4)), n(44, a(1)), n(43, ^(w, 1)), n(42, op('+', 34, 41)), n(41, op(*, 35, 40)), n(40, op('+', 36, 39)), n(39, op(*, 37, 38)), n(38, a(6)), n(37, ^(w, 4)), n(36, a(2)), n(35, ^(w, 2)), n(34, op('+', 30, 33)), n(33, op(*, 31, 32)), n(32, a(4)), n(31, ^(w, 4)), n(30, a(0)), n(29, op('+', 13, 28)), n(28, op(*, 14, 27)), n(27, op('+', 19, 26)), n(26, op(*, 20, 25)), n(25, op('+', 21, 24)), n(24, op(*, 22, 23)), n(23, a(7)), n(22, ^(w, 0)), n(21, a(3)), n(20, ^(w, 0)), n(19, op('+', 15, 18)), n(18, op(*, 16, 17)), n(17, a(5)), n(16, ^(w, 0)), n(15, a(1)), n(14, ^(w, 0)), n(13, op('+', 5, 12)), n(12, op(*, 6, 11)), n(11, op('+', 7, 10)), n(10, op(*, 8, 9)), n(9, a(6)), n(8, ^(w, 0)), n(7, a(2)), n(6, ^(w, 0)), n(5, op('+', 1, 4)), n(4, op(*, 2, 3)), n(3, a(4)), n(2, ^(w, 0)), n(1, a(0))]).

package/examples/output/fastpow.pl

@@ -0,0 +1,6 @@
+pow([2, 10], 1024.0).
+powSlow([2, 10], 1024.0).
+powMod1e6([2, 10000], 709376).
+powMod1e6([3, 10000], 200001).
+tower([2, 4], 65536).
+towerMod1e6([2, 5], 156736).

package/examples/output/fft8-numeric.pl

@@ -0,0 +1,4 @@
+fft(ramp8, [c(28, 0.0), c(-4.0, 9.6568542494923797), c(-4.0, 4.0), c(-4.0, 1.6568542494923806), c(-4, 0.0), c(-4.0, -1.6568542494923806), c(-4.0, -4.0), c(-4.0, -9.6568542494923797)]).
+fft(alternating8, [c(0, 0.0), c(0.0, 0.0), c(0.0, 0.0), c(0.0, 0.0), c(8, 0.0), c(0.0, 0.0), c(0.0, 0.0), c(0.0, 0.0)]).
+dcComponent(ramp8, c(28, 0.0)).
+dcComponent(alternating8, c(0, 0.0)).

package/examples/output/fibonacci.pl

@@ -0,0 +1,6 @@
+fibonacci(0, 0).
+fibonacci(1, 1).
+fibonacci(10, 55).
+fibonacci(100, 354224848179261915075).
+fibonacci(1000, 43466557686937456435688527675040625802564660517371780402481729089536555417949051890403879840079255169295922593080322634775209689623239873322471161642996440906533187938298969649928516003704476137795166849228875).
+fibonacci(10000, 33644764876431783266621612005107543310302148460680063906564769974680081442166662368155595513633734025582065332680836159373734790483865268263040892463056431887354544369559827491606602099884183933864652731300088830269235673613135117579297437854413752130520504347701602264758318906527890855154366159582987279682987510631200575428783453215515103870818298969791613127856265033195487140214287532698187962046936097879900350962302291026368131493195275630227837628441540360584402572114334961180023091208287046088923962328835461505776583271252546093591128203925285393434620904245248929403901706233888991085841065183173360437470737908552631764325733993712871937587746897479926305837065742830161637408969178426378624212835258112820516370298089332099905707920064367426202389783111470054074998459250360633560933883831923386783056136435351892133279732908133732642652633989763922723407882928177953580570993691049175470808931841056146322338217465637321248226383092103297701648054726243842374862411453093812206564914032751086643394517512161526545361333111314042436854805106765843493523836959653428071768775328348234345557366719731392746273629108210679280784718035329131176778924659089938635459327894523777674406192240337638674004021330343297496902028328145933418826817683893072003634795623117103101291953169794607632737589253530772552375943788434504067715555779056450443016640119462580972216729758615026968443146952034614932291105970676243268515992834709891284706740862008587135016260312071903172086094081298321581077282076353186624611278245537208532365305775956430072517744315051539600905168603220349163222640885248852433158051534849622434848299380905070483482449327453732624567755879089187190803662058009594743150052402532709746995318770724376825907419939632265984147498193609285223945039707165443156421328157688908058783183404917434556270520223564846495196112460268313970975069382648706613264507665074611512677522748621598642530711298441182622661057163515069260029861704945425047491378115154139941550671256271197133252763631939606902895650288268608362241082050562430701794976171121233066073310059947366875).

package/examples/output/field-nitrogen-balance.pl

@@ -0,0 +1,21 @@
+status(low_input, under_supplied).
+status(balanced_loam, balanced).
+status(sandy_high, over_supplied).
+status(clay_surplus, over_supplied).
+availableN_kg_ha(low_input, 58.5).
+availableN_kg_ha(balanced_loam, 110.0).
+availableN_kg_ha(sandy_high, 117.0).
+availableN_kg_ha(clay_surplus, 147.20000000000002).
+deficitN_kg_ha(low_input, 51.5).
+deficitN_kg_ha(balanced_loam, 0.0).
+deficitN_kg_ha(sandy_high, 0.0).
+deficitN_kg_ha(clay_surplus, 0.0).
+surplusN_kg_ha(sandy_high, 12.0).
+surplusN_kg_ha(clay_surplus, 27.200000000000017).
+surplusN_kg_ha(low_input, 0.0).
+surplusN_kg_ha(balanced_loam, 0.0).
+leachingIndex(sandy_high, 4.1999999999999993).
+leachingIndex(clay_surplus, 2.1760000000000015).
+leachingIndex(low_input, 0.0).
+leachingIndex(balanced_loam, 0.0).
+highestLeachingRisk(field_nitrogen_balance, sandy_high).

package/examples/output/flandor.pl

@@ -0,0 +1,43 @@
+caseName(case, "flandor").
+regionName(flanders, "Flanders").
+metric(macroInsight, "regional_retooling_priority").
+alg(signature, "HMAC-SHA256").
+payloadHashSHA256(signature, "718f5b17d07ab6a95503bc04a1000ddb132409f600659c03d21def81914b780b").
+signatureHMAC(signature, "955968ca99a191783bc00cba068128ccb9ff40a5e6114fda13a52c74ee27329e").
+auditEntries(case, 1).
+filesWritten(case, 6).
+exportWeakness(case, true).
+skillsStrain(case, true).
+gridStress(case, true).
+needsRetoolingPulse(case, true).
+derivedFromNeed(case, "regional_retooling_and_flexibility").
+activeNeedCount(answer, 3).
+activeNeedThreshold(answer, 3).
+recommendedPackageName(answer, "Flandor Retooling Pulse").
+budgetCapMEUR(answer, 140).
+packageCostMEUR(answer, 120).
+envelopeExpiresAt(answer, "2026-04-08T19:00:00+00:00").
+workerCoverage(why, 1200).
+gridReliefMW(why, 85).
+outcome(decision, "Allowed").
+target(decision, macroInsight).
+allChecksPass(result, true).
+signatureVerifies(check, true).
+payloadHashMatches(check, true).
+hmacMatches(check, true).
+minimizationStripsSensitiveTerms(check, true).
+scopeComplete(check, true).
+authorizationAllowed(check, true).
+thresholdReached(check, true).
+packageWithinBudget(check, true).
+packageCoversAllNeeds(check, true).
+dutyTimingConsistent(check, true).
+surveillanceReuseProhibited(check, true).
+filesWrittenExpected(check, true).
+lowestCostEligiblePackageChosen(check, true).
+reason(whyExportWeakness, "Export weakness is active because at least one cluster has exportOrdersIndex < 90 (Antwerp chemicals=84, Ghent manufacturing=87).").
+reason(whySkillsStrain, "Skills strain is active because technical vacancy rate is 4.6% (threshold > 3.9%).").
+reason(whyGridStress, "Grid stress is active because congestion hours = 19 (threshold > 11).").
+reason(whyRecommendationPolicy, "The recommendation policy is \"lowest_cost_package_covering_all_active_needs\", so the cheapest package that covers all active needs within budget is selected.").
+reason(whySelectedPackage, "Selected package \"Flandor Retooling Pulse\" covers export=true, skills=true, grid=true, cost=€120M.").
+reason(whyUsage, "Usage is permitted only for purpose \"regional_stabilization\" and the envelope expires at 2026-04-08T19:00:00+00:00.").

package/examples/output/floating-point.pl

@@ -0,0 +1,9 @@
+value(sum, 3.75).
+value(difference, 6.875).
+value(product, 10.0).
+value(quotient, 3.75).
+value(sqrtByPower, 3.0).
+value(mathSum, 1.0).
+value(mathProduct, 3.0).
+value(comfortable, true).
+than(warmer, targetC).

package/examples/output/four-color-map.pl

@@ -0,0 +1,3 @@
+color(map_eu, [[belgium, yellow], [netherlands, green], [luxemburg, green], [france, blue], [germany, red], [italy, red], [denmark, green], [ireland, red], [greece, red], [spain, green], [portugal, red], [austria, yellow], [sweden, green], [finland, red], [cyprus, red], [malta, red], [poland, blue], [hungary, blue], [czech_republic, green], [slovakia, red], [slovenia, green], [estonia, red], [latvia, green], [lithuania, red], [bulgaria, green], [romania, red], [croatia, red]]).
+status(map_eu, valid_four_colour_assignment).
+reason(map_eu, "no neighbouring countries share a colour").

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/goldbach.pl

@@ -0,0 +1,34 @@
+case(4, [2, 2]).
+case(8, [3, 5]).
+case(16, [3, 13]).
+case(32, [3, 29]).
+case(64, [3, 61]).
+case(128, [19, 109]).
+case(256, [5, 251]).
+case(512, [3, 509]).
+case(1024, [3, 1021]).
+case(2048, [19, 2029]).
+case(4096, [3, 4093]).
+case(8192, [13, 8179]).
+case(16384, [3, 16381]).
+case(32768, [19, 32749]).
+case(65536, [17, 65519]).
+case(131072, [13, 131059]).
+case(262144, [5, 262139]).
+case(524288, [19, 524269]).
+case(1048576, [3, 1048573]).
+case(2097152, [19, 2097133]).
+case(4194304, [3, 4194301]).
+case(8388608, [37, 8388571]).
+case(16777216, [3, 16777213]).
+case(33554432, [61, 33554371]).
+case(67108864, [5, 67108859]).
+case(134217728, [79, 134217649]).
+case(268435456, [89, 268435367]).
+case(536870912, [3, 536870909]).
+case(1073741824, [41, 1073741783]).
+case(2147483648, [19, 2147483629]).
+case(4294967296, [5, 4294967291]).
+case(8589934592, [79, 8589934513]).
+case(17179869184, [41, 17179869143]).
+case(34359738368, [31, 34359738337]).

package/examples/output/good-cobbler.pl

@@ -0,0 +1 @@
+holds_result(test, holds_result(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/graph.pl

@@ -0,0 +1,21 @@
+path(paris, orleans).
+path(paris, chartres).
+path(paris, amiens).
+path(orleans, blois).
+path(orleans, bourges).
+path(blois, tours).
+path(chartres, lemans).
+path(lemans, angers).
+path(lemans, tours).
+path(angers, nantes).
+path(paris, blois).
+path(paris, bourges).
+path(paris, tours).
+path(paris, lemans).
+path(paris, angers).
+path(paris, nantes).
+path(orleans, tours).
+path(chartres, angers).
+path(chartres, tours).
+path(chartres, nantes).
+path(lemans, nantes).

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]).