eyelang 1.2.2 → 1.3.1

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

@@ -1,320 +0,0 @@
-% ODRL + DPV ranked-risk assessment adapted from Eyeling odrl-dpv-risk-ranked.n3.
-% Eyeling keeps the ODRL rules inside an N3 quoted policy formula and prints a
-% Markdown report.  This eyelang translation also keeps the
-% policy as a formula-valued term, projects local predicates from that formula for
-% reasoning, and materializes the derived DPV risks as relation output.
-
-% Consumer profile and needs.
-% Output declarations: materialize/2 selects the relations written to this example's golden output.
-materialize(dct_title, 2).
-materialize(dpv_hasRisk, 2).
-materialize(type, 2).
-materialize(policyGraph, 2).
-materialize(contains, 2).
-materialize(source, 2).
-materialize(profile, 2).
-materialize(firstRisk, 2).
-materialize(before, 2).
-materialize(dct_source, 2).
-materialize(risk_hasRiskSource, 2).
-materialize(dpv_hasConsequence, 2).
-materialize(dpv_hasImpact, 2).
-materialize(aboutClause, 2).
-materialize(violatesNeed, 2).
-materialize(scoreRaw, 2).
-materialize(score, 2).
-materialize(dpv_hasSeverity, 2).
-materialize(dpv_hasRiskLevel, 2).
-materialize(dct_description, 2).
-materialize(reportKey, 2).
-materialize(dpv_isMitigatedByMeasure, 2).
-materialize(dpv_mitigatesRisk, 2).
-materialize(clauseId, 2).
-materialize(text, 2).
-
-% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
-consumer(consumerExample).
-title(consumerExample, "Example consumer profile").
-has_need(consumerExample, need_DataCannotBeRemoved).
-has_need(consumerExample, need_ChangeOnlyWithPriorNotice).
-has_need(consumerExample, need_NoSharingWithoutConsent).
-has_need(consumerExample, need_DataPortability).
-
-importance(need_DataCannotBeRemoved, 20).
-description(need_DataCannotBeRemoved, "Provider must not remove the consumer account/data.").
-importance(need_ChangeOnlyWithPriorNotice, 15).
-min_notice_days(need_ChangeOnlyWithPriorNotice, 14).
-description(need_ChangeOnlyWithPriorNotice, "Agreement may change only with prior notice (>= 14 days).").
-importance(need_NoSharingWithoutConsent, 12).
-description(need_NoSharingWithoutConsent, "No data sharing without explicit consent.").
-importance(need_DataPortability, 10).
-description(need_DataPortability, "Consumer must be able to export their data.").
-
-% Agreement and ODRL-style policy structure.
-agreement(agreement1).
-title(agreement1, "Example Agreement").
-process_context(processContext1, agreement1).
-title(processContext1, "Service operation under Agreement1").
-
-% The ODRL policy is kept as a graph value.  The clauses below are not asserted
-% globally as permission/2, prohibition/2, action/2, ... facts; they are
-% binary terms inside policyGraph1.  The local projection predicates below read from the
-% formula when evaluating this agreement.  This mirrors N3 quoted formulae and avoids
-% making policy statements true outside the formula that contains them.
-policy_graph(policyGraph1, (
-  type(policy1, odrl_Policy),
-  odrl_appliesTo(policy1, agreement1),
-  odrl_permission(policy1, permDeleteAccount),
-  odrl_permission(policy1, permChangeTerms),
-  odrl_permission(policy1, permShareData),
-  odrl_prohibition(policy1, prohibitExportData),
-
-  odrl_assigner(permDeleteAccount, provider),
-  odrl_assignee(permDeleteAccount, consumerExample),
-  odrl_action(permDeleteAccount, tosl_removeAccount),
-  odrl_target(permDeleteAccount, userAccount),
-  clause(permDeleteAccount, clauseC1),
-
-  odrl_assigner(permChangeTerms, provider),
-  odrl_assignee(permChangeTerms, consumerExample),
-  odrl_action(permChangeTerms, tosl_changeTerms),
-  odrl_target(permChangeTerms, agreementText),
-  clause(permChangeTerms, clauseC2),
-  odrl_duty(permChangeTerms, odrl_inform),
-  noticeDays(permChangeTerms, 3),
-
-  odrl_assigner(permShareData, provider),
-  odrl_assignee(permShareData, consumerExample),
-  odrl_action(permShareData, tosl_shareData),
-  odrl_target(permShareData, userData),
-  clause(permShareData, clauseC3),
-
-  odrl_assigner(prohibitExportData, provider),
-  odrl_assignee(prohibitExportData, consumerExample),
-  odrl_action(prohibitExportData, tosl_exportData),
-  odrl_target(prohibitExportData, userData),
-  clause(prohibitExportData, clauseC4)
-)).
-
-% Derivation rules: each rule below contributes one logical step toward the displayed results.
-policy_statement(Subject, Predicate, Object) :-
-  policy_graph(_Graph, Context),
-  holds(Context, Predicate, [Subject, Object]).
-
-policy(Policy, Agreement) :- policy_statement(Policy, odrl_appliesTo, Agreement).
-permission(Policy, Rule) :- policy_statement(Policy, odrl_permission, Rule).
-prohibition(Policy, Rule) :- policy_statement(Policy, odrl_prohibition, Rule).
-assigner(Rule, Party) :- policy_statement(Rule, odrl_assigner, Party).
-assignee(Rule, Party) :- policy_statement(Rule, odrl_assignee, Party).
-action(Rule, Action) :- policy_statement(Rule, odrl_action, Action).
-target(Rule, Target) :- policy_statement(Rule, odrl_target, Target).
-clause(Rule, Clause) :- policy_statement(Rule, clause, Clause).
-duty(Rule, Duty) :- policy_statement(Rule, odrl_duty, Duty).
-notice_days(Rule, Days) :- policy_statement(Rule, noticeDays, Days).
-consent_constraint(Rule, Value) :- policy_statement(Rule, consentConstraint, Value).
-
-clause_id(clauseC1, "C1").
-clause_text(clauseC1, "Provider may remove the user account (and associated data) at its discretion.").
-clause_id(clauseC2, "C2").
-clause_text(clauseC2, "Provider may change terms by informing users at least 3 days in advance.").
-clause_id(clauseC3, "C3").
-clause_text(clauseC3, "Provider may share user data with partners for business purposes.").
-clause_id(clauseC4, "C4").
-clause_text(clauseC4, "Users are not permitted to export their data.").
-
-% Missing-safeguard checks corresponding to the log_notIncludes tests in N3.
-missing_notice_constraint(Perm) :-
-  permission(policy1, Perm),
-  not(notice_days(Perm, _Days)).
-
-missing_inform_duty(Perm) :-
-  permission(policy1, Perm),
-  not(duty(Perm, odrl_inform)).
-
-missing_consent_constraint(Perm) :-
-  permission(policy1, Perm),
-  action(Perm, tosl_shareData),
-  not(consent_constraint(Perm, true)).
-
-% ODRL -> DPV risk derivation.
-risk(risk1) :-
-  has_need(consumerExample, need_DataCannotBeRemoved),
-  permission(policy1, permDeleteAccount),
-  action(permDeleteAccount, tosl_removeAccount),
-  missing_notice_constraint(permDeleteAccount),
-  missing_inform_duty(permDeleteAccount).
-
-risk_source(risk1, src1).
-risk_class(risk1, risk_UnwantedDataDeletion).
-risk_class(risk1, risk_DataUnavailable).
-risk_class(risk1, risk_DataErasureError).
-risk_class(risk1, risk_DataLoss).
-risk_source_class(src1, risk_LegalComplianceRisk).
-risk_source_of(src1, permDeleteAccount).
-risk_consequence(risk1, risk_DataLoss).
-risk_consequence(risk1, risk_DataUnavailable).
-risk_consequence(risk1, risk_CustomerConfidenceLoss).
-risk_impact(risk1, risk_FinancialLoss).
-risk_impact(risk1, risk_NonMaterialDamage).
-about_clause(risk1, clauseC1).
-violates_need(risk1, need_DataCannotBeRemoved).
-risk_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.").
-base_score(risk1, 90).
-mitigation(risk1, m11, "Add a notice constraint (minimum noticeDays) before account removal.").
-mitigation(risk1, m21, "Add a duty to inform the consumer prior to account removal.").
-
-risk(risk2) :-
-  has_need(consumerExample, need_ChangeOnlyWithPriorNotice),
-  min_notice_days(need_ChangeOnlyWithPriorNotice, Required),
-  permission(policy1, permChangeTerms),
-  action(permChangeTerms, tosl_changeTerms),
-  duty(permChangeTerms, odrl_inform),
-  notice_days(permChangeTerms, Days),
-  lt(Days, Required).
-
-risk_source(risk2, src2).
-risk_class(risk2, risk_PolicyRisk).
-risk_class(risk2, risk_CustomerConfidenceLoss).
-risk_source_class(src2, risk_PolicyRisk).
-risk_source_of(src2, permChangeTerms).
-risk_consequence(risk2, risk_CustomerConfidenceLoss).
-risk_impact(risk2, risk_NonMaterialDamage).
-about_clause(risk2, clauseC2).
-violates_need(risk2, need_ChangeOnlyWithPriorNotice).
-risk_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.").
-base_score(risk2, 70).
-mitigation(risk2, m12, "Increase minimum noticeDays in the inform duty to meet the consumer requirement.").
-
-risk(risk3) :-
-  has_need(consumerExample, need_NoSharingWithoutConsent),
-  permission(policy1, permShareData),
-  action(permShareData, tosl_shareData),
-  missing_consent_constraint(permShareData).
-
-risk_source(risk3, src3).
-risk_class(risk3, risk_UnwantedDisclosureData).
-risk_class(risk3, risk_CustomerConfidenceLoss).
-risk_source_class(src3, risk_PolicyRisk).
-risk_source_of(src3, permShareData).
-risk_consequence(risk3, risk_CustomerConfidenceLoss).
-risk_impact(risk3, risk_NonMaterialDamage).
-risk_impact(risk3, risk_FinancialLoss).
-about_clause(risk3, clauseC3).
-violates_need(risk3, need_NoSharingWithoutConsent).
-risk_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.").
-base_score(risk3, 85).
-mitigation(risk3, m13, "Add an explicit consent constraint before data sharing.").
-
-risk(risk4) :-
-  has_need(consumerExample, need_DataPortability),
-  prohibition(policy1, prohibitExportData),
-  action(prohibitExportData, tosl_exportData).
-
-risk_source(risk4, src4).
-risk_class(risk4, risk_PolicyRisk).
-risk_class(risk4, risk_CustomerConfidenceLoss).
-risk_source_class(src4, risk_PolicyRisk).
-risk_source_of(src4, prohibitExportData).
-risk_consequence(risk4, risk_CustomerConfidenceLoss).
-risk_impact(risk4, risk_NonMaterialDamage).
-about_clause(risk4, clauseC4).
-violates_need(risk4, need_DataPortability).
-risk_description(risk4, "Risk: portability is restricted because exporting user data is prohibited. Clause C4: Users are not permitted to export their data.").
-base_score(risk4, 60).
-mitigation(risk4, m14, "Add a permission allowing data export (or remove the prohibition) to support portability.").
-
-score_raw(Risk, Raw) :-
-  risk(Risk),
-  base_score(Risk, Base),
-  violates_need(Risk, Need),
-  importance(Need, Weight),
-  add(Base, Weight, Raw).
-
-score(Risk, 100) :-
-  score_raw(Risk, Raw),
-  gt(Raw, 100).
-
-score(Risk, Raw) :-
-  score_raw(Risk, Raw),
-  ge(100, Raw).
-
-severity(Risk, risk_HighSeverity) :-
-  score(Risk, Score),
-  gt(Score, 79).
-
-risk_level(Risk, risk_HighRisk) :-
-  score(Risk, Score),
-  gt(Score, 79).
-
-severity(Risk, risk_ModerateSeverity) :-
-  score(Risk, Score),
-  lt(Score, 80),
-  gt(Score, 49).
-
-risk_level(Risk, risk_ModerateRisk) :-
-  score(Risk, Score),
-  lt(Score, 80),
-  gt(Score, 49).
-
-severity(Risk, risk_LowSeverity) :-
-  score(Risk, Score),
-  lt(Score, 50).
-
-risk_level(Risk, risk_LowRisk) :-
-  score(Risk, Score),
-  lt(Score, 50).
-
-report_key(Risk, key(InvScore, ClauseId)) :-
-  risk(Risk),
-  score(Risk, Score),
-  sub(1000, Score, InvScore),
-  about_clause(Risk, Clause),
-  clause_id(Clause, ClauseId).
-
-ranked_before(Left, Right) :-
-  report_key(Left, key(LeftInv, _LeftClause)),
-  report_key(Right, key(RightInv, _RightClause)),
-  lt(LeftInv, RightInv).
-
-ranked_before(Left, Right) :-
-  report_key(Left, key(Inv, LeftClause)),
-  report_key(Right, key(Inv, RightClause)),
-  not_matches(LeftClause, RightClause),
-  lt(LeftClause, RightClause).
-
-% Output layer.
-dct_title(agreement1, Title) :- title(agreement1, Title).
-dct_title(consumerExample, Title) :- title(consumerExample, Title).
-dct_title(processContext1, Title) :- title(processContext1, Title).
-dpv_hasRisk(processContext1, Risk) :- risk(Risk).
-type(policyGraph1, policyGraph).
-policyGraph(agreement1, policyGraph1).
-contains(policyGraph1, statement(Subject, Predicate, Object)) :-
-  policy_statement(Subject, Predicate, Object).
-source(report, agreement1).
-profile(report, consumerExample).
-firstRisk(report, Risk) :- risk(Risk), not(ranked_before(_Other, Risk)).
-before(riskRanking, pair(Left, Right)) :- ranked_before(Left, Right).
-
-type(Risk, dpv_Risk) :- risk(Risk).
-type(Risk, Class) :- risk(Risk), risk_class(Risk, Class).
-dct_source(Risk, Source) :- risk(Risk), risk_source(Risk, Src), risk_source_of(Src, Source).
-risk_hasRiskSource(Risk, Src) :- risk(Risk), risk_source(Risk, Src).
-type(Src, risk_RiskSource) :- risk_source(_Risk, Src).
-type(Src, Class) :- risk_source_class(Src, Class).
-dct_source(Src, Source) :- risk_source_of(Src, Source).
-dpv_hasConsequence(Risk, Consequence) :- risk(Risk), risk_consequence(Risk, Consequence).
-dpv_hasImpact(Risk, Impact) :- risk(Risk), risk_impact(Risk, Impact).
-aboutClause(Risk, Clause) :- risk(Risk), about_clause(Risk, Clause).
-violatesNeed(Risk, Need) :- risk(Risk), violates_need(Risk, Need).
-scoreRaw(Risk, Raw) :- score_raw(Risk, Raw).
-dpv_hasSeverity(Risk, Severity) :- severity(Risk, Severity).
-dpv_hasRiskLevel(Risk, Level) :- risk_level(Risk, Level).
-dct_description(Risk, Text) :- risk(Risk), risk_description(Risk, Text).
-reportKey(Risk, Key) :- report_key(Risk, Key).
-dpv_isMitigatedByMeasure(Risk, Measure) :- mitigation(Risk, Measure, _Text).
-type(Measure, dpv_RiskMitigationMeasure) :- mitigation(_Risk, Measure, _Text).
-dpv_mitigatesRisk(Measure, Risk) :- mitigation(Risk, Measure, _Text).
-dct_description(Measure, Text) :- mitigation(_Risk, Measure, Text).
-clauseId(Clause, Id) :- clause_id(Clause, Id).
-text(Clause, Text) :- clause_text(Clause, Text).

