eyeling 1.32.1 → 1.33.1

package/examples/eyelang/output/quadratic-formula.pl

@@ -0,0 +1,6 @@
+discriminant(eq1, 1.0).
+discriminant(eq2, 64.0).
+root(eq1, 3.0).
+root(eq2, 3.0).
+root(eq1, 2.0).
+root(eq2, -1.0).

package/examples/eyelang/output/quine-mccluskey.pl

@@ -0,0 +1,3 @@
+primeImplicants(quine_mccluskey, [[0, 0, x, x], [0, x, x, 1], [x, x, 1, 1]]).
+minimalCover(quine_mccluskey, [[0, 0, x, x], [x, x, 1, 1]]).
+equation(quine_mccluskey, "f = ~A~B + CD").

package/examples/eyelang/output/radioactive-decay.pl

@@ -0,0 +1,5 @@
+halfLivesElapsed(iodine_sample, 2.0).
+remainingActivity_Bq(iodine_sample, 20.0).
+decayedActivity_Bq(iodine_sample, 60.0).
+status(iodine_sample, low_activity).
+reason(iodine_sample, "two half-lives leave one quarter of the initial activity").

package/examples/eyelang/output/resilient-city-orchestration.pl

@@ -0,0 +1,67 @@
+incidentSummary(civic_storm, summary("CivicStorm Alpha", "protect people, medicine, and power without using prohibited surveillance", budget(105), riskCap(60))).
+activeSignal(civic_storm, river_surge).
+activeSignal(civic_storm, hospital_power_risk).
+activeSignal(civic_storm, medicine_cold_chain_risk).
+activeSignal(civic_storm, grid_stress).
+criticalNeed(civic_storm, evacuate_hospital).
+criticalNeed(civic_storm, deliver_medicine).
+criticalNeed(civic_storm, stabilize_substation).
+criticalNeed(civic_storm, open_shelter).
+criticalNeed(civic_storm, map_flood_front).
+policyClearance(medical_transport, deploy).
+policyClearance(cold_chain, deploy).
+policyClearance(grid_repair, deploy).
+policyClearance(shelter_ops, deploy).
+policyClearance(drone_mapping, deploy).
+policyClearance(public_info, deploy).
+usableRoute(hospital_quay, route([base, north_gate, hospital_quay], minutes(22), risk(9))).
+usableRoute(clinic_east, route([base, cold_depot, clinic_east], minutes(19), risk(5))).
+usableRoute(substation_east, route([base, north_gate, substation_east], minutes(31), risk(10))).
+usableRoute(high_school, route([base, civic_center, high_school], minutes(17), risk(4))).
+usableRoute(riverside, route([base, civic_center, riverside], minutes(21), risk(6))).
+usableRoute(civic_square, route([base, civic_center, civic_square], minutes(15), risk(3))).
+eligibleAssignment(evacuate_hospital, assignment(alpha_ambulance, [base, north_gate, hospital_quay])).
+eligibleAssignment(deliver_insulin, assignment(beta_coldchain, [base, cold_depot, clinic_east])).
+eligibleAssignment(stabilize_substation, assignment(delta_grid, [base, north_gate, substation_east])).
+eligibleAssignment(open_school_shelter, assignment(gamma_shelter, [base, civic_center, high_school])).
+eligibleAssignment(map_flood_front, assignment(echo_drone, [base, civic_center, riverside])).
+eligibleAssignment(public_dashboard, assignment(foxtrot_comms, [base, civic_center, civic_square])).
+candidateMission(evacuate_hospital, score(95, 34, 14, alpha_ambulance, [base, north_gate, hospital_quay])).
+candidateMission(deliver_insulin, score(70, 16, 9, beta_coldchain, [base, cold_depot, clinic_east])).
+candidateMission(stabilize_substation, score(85, 25, 18, delta_grid, [base, north_gate, substation_east])).
+candidateMission(open_school_shelter, score(60, 14, 6, gamma_shelter, [base, civic_center, high_school])).
+candidateMission(map_flood_front, score(45, 8, 8, echo_drone, [base, civic_center, riverside])).
+candidateMission(public_dashboard, score(28, 12, 4, foxtrot_comms, [base, civic_center, civic_square])).
+blockedMission(face_scan_crowds, policy_prohibition).
+blockedMission(resupply_west_bank, route_risk_too_high).
+bestResponse(civic_storm, response(value(355), cost(97), risk(55), missions([evacuate_hospital, deliver_insulin, stabilize_substation, open_school_shelter, map_flood_front]))).
+selectedMission(civic_storm, evacuate_hospital).
+selectedMission(civic_storm, deliver_insulin).
+selectedMission(civic_storm, stabilize_substation).
+selectedMission(civic_storm, open_school_shelter).
+selectedMission(civic_storm, map_flood_front).
+selectedTeam(evacuate_hospital, alpha_ambulance).
+selectedTeam(deliver_insulin, beta_coldchain).
+selectedTeam(stabilize_substation, delta_grid).
+selectedTeam(open_school_shelter, gamma_shelter).
+selectedTeam(map_flood_front, echo_drone).
+selectedRoute(evacuate_hospital, [base, north_gate, hospital_quay]).
+selectedRoute(deliver_insulin, [base, cold_depot, clinic_east]).
+selectedRoute(stabilize_substation, [base, north_gate, substation_east]).
+selectedRoute(open_school_shelter, [base, civic_center, high_school]).
+selectedRoute(map_flood_front, [base, civic_center, riverside]).
+coveredNeed(civic_storm, evacuate_hospital).
+coveredNeed(civic_storm, deliver_medicine).
+coveredNeed(civic_storm, stabilize_substation).
+coveredNeed(civic_storm, open_shelter).
+coveredNeed(civic_storm, map_flood_front).
+unmetNeed(civic_storm, none).
+readinessCheck(civic_storm, all_critical_needs_covered).
+readinessCheck(civic_storm, budget_and_risk_caps_respected).
+readinessCheck(civic_storm, prohibited_surveillance_rejected).
+readinessCheck(civic_storm, dangerous_west_bank_route_rejected).
+auditTrail(civic_storm, "raw sensor thresholds derive operational needs before search").
+auditTrail(civic_storm, "policy formula data is projected into deployable skill clearances").
+auditTrail(civic_storm, "bounded route search and team capabilities create candidate missions").
+auditTrail(civic_storm, "bounded_subset and aggregate_max choose the highest-value safe portfolio").
+recommendation(civic_storm, "activate the selected mission portfolio; do not deploy face recognition; defer west-bank resupply until route risk drops").

