seam-lang 2.0.0

package/examples/output/illegitimate-reasoning.pl

@@ -0,0 +1,15 @@
+fallacy(arg_affirming_consequent, affirming_consequent).
+fallacy(arg_denying_antecedent, denying_antecedent).
+fallacy(arg_hasty_generalization, hasty_generalization).
+fallacy(arg_false_dilemma, false_dilemma).
+type(arg_affirming_consequent, illegitimate_reasoning).
+type(arg_denying_antecedent, illegitimate_reasoning).
+type(arg_hasty_generalization, illegitimate_reasoning).
+type(arg_false_dilemma, illegitimate_reasoning).
+conclusion(arg_affirming_consequent, rain).
+conclusion(arg_denying_antecedent, neg(door_opens)).
+conclusion(arg_hasty_generalization, all(crows, black)).
+conclusion(arg_false_dilemma, approve_now).
+sampleSize(arg_hasty_generalization, 3).
+requiredSampleSize(arg_hasty_generalization, 30).
+omittedAlternative(arg_false_dilemma, revise_proposal).

package/examples/output/integer-partitions.pl

@@ -0,0 +1,4 @@
+partition_answer(p_12, 77).
+partition_answer(p_15, 176).
+partition_answer(p_16_using_parts_at_most_5, 101).
+partition_answer(cumulative_p_1_to_8, 66).

package/examples/output/intuitionistic-logic-kripke.pl

@@ -0,0 +1,5 @@
+intuitionistic_truth(monotone_p_reaches_both, both, atom(p)).
+intuitionistic_truth(constructive_case_analysis, root, implies(atom(p), or(atom(p), atom(q)))).
+intuitionistic_truth(double_negated_branch_information, root, neg(neg(or(atom(p), atom(q))))).
+intuitionistic_countermodel(root_does_not_decide_branch, root, or(atom(p), atom(q))).
+intuitionistic_countermodel(excluded_middle_not_forced, root, or(atom(p), neg(atom(p)))).

package/examples/output/job-shop-scheduling.pl

@@ -0,0 +1,3 @@
+job_shop_answer(best_makespan, 9).
+job_shop_answer(best_schedule, [op(j1_mill, 0, 3), op(j1_lathe, 3, 5), op(j2_lathe, 0, 2), op(j2_mill, 5, 9), op(j3_mill, 3, 5), op(j3_lathe, 5, 8)]).
+job_shop_answer(feasible_schedule_count, 35).

package/examples/output/knapsack-optimization.pl

@@ -0,0 +1,4 @@
+knapsack_answer(best_pack, [atlas, battery, camera, medkit, sensor]).
+knapsack_answer(total_weight, 15).
+knapsack_answer(total_value, 40).
+knapsack_answer(feasible_pack_count, 113).

package/examples/output/knowledge-engineering-alignment-flow.pl

@@ -0,0 +1,17 @@
+target_fact(msg1, sosa_madeBySensor, probe7).
+target_fact(msg1, sosa_resultTime, "2026-06-17T12:34:56Z").
+target_fact(msg1, sosa_hasSimpleResult, 18.6).
+target_fact(msg1, fpv_hasFlowStep, ingest_step).
+target_fact(msg1, sosa_hasFeatureOfInterest, platform_b).
+runtime_rule(observed_by, copy_to_target).
+runtime_rule(observed_at, copy_to_target).
+runtime_rule(temperature_celsius, copy_to_target).
+runtime_rule(in_flow, copy_to_target).
+runtime_rule(observed_feature, copy_to_target).
+target_predicate(observed_by, sosa_madeBySensor).
+target_predicate(observed_at, sosa_resultTime).
+target_predicate(temperature_celsius, sosa_hasSimpleResult).
+target_predicate(in_flow, fpv_hasFlowStep).
+target_predicate(observed_feature, sosa_hasFeatureOfInterest).
+flow_emits(ingest_step, msg1).
+trusted_by(ingest_step, probe7).

package/examples/output/knuth-bendix-completion.pl

@@ -0,0 +1,7 @@
+kbAnswer(sample_normal_form, append(a, append(b, c))).
+kbAnswer(joined_critical_pair, left_identity_assoc).
+kbAnswer(joined_critical_pair, right_identity_assoc).
+kbAnswer(joined_critical_pair, nested_assoc).
+kbAnswer(oriented_rule_count, 3).
+kbAnswer(joined_critical_pair_count, 3).
+kbAnswer(note, "a bounded completion check proves the selected critical pairs join").

package/examples/output/language.pl

@@ -0,0 +1,6 @@
+path('<urn:example:a>', '<urn:example:b>').
+path('<urn:example:b>', '<urn:example:c>').
+path('<urn:example:c>', '<urn:example:d>').
+path('<urn:example:a>', '<urn:example:c>').
+path('<urn:example:a>', '<urn:example:d>').
+path('<urn:example:b>', '<urn:example:d>').

package/examples/output/law-of-cosines.pl

@@ -0,0 +1,3 @@
+sideCSquared(tri60, 67.0).
+sideC(tri60, 8.1853527718724504).
+status(tri60, acute_triangle).

package/examples/output/least-squares-regression.pl

@@ -0,0 +1,5 @@
+slope(regression1, 0.80000000000000004).
+intercept(regression1, 1.5).
+rSquared(regression1, 0.64000000000000001).
+status(regression1, accepted_linear_fit).
+reason(regression1, "R squared meets the minimum explanatory-power threshold").

package/examples/output/linear-logic-resources.pl

@@ -0,0 +1,2 @@
+linear_result(kitchen, [mill, mix, bake], [bread]).
+linear_check(double_spend_rejected, yes).

package/examples/output/list-collection.pl

@@ -0,0 +1,3 @@
+append(letters, [a, b, c]).
+head(letters, a).
+tail(letters, [b]).

package/examples/output/lldm.pl

@@ -0,0 +1,6 @@
+type(meas47, lld_alarm).
+lld_left_length_cm(meas47, 21.548900464617255).
+lld_right_length_cm(meas47, 23.45713444515475).
+lld_discrepancy_cm(meas47, -1.9082339805374957).
+lld_threshold_cm(meas47, 1.25).
+lld_reason(meas47, "discrepancy below negative threshold").

package/examples/output/manufacturing-quality-control.pl

@@ -0,0 +1,6 @@
+cpk(line7_shift_a, 0.6666666666666673).
+cpk(line8_shift_b, 1.6666666666666607).
+status(line8_shift_b, capable_process).
+status(line7_shift_a, needs_process_adjustment).
+reason(line8_shift_b, "Cpk meets the production capability threshold").
+reason(line7_shift_a, "Cpk is below the production capability threshold").

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