package/examples/orbital-transfer-design.pl

@@ -1,116 +0,0 @@
-% Ambitious STEM example: Hohmann transfer design from Earth orbit to Mars orbit.
-%
-% The rules combine orbital mechanics, numerical math, and engineering-style
-% mission constraints. Distances are in kilometres, speeds in kilometres per
-% second, and time in days.
-
-% Output declarations: materialize/2 selects the relations written to this example's golden output.
-%
-% The design is a Hohmann-transfer estimate: compute transfer orbit geometry,
-% departure/arrival burns, total delta-v, transfer time, and budget status.
-materialize(transferSemiMajorAxis_km, 2).
-materialize(departureDeltaV_km_s, 2).
-materialize(arrivalDeltaV_km_s, 2).
-materialize(totalDeltaV_km_s, 2).
-materialize(transferTime_days, 2).
-materialize(status, 2).
-materialize(reason, 2).
-
-% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
-mission(mars_hohmann, centralBodyMu_km3_s2, 132712440018.0).
-mission(mars_hohmann, departureOrbitRadius_km, 149597870.7).
-mission(mars_hohmann, arrivalOrbitRadius_km, 227939200.0).
-mission(mars_hohmann, deltaVBudget_km_s, 6.0).
-mission(mars_hohmann, pi, 3.141592653589793).
-mission(mars_hohmann, secondsPerDay, 86400.0).
-
-% Derivation rules: each rule below contributes one logical step toward the displayed results.
-semi_major_axis(Mission, Axis) :-
-  mission(Mission, departureOrbitRadius_km, R1),
-  mission(Mission, arrivalOrbitRadius_km, R2),
-  add(R1, R2, Sum),
-  div(Sum, 2.0, Axis).
-
-circular_speed_at_departure(Mission, Speed) :-
-  mission(Mission, centralBodyMu_km3_s2, Mu),
-  mission(Mission, departureOrbitRadius_km, Radius),
-  div(Mu, Radius, SpeedSquared),
-  pow(SpeedSquared, 0.5, Speed).
-
-circular_speed_at_arrival(Mission, Speed) :-
-  mission(Mission, centralBodyMu_km3_s2, Mu),
-  mission(Mission, arrivalOrbitRadius_km, Radius),
-  div(Mu, Radius, SpeedSquared),
-  pow(SpeedSquared, 0.5, Speed).
-
-transfer_speed_at_departure(Mission, Speed) :-
-  mission(Mission, centralBodyMu_km3_s2, Mu),
-  mission(Mission, departureOrbitRadius_km, Radius),
-  semi_major_axis(Mission, Axis),
-  div(2.0, Radius, TwiceOverRadius),
-  div(1.0, Axis, OneOverAxis),
-  sub(TwiceOverRadius, OneOverAxis, Bracket),
-  mul(Mu, Bracket, SpeedSquared),
-  pow(SpeedSquared, 0.5, Speed).
-
-transfer_speed_at_arrival(Mission, Speed) :-
-  mission(Mission, centralBodyMu_km3_s2, Mu),
-  mission(Mission, arrivalOrbitRadius_km, Radius),
-  semi_major_axis(Mission, Axis),
-  div(2.0, Radius, TwiceOverRadius),
-  div(1.0, Axis, OneOverAxis),
-  sub(TwiceOverRadius, OneOverAxis, Bracket),
-  mul(Mu, Bracket, SpeedSquared),
-  pow(SpeedSquared, 0.5, Speed).
-
-departure_delta_v(Mission, DeltaV) :-
-  transfer_speed_at_departure(Mission, TransferSpeed),
-  circular_speed_at_departure(Mission, CircularSpeed),
-  sub(TransferSpeed, CircularSpeed, DeltaV).
-
-arrival_delta_v(Mission, DeltaV) :-
-  circular_speed_at_arrival(Mission, CircularSpeed),
-  transfer_speed_at_arrival(Mission, TransferSpeed),
-  sub(CircularSpeed, TransferSpeed, DeltaV).
-
-total_delta_v(Mission, Total) :-
-  departure_delta_v(Mission, Depart),
-  arrival_delta_v(Mission, Arrive),
-  add(Depart, Arrive, Total).
-
-transfer_time_days(Mission, Days) :-
-  semi_major_axis(Mission, Axis),
-  mission(Mission, centralBodyMu_km3_s2, Mu),
-  mission(Mission, pi, Pi),
-  mission(Mission, secondsPerDay, SecondsPerDay),
-  pow(Axis, 3.0, AxisCubed),
-  div(AxisCubed, Mu, TimeFactor),
-  pow(TimeFactor, 0.5, HalfPeriodBase),
-  mul(Pi, HalfPeriodBase, Seconds),
-  div(Seconds, SecondsPerDay, Days).
-
-within_delta_v_budget(Mission) :-
-  total_delta_v(Mission, Total),
-  mission(Mission, deltaVBudget_km_s, Budget),
-  le(Total, Budget).
-
-transferSemiMajorAxis_km(Mission, Axis) :-
-  semi_major_axis(Mission, Axis).
-
-departureDeltaV_km_s(Mission, DeltaV) :-
-  departure_delta_v(Mission, DeltaV).
-
-arrivalDeltaV_km_s(Mission, DeltaV) :-
-  arrival_delta_v(Mission, DeltaV).
-
-totalDeltaV_km_s(Mission, Total) :-
-  total_delta_v(Mission, Total).
-
-transferTime_days(Mission, Days) :-
-  transfer_time_days(Mission, Days).
-
-status(Mission, feasible_reference_transfer) :-
-  within_delta_v_budget(Mission).
-
-reason(Mission, "total Hohmann transfer delta-v is within the mission budget") :-
-  within_delta_v_budget(Mission).