package/examples/eyelang/output/riemann-hypothesis.pl

@@ -0,0 +1,12 @@
+rh(scope, finite_catalog_only).
+rh(caveat, "finite catalogue evidence only; this is not a proof of RH").
+rh(status, no_counterexample_in_catalog).
+zero_check(z1, real_part, 0.5).
+zero_check(z2, real_part, 0.5).
+zero_check(z3, real_part, 0.5).
+zero_check(z1, imaginary_part, 14.134725).
+zero_check(z2, imaginary_part, 21.02204).
+zero_check(z3, imaginary_part, 25.010858).
+zero_check(z1, classification, on_critical_line).
+zero_check(z2, classification, on_critical_line).
+zero_check(z3, classification, on_critical_line).

package/examples/eyelang/output/sat-dpll.pl

@@ -0,0 +1,5 @@
+status(sat_instance, satisfiable).
+witness(sat_instance, [value(a, false), value(b, true), value(c, false), value(d, true), value(e, false), value(f, true), value(g, false), value(h, true)]).
+modelCount(sat_instance, 18).
+variableCount(sat_instance, 8).
+clauseCount(sat_instance, 12).

package/examples/eyelang/output/security-incident-correlation.pl

@@ -0,0 +1,3 @@
+type(inc42, confirmed_compromise).
+status(inc42, escalate_to_incident_response).
+reason(inc42, "privileged credential abuse, malware on a critical endpoint, C2 contact, and exploitable RCE are correlated").

package/examples/eyelang/output/service-impact.pl

@@ -0,0 +1,11 @@
+impactedByFailureOf(checkout_api, payment_service).
+impactedByFailureOf(risk_rules, payment_service).
+impactedByFailureOf(web_store, payment_service).
+impactedByFailureOf(mobile_app, payment_service).
+impactedByFailureOf(payment_service, payment_service).
+impactedByFailureOf(fraud_service, payment_service).
+status(payment_service, failed).
+businessFunctionAtRisk(place_order, true).
+businessFunctionAtRisk(mobile_checkout, true).
+businessFunctionAtRisk(collect_payment, true).
+businessFunctionAtRisk(screen_fraud, true).

package/examples/eyelang/output/sieve.pl

@@ -0,0 +1 @@
+primes(1000, [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, 503, 509, 521, 523, 541, 547, 557, 563, 569, 571, 577, 587, 593, 599, 601, 607, 613, 617, 619, 631, 641, 643, 647, 653, 659, 661, 673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743, 751, 757, 761, 769, 773, 787, 797, 809, 811, 821, 823, 827, 829, 839, 853, 857, 859, 863, 877, 881, 883, 887, 907, 911, 919, 929, 937, 941, 947, 953, 967, 971, 977, 983, 991, 997]).

package/examples/eyelang/output/skolem-functions.pl

@@ -0,0 +1,16 @@
+type(skolem_observation(alice, glucose), observation).
+type(skolem_observation(alice, cholesterol), observation).
+type(skolem_observation(bob, glucose), observation).
+type(skolem_alert(alice, glucose), highGlucoseAlert).
+patient(skolem_observation(alice, glucose), alice).
+patient(skolem_observation(alice, cholesterol), alice).
+patient(skolem_observation(bob, glucose), bob).
+test(skolem_observation(alice, glucose), glucose).
+test(skolem_observation(alice, cholesterol), cholesterol).
+test(skolem_observation(bob, glucose), glucose).
+value(skolem_observation(alice, glucose), 6.8).
+value(skolem_observation(alice, cholesterol), 4.2).
+value(skolem_observation(bob, glucose), 5.1).
+about(skolem_alert(alice, glucose), skolem_observation(alice, glucose)).
+sameInputsSameId(skolemDemo, true).
+noObservationClash(skolemDemo, true).