@@ -0,0 +1 @@
+four_color_answer(european_union, [[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]]).

package/examples/output/markov-logic-network.pl

@@ -0,0 +1,32 @@
+mlnWeight(friend_smoking, log_weight_tenths(20)).
+mlnWeight(smoking_causes_cancer, log_weight_tenths(13)).
+mlnWeight(cancer_is_rare, log_weight_tenths(6)).
+mlnWorld(w_bob_not_smokes_not_cancer, world(smokes(bob, no), cancer(bob, no))).
+mlnWorld(w_bob_not_smokes_cancer, world(smokes(bob, no), cancer(bob, yes))).
+mlnWorld(w_bob_smokes_not_cancer, world(smokes(bob, yes), cancer(bob, no))).
+mlnWorld(w_bob_smokes_cancer, world(smokes(bob, yes), cancer(bob, yes))).
+mlnSatisfied(w_bob_smokes_not_cancer, friend_smoking).
+mlnSatisfied(w_bob_smokes_cancer, friend_smoking).
+mlnSatisfied(w_bob_not_smokes_not_cancer, smoking_causes_cancer).
+mlnSatisfied(w_bob_not_smokes_cancer, smoking_causes_cancer).
+mlnSatisfied(w_bob_smokes_cancer, smoking_causes_cancer).
+mlnSatisfied(w_bob_not_smokes_not_cancer, cancer_is_rare).
+mlnSatisfied(w_bob_smokes_not_cancer, cancer_is_rare).
+mlnViolated(w_bob_not_smokes_not_cancer, friend_smoking).
+mlnViolated(w_bob_not_smokes_cancer, friend_smoking).
+mlnViolated(w_bob_not_smokes_cancer, cancer_is_rare).
+mlnViolated(w_bob_smokes_not_cancer, smoking_causes_cancer).
+mlnViolated(w_bob_smokes_cancer, cancer_is_rare).
+mlnContribution(w_bob_smokes_not_cancer, friend_smoking, log_weight_tenths(20)).
+mlnContribution(w_bob_smokes_cancer, friend_smoking, log_weight_tenths(20)).
+mlnContribution(w_bob_not_smokes_not_cancer, smoking_causes_cancer, log_weight_tenths(13)).
+mlnContribution(w_bob_not_smokes_cancer, smoking_causes_cancer, log_weight_tenths(13)).
+mlnContribution(w_bob_smokes_cancer, smoking_causes_cancer, log_weight_tenths(13)).
+mlnContribution(w_bob_not_smokes_not_cancer, cancer_is_rare, log_weight_tenths(6)).
+mlnContribution(w_bob_smokes_not_cancer, cancer_is_rare, log_weight_tenths(6)).
+mlnWorldScore(w_bob_not_smokes_not_cancer, log_weight_tenths(19)).
+mlnWorldScore(w_bob_not_smokes_cancer, log_weight_tenths(13)).
+mlnWorldScore(w_bob_smokes_not_cancer, log_weight_tenths(26)).
+mlnWorldScore(w_bob_smokes_cancer, log_weight_tenths(33)).
+mlnMapWorld(w_bob_smokes_cancer, log_weight_tenths(33)).
+mlnConclusion(case, "MAP world predicts that Bob smokes and has cancer").

package/examples/output/matrix-chain-order.pl

@@ -0,0 +1,4 @@
+matrix_chain_answer(min_cost, 15125).
+matrix_chain_answer(best_split_1_6, 3).
+matrix_chain_answer(best_order, product(product(matrix(1), product(matrix(2), matrix(3))), product(product(matrix(4), matrix(5)), matrix(6)))).
+matrix_chain_answer(subproblem_count, 21).

package/examples/output/matrix-noncommutativity.pl

@@ -0,0 +1,3 @@
+matrix_result(ab, [[7, 2], [3, 1]]).
+matrix_result(ba, [[1, 2], [3, 7]]).
+matrix_result(commutative, false).

package/examples/output/microgrid-dispatch.pl

@@ -0,0 +1,6 @@
+renewablePower_kW(campus_interval_17, 270.0).
+batteryDispatch_kW(campus_interval_17, 240.0).
+gridImport_kW(campus_interval_17, 110.0).
+reserveAfterDispatch_kW(campus_interval_17, 80.0).
+status(campus_interval_17, stable_dispatch).
+reason(campus_interval_17, "battery dispatch covers the deficit while preserving reserve and grid contract limits").

package/examples/output/missionaries-cannibals.pl

@@ -0,0 +1,3 @@
+missionaries_cannibals_answer(first_solution, [state(3, 3, left), state(3, 1, right), state(3, 2, left), state(3, 0, right), state(3, 1, left), state(1, 1, right), state(2, 2, left), state(0, 2, right), state(0, 3, left), state(0, 1, right), state(1, 1, left), state(0, 0, right)]).
+missionaries_cannibals_answer(state_count, 10).
+missionaries_cannibals_answer(step_count, 11).

package/examples/output/modal-logic-kripke.pl

@@ -0,0 +1,4 @@
+modal_truth(all_accessible_worlds_clear, w0, box(atom(clear))).
+modal_truth(repair_is_possible, w0, diamond(atom(repaired))).
+modal_truth(nested_possibility, w1, diamond(and(atom(clear), atom(clear)))).
+modal_countermodel(repair_not_necessary, w0).

package/examples/output/modular-exponentiation.pl

@@ -0,0 +1,4 @@
+modular_answer(pow_7_560_mod_561, 1).
+modular_answer(pow_2_1000_mod_1009, 942).
+modular_answer(fermat_2_101, true).
+modular_answer(fermat_3_101, true).

package/examples/output/monkey-bananas.pl

@@ -0,0 +1,5 @@
+plan(monkeyBananas, [go(loc3), push(loc1), climb_on, grab]).
+plan(monkeyBananas, [go(loc1), go(loc3), push(loc1), climb_on, grab]).
+plan(monkeyBananas, [go(loc3), push(loc1), climb_on, grab, climb_off]).
+plan(monkeyBananas, [go(loc3), push(loc2), push(loc1), climb_on, grab]).
+solved(monkeyBananas, true).

package/examples/output/n-queens-8.pl

@@ -0,0 +1 @@
+n_queens_answer(first_solution, [1, 5, 8, 6, 3, 7, 2, 4]).

package/examples/output/network-sla.pl

@@ -0,0 +1,4 @@
+endToEndLatency_ms(edge_path, 47.0).
+slaLimit_ms(edge_path, 50.0).
+status(edge_path, sla_compliant).
+reason(edge_path, "path latency including jitter is below the SLA limit").

package/examples/output/newton-raphson.pl

@@ -0,0 +1,3 @@
+findRoot([1, 1.0, 1.0e-15], 1.4142135623730951).
+findRoot([2, 2.0, 1.0e-15], 2.7182818284590455).
+findRoot([3, 3.0, 1.0e-15], 3.1415926535897931).

package/examples/output/nixon-diamond.pl

@@ -0,0 +1,5 @@
+defaultSupports(nixon, pacifist).
+defaultSupports(nixon, hawk).
+conflict(nixon, conflict(pacifist, hawk)).
+conflict(nixon, conflict(hawk, pacifist)).
+status(nixon, conflicted_default_case).

package/examples/output/observability-log-correlation.pl

@@ -0,0 +1,28 @@
+captured_field(l1, ts, "2026-06-18T10:00:00Z").
+captured_field(l1, level, "warn").
+captured_field(l1, event, "login_failed").
+captured_field(l1, user, "alice").
+captured_field(l1, ip, "203.0.113.9").
+captured_field(l1, trace_id, "4bf92f3577b34da6a3ce929d0e0e4736").
+captured_field(l1, span_id, "00f067aa0ba902b7").
+captured_field(l1, flags, "01").
+captured_field(l2, ts, "2026-06-18T10:00:03Z").
+captured_field(l2, level, "error").
+captured_field(l2, event, "payment_denied").
+captured_field(l2, user, "alice").
+captured_field(l2, ip, "203.0.113.9").
+captured_field(l2, trace_id, "4bf92f3577b34da6a3ce929d0e0e4736").
+captured_field(l2, span_id, "aaf067aa0ba90000").
+captured_field(l2, flags, "01").
+captured_field(l3, ts, "2026-06-18T10:01:12Z").
+captured_field(l3, level, "info").
+captured_field(l3, event, "login_success").
+captured_field(l3, user, "bob").
+captured_field(l3, ip, "198.51.100.4").
+captured_field(l3, trace_id, "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa").
+captured_field(l3, span_id, "bbbbbbbbbbbbbbbb").
+captured_field(l3, flags, "01").
+parsed_event(l1, "login_failed", "alice", "203.0.113.9", "4bf92f3577b34da6a3ce929d0e0e4736").
+parsed_event(l2, "payment_denied", "alice", "203.0.113.9", "4bf92f3577b34da6a3ce929d0e0e4736").
+parsed_event(l3, "login_success", "bob", "198.51.100.4", "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa").
+trace_alert("alice", "4bf92f3577b34da6a3ce929d0e0e4736", "203.0.113.9").

package/examples/output/odrl-dpv-fpv-trust-flow.pl

@@ -0,0 +1,9 @@
+decision(flow_care, fpv_permit).
+decision(flow_clinic, fpv_review).
+decision(flow_ads, fpv_deny).
+confidence(flow_care, 0.92).
+confidence(flow_clinic, 0.63).
+status(flow_care, fpv_executable_flow).
+status(flow_ads, fpv_blocked_flow).
+risk(flow_clinic, risk_trustworthiness_risk).
+risk(flow_ads, risk_unwanted_disclosure_data).

package/examples/output/odrl-dpv-healthcare-risk-ranked.pl

@@ -0,0 +1,42 @@
+score(riskH1, 100).
+score(riskH2, 100).
+score(riskH4, 70).
+policyGraph(agreementHC1, (type(policyHC1, odrl_Policy), odrl_permission(policyHC1, permResearchUse), odrl_permission(policyHC1, permShareWithPharma), odrl_permission(policyHC1, permAutomatedTriage), odrl_permission(policyHC1, permRetention10y), type(permResearchUse, odrl_Permission), odrl_assigner(permResearchUse, hospital), odrl_assignee(permResearchUse, researchUnit), odrl_action(permResearchUse, hl7ca_use), odrl_target(permResearchUse, healthRecordData), odrl_target(permResearchUse, genomicData), odrl_constraint(permResearchUse, cResearchPurpose), odrl_leftOperand(cResearchPurpose, odrl_purpose), odrl_rightOperandReference(cResearchPurpose, purposeHMB), clause(permResearchUse, clauseH1), type(permShareWithPharma, odrl_Permission), odrl_assigner(permShareWithPharma, hospital), odrl_assignee(permShareWithPharma, pharmaPartner), odrl_action(permShareWithPharma, hl7ca_disclose), odrl_target(permShareWithPharma, genomicData), odrl_constraint(permShareWithPharma, cSharePurpose), odrl_leftOperand(cSharePurpose, odrl_purpose), odrl_rightOperandReference(cSharePurpose, purposeHMB), clause(permShareWithPharma, clauseH2), type(permAutomatedTriage, odrl_Permission), odrl_assigner(permAutomatedTriage, hospital), odrl_assignee(permAutomatedTriage, clinicalAIService), odrl_action(permAutomatedTriage, hl7ca_use), odrl_target(permAutomatedTriage, healthRecordData), odrl_constraint(permAutomatedTriage, cTriagePurpose), odrl_leftOperand(cTriagePurpose, odrl_purpose), odrl_rightOperandReference(cTriagePurpose, purposeCC), odrl_duty(permAutomatedTriage, dutyHumanReview), odrl_action(dutyHumanReview, humanReview), odrl_constraint(dutyHumanReview, cTriageEncryption), odrl_leftOperand(cTriageEncryption, encryptionAtRest), odrl_rightOperand(cTriageEncryption, true), clause(permAutomatedTriage, clauseH3), type(permRetention10y, odrl_Permission), odrl_assigner(permRetention10y, hospital), odrl_assignee(permRetention10y, hospital), odrl_action(permRetention10y, hl7ca_collect), odrl_target(permRetention10y, healthRecordData), odrl_constraint(permRetention10y, cRetentionPurpose), odrl_leftOperand(cRetentionPurpose, odrl_purpose), odrl_rightOperandReference(cRetentionPurpose, purposeCC), odrl_constraint(permRetention10y, cRetentionDays), odrl_leftOperand(cRetentionDays, retentionDays), odrl_rightOperand(cRetentionDays, 3650), clause(permRetention10y, clauseH4))).
+dpv_hasRisk(processContextHC1, riskH1).
+dpv_hasRisk(processContextHC1, riskH2).
+dpv_hasRisk(processContextHC1, riskH4).
+type(riskH1, dpv_Risk).
+type(riskH2, dpv_Risk).
+type(riskH4, dpv_Risk).
+scoreRaw(riskH1, 120).
+scoreRaw(riskH2, 125).
+scoreRaw(riskH4, 70).
+dpv_hasRiskLevel(riskH1, risk_HighRisk).
+dpv_hasRiskLevel(riskH2, risk_HighRisk).
+dpv_hasRiskLevel(riskH4, risk_ModerateRisk).
+dpv_hasSeverity(riskH1, risk_HighSeverity).
+dpv_hasSeverity(riskH2, risk_HighSeverity).
+dpv_hasSeverity(riskH4, risk_ModerateSeverity).
+aboutClause(riskH1, clauseH1).
+aboutClause(riskH2, clauseH2).
+aboutClause(riskH4, clauseH4).
+violatesNeed(riskH1, need_ConsentForResearch).
+violatesNeed(riskH2, need_DeIdentifyBeforeSharing).
+violatesNeed(riskH4, need_RetentionLimit3y).
+dct_source(riskH1, permResearchUse).
+dct_source(riskH2, permShareWithPharma).
+dct_source(riskH4, permRetention10y).
+dct_description(riskH1, "Risk: health/genomic data may be used for research without explicit opt-in consent.").
+dct_description(riskH2, "Risk: genomic data may be shared with external pharma partners without a de-identification/pseudonymisation requirement.").
+dct_description(riskH4, "Risk: retention (3650 days) exceeds patient preference (1095 days).").
+reportKey(riskH1, 900).
+reportKey(riskH2, 900).
+reportKey(riskH4, 930).
+dpv_isMitigatedByMeasure(riskH1, mitigateConsent).
+dpv_isMitigatedByMeasure(riskH2, mitigateDeId).
+dpv_isMitigatedByMeasure(riskH4, mitigateRetention).
+suggestAddGraph(mitigateConsent, (odrl_constraint(permResearchUse, cExplicitConsent), odrl_leftOperand(cExplicitConsent, explicitConsent), odrl_rightOperand(cExplicitConsent, true))).
+suggestAddGraph(mitigateDeId, (odrl_constraint(permShareWithPharma, cDeIdentified), odrl_leftOperand(cDeIdentified, deIdentified), odrl_rightOperand(cDeIdentified, true), odrl_duty(permShareWithPharma, dutyDeIdentify), odrl_action(dutyDeIdentify, deIdentify))).
+suggestAddGraph(mitigateRetention, (odrl_constraint(permRetention10y, cRetentionLimit), odrl_leftOperand(cRetentionLimit, retentionDays), odrl_rightOperand(cRetentionLimit, 1095))).
+firstRisk(report, riskH1).
+retentionRiskScore(report, 70).