package/examples/eyelang/output/socket-age.pl

@@ -0,0 +1 @@
+ageAbove(patH, "P80Y").

package/examples/eyelang/output/socket-family.pl

@@ -0,0 +1,3 @@
+ancestor(pat, jan).
+ancestor(jan, emma).
+ancestor(pat, emma).

package/examples/eyelang/output/socrates.n3

@@ -0,0 +1 @@
+rdf(iri("http://example.org/socrates#Socrates"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("http://example.org/socrates#Mortal")).

package/examples/eyelang/output/socrates.pl

@@ -0,0 +1,2 @@
+type(socrates, mortal).
+is(test, true).

package/examples/eyelang/output/statistics-summary.pl

@@ -0,0 +1,4 @@
+mean(scores, 5.0).
+count(scores, 8).
+populationVariance(scores, 4.0).
+populationStddev(scores, 2.0).

package/examples/eyelang/output/sudoku.pl

@@ -0,0 +1,2 @@
+solution(classic, [[1, 6, 2, 8, 5, 7, 4, 9, 3], [5, 3, 4, 1, 2, 9, 6, 7, 8], [7, 8, 9, 6, 4, 3, 5, 2, 1], [4, 7, 5, 3, 1, 2, 9, 8, 6], [9, 1, 3, 5, 8, 6, 7, 4, 2], [6, 2, 8, 7, 9, 4, 1, 3, 5], [3, 5, 6, 4, 7, 8, 2, 1, 9], [2, 4, 1, 9, 3, 5, 8, 6, 7], [8, 9, 7, 2, 6, 1, 3, 5, 4]]).
+solution(third, [[4, 7, 8, 2, 6, 9, 1, 3, 5], [2, 9, 5, 1, 7, 3, 4, 8, 6], [1, 3, 6, 4, 5, 8, 7, 9, 2], [9, 4, 2, 6, 3, 5, 8, 7, 1], [8, 1, 7, 9, 4, 2, 5, 6, 3], [6, 5, 3, 8, 1, 7, 2, 4, 9], [7, 2, 1, 3, 9, 4, 6, 5, 8], [5, 6, 9, 7, 8, 1, 3, 2, 4], [3, 8, 4, 5, 2, 6, 9, 1, 7]]).

package/examples/eyelang/output/superdense-coding.pl

@@ -0,0 +1,6 @@
+decodesAs(message(1), 1).
+decodesAs(message(3), 3).
+decodesAs(message(0), 0).
+decodesAs(message(2), 2).
+preservesMessage(protocol, true).
+cancelsCrossTalk(protocol, true).

package/examples/eyelang/output/traveling-salesman.pl

@@ -0,0 +1 @@
+optimalTour([aaa, bbb, ccc, ddd, eee, fff, ggg], [[aaa, bbb, fff, ccc, eee, ddd, ggg], 75]).

package/examples/eyelang/output/triple-term.n3

@@ -0,0 +1,2 @@
+rdf(iri("http://example.org/triple-term#alice"), iri("http://example.org/triple-term#reportedKnower"), iri("http://example.org/triple-term#bob")).
+rdf(iri("http://example.org/triple-term#alice"), iri("http://example.org/triple-term#reportedKnown"), iri("http://example.org/triple-term#carol")).

package/examples/eyelang/output/turing.pl

@@ -0,0 +1,12 @@
+input(case1, [1, 0, 1, 0, 0, 1]).
+input(case2, [1, 0, 1, 1, 1, 1]).
+input(case3, [1, 1, 1, 1, 1, 1]).
+input(case4, []).
+output(case1, [1, 0, 1, 0, 1, 0, #]).
+output(case2, [1, 1, 0, 0, 0, 0, #]).
+output(case3, [1, 0, 0, 0, 0, 0, 0, #]).
+output(case4, [1, #]).
+addsOne(case1, true).
+addsOne(case2, true).
+addsOne(case3, true).
+addsOne(case4, true).

package/examples/eyelang/output/vector-similarity.pl

@@ -0,0 +1,4 @@
+dotProduct(pair1, 12.0).
+normA(pair1, 3.7416573867739413).
+normB(pair1, 8.7749643873921226).
+cosineSimilarity(pair1, 0.36548694232390361).

package/examples/eyelang/output/witch.pl

@@ -0,0 +1,7 @@
+witch(girl).
+burns(duck).
+burns(girl).
+madeOfWood(duck).
+madeOfWood(girl).
+floats(girl).
+is(witchExample, true).

package/examples/eyelang/output/wolf-goat-cabbage.pl

@@ -0,0 +1,3 @@
+solution(puzzle, [goat, nothing, wolf, goat, cabbage, nothing, goat]).
+solution(puzzle, [goat, nothing, cabbage, goat, wolf, nothing, goat]).
+solved(puzzle, true).

package/examples/eyelang/output/zebra.pl

@@ -0,0 +1,3 @@
+waterDrinker(zebraPuzzle, norwegian).
+zebraOwner(zebraPuzzle, japanese).
+solved(zebraPuzzle, true).