package/examples/output/odrl-dpv-risk-ranked.pl

@@ -0,0 +1,120 @@
+score(risk1, 100).
+score(risk2, 85).
+score(risk3, 97).
+score(risk4, 70).
+dct_title(agreement1, "Example Agreement").
+dct_title(consumerExample, "Example consumer profile").
+dct_title(processContext1, "Service operation under Agreement1").
+dpv_hasRisk(processContext1, risk1).
+dpv_hasRisk(processContext1, risk2).
+dpv_hasRisk(processContext1, risk3).
+dpv_hasRisk(processContext1, risk4).
+type(risk1, dpv_Risk).
+type(risk2, dpv_Risk).
+type(risk3, dpv_Risk).
+type(risk4, dpv_Risk).
+type(risk1, risk_UnwantedDataDeletion).
+type(risk1, risk_DataUnavailable).
+type(risk1, risk_DataErasureError).
+type(risk1, risk_DataLoss).
+type(risk2, risk_PolicyRisk).
+type(risk2, risk_CustomerConfidenceLoss).
+type(risk3, risk_UnwantedDisclosureData).
+type(risk3, risk_CustomerConfidenceLoss).
+type(risk4, risk_PolicyRisk).
+type(risk4, risk_CustomerConfidenceLoss).
+type(src1, risk_RiskSource).
+type(src2, risk_RiskSource).
+type(src3, risk_RiskSource).
+type(src4, risk_RiskSource).
+type(src1, risk_LegalComplianceRisk).
+type(src2, risk_PolicyRisk).
+type(src3, risk_PolicyRisk).
+type(src4, risk_PolicyRisk).
+type(m11, dpv_RiskMitigationMeasure).
+type(m21, dpv_RiskMitigationMeasure).
+type(m12, dpv_RiskMitigationMeasure).
+type(m13, dpv_RiskMitigationMeasure).
+type(m14, dpv_RiskMitigationMeasure).
+firstRisk(report, risk1).
+before(riskRanking, pair(risk1, risk2)).
+before(riskRanking, pair(risk1, risk3)).
+before(riskRanking, pair(risk1, risk4)).
+before(riskRanking, pair(risk2, risk4)).
+before(riskRanking, pair(risk3, risk2)).
+before(riskRanking, pair(risk3, risk4)).
+dct_source(risk1, permDeleteAccount).
+dct_source(risk2, permChangeTerms).
+dct_source(risk3, permShareData).
+dct_source(risk4, prohibitExportData).
+dct_source(src1, permDeleteAccount).
+dct_source(src2, permChangeTerms).
+dct_source(src3, permShareData).
+dct_source(src4, prohibitExportData).
+risk_hasRiskSource(risk1, src1).
+risk_hasRiskSource(risk2, src2).
+risk_hasRiskSource(risk3, src3).
+risk_hasRiskSource(risk4, src4).
+dpv_hasConsequence(risk1, risk_DataLoss).
+dpv_hasConsequence(risk1, risk_DataUnavailable).
+dpv_hasConsequence(risk1, risk_CustomerConfidenceLoss).
+dpv_hasConsequence(risk2, risk_CustomerConfidenceLoss).
+dpv_hasConsequence(risk3, risk_CustomerConfidenceLoss).
+dpv_hasConsequence(risk4, risk_CustomerConfidenceLoss).
+dpv_hasImpact(risk1, risk_FinancialLoss).
+dpv_hasImpact(risk1, risk_NonMaterialDamage).
+dpv_hasImpact(risk2, risk_NonMaterialDamage).
+dpv_hasImpact(risk3, risk_NonMaterialDamage).
+dpv_hasImpact(risk3, risk_FinancialLoss).
+dpv_hasImpact(risk4, risk_NonMaterialDamage).
+aboutClause(risk1, clauseC1).
+aboutClause(risk2, clauseC2).
+aboutClause(risk3, clauseC3).
+aboutClause(risk4, clauseC4).
+violatesNeed(risk1, need_DataCannotBeRemoved).
+violatesNeed(risk2, need_ChangeOnlyWithPriorNotice).
+violatesNeed(risk3, need_NoSharingWithoutConsent).
+violatesNeed(risk4, need_DataPortability).
+scoreRaw(risk1, 110).
+scoreRaw(risk2, 85).
+scoreRaw(risk3, 97).
+scoreRaw(risk4, 70).
+dpv_hasSeverity(risk1, risk_HighSeverity).
+dpv_hasSeverity(risk2, risk_HighSeverity).
+dpv_hasSeverity(risk3, risk_HighSeverity).
+dpv_hasSeverity(risk4, risk_ModerateSeverity).
+dpv_hasRiskLevel(risk1, risk_HighRisk).
+dpv_hasRiskLevel(risk2, risk_HighRisk).
+dpv_hasRiskLevel(risk3, risk_HighRisk).
+dpv_hasRiskLevel(risk4, risk_ModerateRisk).
+dct_description(risk1, "Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C1: Provider may remove the user account (and associated data) at its discretion.").
+dct_description(risk2, "Risk: terms may change with notice (3 days) below consumer requirement (14 days). Clause C2: Provider may change terms by informing users at least 3 days in advance.").
+dct_description(risk3, "Risk: user data sharing is permitted without an explicit consent constraint. Clause C3: Provider may share user data with partners for business purposes.").
+dct_description(risk4, "Risk: portability is restricted because exporting user data is prohibited. Clause C4: Users are not permitted to export their data.").
+dct_description(m11, "Add a notice constraint (minimum noticeDays) before account removal.").
+dct_description(m21, "Add a duty to inform the consumer prior to account removal.").
+dct_description(m12, "Increase minimum noticeDays in the inform duty to meet the consumer requirement.").
+dct_description(m13, "Add an explicit consent constraint before data sharing.").
+dct_description(m14, "Add a permission allowing data export (or remove the prohibition) to support portability.").
+reportKey(risk1, key(900, "C1")).
+reportKey(risk2, key(915, "C2")).
+reportKey(risk3, key(903, "C3")).
+reportKey(risk4, key(930, "C4")).
+dpv_isMitigatedByMeasure(risk1, m11).
+dpv_isMitigatedByMeasure(risk1, m21).
+dpv_isMitigatedByMeasure(risk2, m12).
+dpv_isMitigatedByMeasure(risk3, m13).
+dpv_isMitigatedByMeasure(risk4, m14).
+dpv_mitigatesRisk(m11, risk1).
+dpv_mitigatesRisk(m21, risk1).
+dpv_mitigatesRisk(m12, risk2).
+dpv_mitigatesRisk(m13, risk3).
+dpv_mitigatesRisk(m14, risk4).
+clauseId(clauseC1, "C1").
+clauseId(clauseC2, "C2").
+clauseId(clauseC3, "C3").
+clauseId(clauseC4, "C4").
+text(clauseC1, "Provider may remove the user account (and associated data) at its discretion.").
+text(clauseC2, "Provider may change terms by informing users at least 3 days in advance.").
+text(clauseC3, "Provider may share user data with partners for business purposes.").
+text(clauseC4, "Users are not permitted to export their data.").

package/examples/output/orbital-transfer-design.pl

@@ -0,0 +1,7 @@
+transferSemiMajorAxis_km(mars_hohmann, 188768535.34999999).
+departureDeltaV_km_s(mars_hohmann, 2.9446911328430403).
+arrivalDeltaV_km_s(mars_hohmann, 2.6488967223855973).
+totalDeltaV_km_s(mars_hohmann, 5.5935878552286376).
+transferTime_days(mars_hohmann, 258.86582676796297).
+status(mars_hohmann, feasible_reference_transfer).
+reason(mars_hohmann, "total Hohmann transfer delta-v is within the mission budget").

package/examples/output/partial-evaluator.pl

@@ -0,0 +1,4 @@
+partialEvalAnswer(residual(poly_y), add(mul(const(10), var(y)), const(13))).
+partialEvalAnswer(residual(static_branch), const(11)).
+partialEvalAnswer(residual(dynamic_branch), if(var(flag), const(11), mul(var(y), const(2)))).
+partialEvalAnswer(note, "static inputs are folded while dynamic variables remain as residual code").

package/examples/output/path-discovery.pl

@@ -0,0 +1,3 @@
+airroute("Ostend-Bruges International Airport", "Václav Havel Airport Prague", 2, "Ostend-Bruges International Airport -> Liège Airport -> Heraklion International Nikos Kazantzakis Airport -> Václav Havel Airport Prague").
+airroute("Ostend-Bruges International Airport", "Václav Havel Airport Prague", 2, "Ostend-Bruges International Airport -> Liège Airport -> Diagoras Airport -> Václav Havel Airport Prague").
+airroute("Ostend-Bruges International Airport", "Václav Havel Airport Prague", 2, "Ostend-Bruges International Airport -> Liège Airport -> Palma De Mallorca Airport -> Václav Havel Airport Prague").

package/examples/output/peano-arithmetic.pl

@@ -0,0 +1,3 @@
+factorial(0, s(0)).
+factorial(s(0), s(0)).
+factorial(s(s(s(s(s(0))))), s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(0))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))).

package/examples/output/peano-calculus.pl

@@ -0,0 +1,3 @@
+peano_answer(two_plus_three, s(s(s(s(s(z)))))).
+peano_answer(two_times_three, s(s(s(s(s(s(z))))))).
+peano_answer(factorial_four, s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(z))))))))))))))))))))))))).

package/examples/output/peasant.pl

@@ -0,0 +1,10 @@
+prod([3, 0], 0).
+prod([5, 6], 30).
+prod([238, 13], 3094).
+prod([8367238, 27133], 227028268654).
+prod([62713345408367238, 40836723862713345], 2561007568948454773873964883391110).
+prod([4083672386271334562713345408367238, 4083672386271334562713345408367238], 16676380158395015918313370200581208707756668987398133546021071748644).
+pow([3, 0], 1).
+pow([5, 6], 15625).
+pow([238, 13], 7861409907565911395902147452928).
+pow([8367238, 2713], 9232045607212052006795246694645720931277949466279701628177907740283538142209103234039439973517187737529281630849057170752784305720492044921879310570197821189938111046880741611757099186209515996545574560595569398421819439327724593883790330554198464119958380253077594176476747486483990058232772330391614523765695590076933329094315903926160289597769818256424419293451613076627508324466360726612186400591843593021231178672747824182045603899165848423037855152265845482950837492362915381074102657811860380193315088111381992883369163984493249061979770577658980276182984413366453224501926276668558570391059133297007461733806379970178451177729443654591147548896171773534035466913353947716920292373556746770210709597354796556198245785294464841029427784489194700756195161952011832934270934818959887313446096063911307313403409406593074480469018845582204848718220812149409978732541417363909693033995650385298289888835192900522879993196481107895143038431062207845467671409292879939993495775794191338994049129251032889407078950814229876697652230493052574335511698335543098672124864569018630506760295111122506445140314839898755383719270725319655624324653729144440668885419886163313402113032552728510164639345415361410433532741555249023965973869142391370132857395337987963613790104142070052402177691750836796141362723112626981402690615399678911240733885693719987133461963485799194537978265131294945084051710190782912037523869473566324564067662402020127129653928235567374270957792629843988690452449502040513392238182577391145569545326772214717486136487306194746864658381436701646272673672612457633580843635990846893525988282282093466920839358262292698962588093070552224508091588014202322431888011997254541356185442670480336382675292780234442420998836454160687713951669966694067789082527623789540493325741322401179285307729734864003865620327018038144251278427904425993839963431858469683642579025539687658707527821874613626906565574468413670320414902322069802809289982509353199027263860384935123762033392474479252822920162146066431070995077991756163501940441486598169760977714217023603171643228693290613825091933153470402008614288027113249817571790573049280856169793563989538663092879420421180211097823999933496099083547524003457897046070188962227737811303557067887562539653015054200031581930142158758651682706407760565111566395197167436716778331449745461773213880175118958247071711120226977343115076634486056288862634416836057993090542460810615795180465257137099539487302977231252633410611087234713363193018194431064477385596193687914609860899819646154234541258374587766469746031309924563268050973709826678072635114137624052372074465835606867867641797613495101553851949062461284718976103071160859786521073486285824956537559335900453036172621923823281897437885918855447442508438811473571004532093737707368850492372158447435664386797009250629905181864516221477057654887607999031943119842220983502364425918535930932664096792924717485823463880563955006251963236229972069382372530859518664887435914735765392364477866917165545798262116641859167876216687936473067421260307308596961793501475146026893251578236059157662198964612144962622999033073992589639544861589580728141516172243800932285688023006999709470217245053378527780724182120910815070866561570949149512494544474202311521764652847613978356283086522899196049238234232353079532310352784234713348573837365057785082577737849218338308467006198602741702149614256721858207668616400361542981566121180010834914431005593156346680447089258659759642006714652445084021218621296680574425003383945892723537234404530084127417129328380262998091118233383126636734301103743003544023439491357785360765916514348826561168250634462186776327578612443050776385746602790785065565625074579032786456011384842603179920952372535766477972557986594260611648084254254973781435906194480015806158205216234419475859657349754201310444279980455201256867208871727394205195927703689583558400125728042058741958776175643909467804052305534511425258126703252211055068005363074326091132645600706591357200350625778365167382833103099508306870067751436708101863531971664207525023545990896709941518325240079664478141353979810713442971539906056744019857418275613892197653313375382754389249315791071450892281011882774320476855407219852116307687771792421911542465087937079448650771626507721547711336762848560509944336367174727959905725047971088214697176796039849687939168565905716614497026641794708224515081332518836736718734272344833370995389033846468551411646577526869132060204040248528016581187098895732644486362322344896226958305925356505796032186058898302694907839960498775089055174750947819914995480730235238347194297192231152299975869624481607192869316127058997700595028994126448504702063114456502903007909266030457673675252210035614599224309622846991456440619848418950320835523122242548983717186702818931632480126600964438729449330425789858190471525892456712359896837117779158807190964727353763206579340379538739340802368199112382926337902711252178657832880738147015729833968615655206820274165657254653390581247258635568333632426810478450420392964072477715425100724376075302865873003496192079652858832726646877919495221020140924637885038196880004845448948760985845164022914491368239592214952043381395434656064547651610637595803306562912531014781573817389722172671719163835359730465784413571435031796035901679842830750408489614367744052739839440947633806376868192573379596445350919637463198732129143563288395253217620348191123621886805143501200536407681391600424097869484448481917153534987888930165734468156327323080141369378990449647609640502564317864413184425795276685084668951548107595882065146877803271684850374309412028294371208572428286827962622658906157579748000820715989372369572434065280362195582281893576951300643504694469969140655738124415880837950788925726406198844131042956608278997619519468516612998238813876435268822514759867836497176632617348780011906302523927924878522899168890212776448145530620418479470113951173371674914615780662301657139236088162600380361306783481603939408842255609933093699389300902560129141423126983893804814013786759932396874638842922139772597177764994343155837800181835648736504589347951342890430132604158202832913017130110276462823182377110373232860779188830226082483373271262070644422794293142839134156243621695491894526749882266106569612334133451641152245411627537901959693282771936966371603154063273751806507963066779141416146179788392778544181271524425809348668223878748380751676686842073539448509706568361017798144420108391278161685517117042692159852119705266946435179666704282725679953329003411496321034542496237598892609036723708215903254351646595992387434094106029974453502635304828550195988020334109848829338936059421457602785403605738695731413192664698795339910723770359104783338396650713562930237165713352852933031364201490836291652695840324383358851345947200861247494781634271602663238185226011528457766966757472328207393117660439768743275520780457354963314402783137581887151714302675427144872457135294959074989839362823280658438307245300024005198496934860891625815588262458462412036777167305084084441937586905199484726977287932935290016316496797364174018606441229120520578833390869277507092449881231708000689958250584468393257236959660603929861031385644907266926646627141645198872774771045880316984592752093208323212724685977968940408644986807835531323622606632004554785437942980330235986226959685485513753147267037636564135073751858213062127337573752625245934898155228194585723654879581467855135204200422740585301078730492966003390522542271744301554392235985282014957623541515202775076289354244057493736657439694929667618560916049568160869306184308987905818394367132458603406310128086069384240734722256488469370368464792081841884558991639164135499845403833551711948956689171438665043328866440505241104741712762062396496344129747898994931659989791470078669318601495080462518413591906969554298443373487025364697391161131507149223029431293737863281210665185481556491149286177497436169458736758568306643586698817958994173061773761826362940194776234330718231450825931969422078146817997485554458510156731403606078336779183413459099438517316651455863716144285822855365655253272340099182509640728400186182180386347540063563620327603569440409652598157127675204412261676855766391638740827818278825395877404093667464202668228286567520662217591282398964724397579102837139978437336480209987586832077896507438720640945341599374231857638645400259668646520831792981033802824467670509078225891396339621538125130754036100825685520007669511330457576183419809140675426736238536148428774372977687493453602292557291553360333291744784377227615036386890766859291167320554532596612430168498152052042760513780975410234536969871199857108220510060279257221963943284492100771660996786169402084094588755519294969504728086903114208096243679815184506455979783966809280469534326955292349607481693325330169048586011253515820995296292015824019421948397731055746966569540669462124766972266046631445298132087740309795367888437084370655348433881077712541951112605341145751568496665195320424043217718250182246013436733815092223288740027737618507093474925387448386269433213468265113693267120840397561272881509219164454955353542073756267041510311999195846457170275010632988113652089113680350385255749579636027461979755116384360391898332125732109221255895726565300634189768944611805272868825608946791566917640854339549429136796841935431631646639673253333111903804505781240621228997045113471677126161987864042165853569298815799264217175249477055241694927185500465814697418373783731711285421398206834571270519870455314193073694038548628714045818896559566352184432393309805210033129551525077029125803923233052529137897512135780750026335773328310023485988784267840304078124650554950463702922449598155949451847174289306175282261600985847050667740150832615907898149210612742055271697654222013473892765727373945974666224878494485300169886761791972431144989307312682159507593525880949223538375003197260168096561455302129228184524671480842058343603942948191475565356131529230189018183171499240131846463217264963531315560760264267960465817683692987954259172163904027575258250080987047195626487889115545984268054509707240807225016859433320402964897231085684514639471476669042878997617840144863047152058655619730522819779528371769672066077368094455294510912530848633599242236832402399826059135561269578411778566840843214006781963673638281315740515861933414690145203058081944772795887541137725796674303449007453909472694610701523305037225556759795716604225960534825551177082491345694180971182693230986719589257554495426032757124605606187476556307486975264449346744722403313295393641574099412009513010672238754222576333273155084845351650958207783871170754198705546174714151203793009475890888853429819858387206790156222412664400830353275548391817864679747022363704903761460537131337660340746198535949147835260181475464507898693321594591327311144444369597587552907247737666841685551185235338321990609666777716727170387123282113156402471327293272454658490900956637104277503284060459335612888018825476564054845877744286808999172445545611628519950147127154046043674028249275783327071274193529816176429506935032311650718610092085875443903280595312660495403842249133031446191562483390936000195289077949592663940210833456822255202277991786553760300836853031815529659401901682556495047804839898973475729887010071174515103660930807024738046893913114724575300298790979978352282963948435527839090683625060184386302485712216293158126264228028910505983203295811751635907557577430370928280072081835631632920614539375103209383733627115617105566340456417118569202108888258916280303936317567655261354860126775463060075541542627676783292446532102582915716172077428949920437746319661944155887256483313190408938846939945331502042591525882663421149367201043585575214354388196521661536471912889850723298503941165196908683901209242053731162464346994917740744139614413723003309738319947990962469167737045204155392611193525521425426016450080242335234066883156448431793163579581428292130911977501010533562700359870297222321520499810781988980427863716359895578528332458732096321894119396238729268860306407882030869109838579260751323260166783964222237783482594723108387089874437627419730642129510692763999550658852752260497693990106358537481168577603762422120894395163341979318001231893148596612122448800472364152360782513637632253256588301482205436462594601830324132211150526625025075205452365790444690491557602002814592445745673174732487402525217996052886641201949036510781238243458523456625477352280267127722245593841203920715608323005958564673704721302531512848964648789339279014635067502188129046021721945882392848492073572882374425758855575190298322349161601942841365242151889703701205865254072007466299704843951887406321996346219991922008918546479651301742580820847583404594451294192273374699760358568985513379415080946845864890477469320128948450385367986463269802991107368620485808926816715422223930689893987576410996377933428149868310379903492271047854169639045038599531763247350938319646344948157859494370816845079293102288575576188229091052330311564100250168710473469012692368361328988116289106921618682257179466649483706380881878014992970223154301585574993624561902404107869064053698016031255189937791438093828315135648995872129904042268400562113284844327854575988206730113481074073819245784134353681327577931922241812952186967974468425725410408007655976849188205971433308713217116821812283201782298628506465209361867971229280777230032674683455757737234795947205328515416099216126062764224431570469504357900045054784028213379557174062980337049225937948617432346751391068157626753581575862697096359938497232945925377863030002392452878273987998001679182131017736083672935631714166745625749789915661189743239934524515609803389418647452112156392316786914853242526675002733869812239552632861187470506140513550690740652682308035915412580501160394839857630652114528152980759653553767053560529836722177296241210230820340818517060573617218530940789305753492627545740585169103421499266888095682329356747509589725051040624688433434138027942555463572603089853184586466657684901478533411603490475460182157426864388557475280018810050405773405284304845195354685540824855390079342126605434777429339598101562900357538501668057044597732947870477656967256437179464367324885279934350255026655332693671341415555222136497930287314793876856094608702531970136965327688584221888939974908109036632758724007972252068428868882496292332342265729456027882657309962092603092817694564562799969190597522832497169741515133378064755633436657931757108842040683811401568832941770609803400717956272567431981923722069188461891542285750307204904205204414534133785627660992081008607377652413199453771213687144439399357965275974539439729024029923364299977081951045588934824272589840384237051965927135966346742605831797076960724519840989469632137752625019956398379858048442741065819650839225477029639404739080700848378668024211472558587104406377105165234406235655896915285098449328423987207371129003246605341959023555788925246834308178128511779072902188655543159852244614580673994047932199092039581951500050042209914496648719140313411424658305091397945968029374793145391827456995913497817493208695899986437060186653504745368970106019243853008256171595987541471164141131765628658340521964084670003467509829797830873372254532710791068666101602921237251076342015595763098308359413073050761536949465266193220477631636129085931950110086794879343925310678333950796405991644884566758341305442899837240339816537573053728589644455509243741168558693421968846045016026576756310231469702455949817287094552275168085555991703097743274053058986635181606036056941045341364481954941338841321463898224976675055210251281115745120511247800209782900796271700165710725353538799726041022603363855091476472472584794695043164671428124956251880247702022593515077402393380101122578294371022042538901051648450183653581797852707782706053991197443174313613798201697137431862909174710977762208616264343601946195795533467556520982795644656805390031425064136707768124137598685756109743909131570570625237827187899815223047624583946948704930436135987496683336383905173035135092991586549655150636295066112227452863013464469246372204722659087694886036877930141495847960368310337594056222729549115599626742144816617554216853506441922474866086400772046001767381807059455608634336194673557511943163416412932537145606213869113397725295956094899357905022083036578844548691919819194084265323512068227158917151576058650700959663928454622927704229278946151328403516655776563626695274064109540763766529847398733749130232173007794186235615933534153794911087504938425864784972002146646376889615055946215955430673729205426023219974269024391413146677467875540368403104385904883965416968221149377679051114905218443586131302536287634772472335280384205713654950713553406925266316508192499868529781311094253634584832514624674760265552984465233516234175313286015477141188438629539171582456376661212689012044665076206925086776150572857684631540669581299917360154178278343422943038298950897341274826595152935691846511758269411890996528390343302452602342273324817900647081421231101597684576113526942207533306224207713154444515779137696713976838894825989985045601291279990921216976118301132045844199635180267794798961815961564777076198912930637484831178846059676415122815265998785179998511147672916641430373708027322847542474922324773136505243234683544277823550837588695028434490229391566031712040113496013017139016182929253609799607296768923108053225283314856415804581537366769520544554858176009456915283566484339276992576228490292183439180209653842930937712475373726903054916886368160347935539828396847834637597635732592578896703600708443821672942396368888197804253342683881577369460648185754807570553026032306461882051924328067921155672392352776429486447417812049905988354935979287938354498050980178898454612634297480410019771423114771799337790074439694078154311051591007362971127515461161513978337302646565055933088649199441896577538606889090972266492412029483856435200741249268589843748997840321708130999210196782674992883798060672385292747263195983610957820412510503741035770773741007849440583251815137511130163803292321126272676509546286067892939190782352342295023338594623143407833243240877140958037336091157366728593341355339980514411104664672883375438193953880661432744764665482407644500717175205659369888335431044744424104859129248895994067991101858383256657024416739404343121823561227714684788372714965963238306138949221250862728496353526572282722656161290216632774117672205113189055147421681029898962453381597132514058906911135757112480673841607490058723637572175910618991844724659518152552228063046646183576521767332477560746893369412649765846639943581405674445617241157425525948915925607413819322279297752781654925328617544641010595728087334395065943588258730783733293378439767792368150857990012928).

package/examples/output/pell-equation.pl

@@ -0,0 +1,4 @@
+pell_answer(solution_5, solution(3363, 2378)).
+pell_answer(solution_8, solution(665857, 470832)).
+pell_answer(check_8, true).
+pell_answer(y_sum_1_to_8, 568344).

package/examples/output/pendulum-period.pl

@@ -0,0 +1,4 @@
+period_s(pendulum1, 2.0).
+periodError_s(pendulum1, 0.0).
+status(pendulum1, within_period_tolerance).
+reason(pendulum1, "small-angle period matches the two-second target").

package/examples/output/pointer-analysis.pl

@@ -0,0 +1,8 @@
+pointsTo(x, object_a).
+pointsTo(z, object_b).
+pointsTo(y, object_a).
+pointsTo(r, object_b).
+pointsTo(q, object_b).
+heapField(object_a, object_b).
+pointerFlow(load_q_from_x, object_b).
+pointerConclusion(case, "the load q = *x recovers object_b through the store *y = z and y = x").

package/examples/output/polynomial.pl

@@ -0,0 +1,14 @@
+root(real_quartic, [1, 0]).
+root(real_quartic, [2, 0]).
+root(real_quartic, [3, 0]).
+root(real_quartic, [4, 0]).
+root(complex_quartic, [0, 1]).
+root(complex_quartic, [1, 1]).
+root(complex_quartic, [3, 2]).
+root(complex_quartic, [5, 1]).
+reconstructedPolynomial(real_quartic, [[1, 0], [-10, 0], [35, 0], [-50, 0], [24, 0]]).
+reconstructedPolynomial(complex_quartic, [[1, 0], [-9, -5], [14, 33], [24, -44], [-26, 0]]).
+reconstructionMatches(real_quartic, true).
+reconstructionMatches(complex_quartic, true).
+allRootsVerified(real_quartic, true).
+allRootsVerified(complex_quartic, true).

package/examples/output/prime-range.pl

@@ -0,0 +1,3 @@
+prime_result(range_2_30, [2, 3, 5, 7, 11, 13, 17, 19, 23, 29]).
+prime_result(count_2_30, 10).
+prime_result(totient_271, 270).

package/examples/output/proof-contrapositive.pl

@@ -0,0 +1,3 @@
+refutes(proof1, raining).
+method(proof1, contrapositive).
+reason(proof1, "if rain implies wet ground and the ground is not wet, then it is not raining").

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

@@ -0,0 +1,8 @@
+registerAnswer(best_allocation, [bind(a, r1), bind(b, spill), bind(c, r2), bind(d, r1)]).
+registerAnswer(spill_cost, 1).
+registerAnswer(place(a), r1).
+registerAnswer(place(b), spill).
+registerAnswer(place(c), r2).
+registerAnswer(place(d), r1).
+registerAnswer(valid_allocation_count, 33).
+registerAnswer(note, "the cheapest solution spills b to color the a-b-c triangle with two registers").

package/examples/output/reusable-builtins.pl

@@ -0,0 +1,5 @@
+report(normalized_name, "ada lovelace").
+report(unique_tags, ["logic", "math", "programming"]).
+report(tag_label, "logic / math / programming").
+report(score_summary, summary(42, 21, 6.4807406984078604)).
+report(window, [13, 21]).

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

@@ -0,0 +1,4 @@
+route_to_nantes(angers, go(angers, nantes, goal)).
+route_to_nantes(paris, go(paris, chartres, go(chartres, lemans, go(lemans, angers, go(angers, nantes, goal))))).
+route_to_nantes(chartres, go(chartres, lemans, go(lemans, angers, go(angers, nantes, goal)))).
+route_to_nantes(lemans, go(lemans, angers, go(angers, nantes, goal))).

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

@@ -0,0 +1,11 @@
+satModel([bind(d, true), bind(c, true), bind(b, true), bind(a, false)]).
+satValue(d, true).
+satValue(c, true).
+satValue(b, true).
+satValue(a, false).
+satClauseStatus(c1, satisfied).
+satClauseStatus(c2, satisfied).
+satClauseStatus(c3, satisfied).
+satClauseStatus(c4, satisfied).
+satClauseStatus(c5, satisfied).
+satConclusion(case, "DPLL finds a satisfying assignment after pruning clauses that become impossible").