eyeprolog 1.3.97 → 1.3.99

package/README.md

@@ -64,10 +64,18 @@ printf 'human(socrates).\nmortal(X) :- human(X).\n' |
 - [Why EyeProlog?](https://eyereasoner.github.io/eyeprolog/why-eyeprolog) — project scope and design
 - [Playground](https://eyereasoner.github.io/eyeprolog/playground) — run EyeProlog in a browser
 - [Examples](examples) — runnable programs and checked output
+- [Symbiotic Knowledge Graphs](examples/deck/symbiotic-knowledge-graphs.md) — RDF ↔ Prolog heatwave-response demo for human/AI/KG co-evolution
+- [rdf-prolog-roundtrip](https://github.com/eyereasoner/rdf-prolog-roundtrip) — standalone RDF 1.2 ↔ ISO Prolog bridge used by the symbiotic example
 - [ISO conformance audit](test/conformance/ISO-COMPLIANCE.md) — supported Part 1 profile
 - [Conformance report](conformance-report.md) — generated public corpus summary
 - [OpenRuleBench](openrulebench/README.md) — portable benchmark profile
 
+## RDF, Prolog, and symbiotic knowledge graphs
+
+EyeProlog can sit behind an RDF knowledge graph without inventing a private graph representation. [`rdf-prolog-roundtrip`](https://github.com/eyereasoner/rdf-prolog-roundtrip) converts RDF 1.2 datasets to ordinary `rdf(Subject, Predicate, Object, Graph)` facts, EyeProlog applies portable rules, and ground `rdf/4` results can be converted back to RDF.
+
+The checked [Symbiotic Knowledge Graphs example](examples/symbiotic-knowledge-graph.pl) uses named graphs and RDF 1.2 triple terms to distinguish trusted knowledge, AI-proposed statements, and human review. Its [wide-audience companion](examples/deck/symbiotic-knowledge-graphs.md) explains why this is a useful present-day software model for human/AI/KG co-evolution: RDF supplies shared semantic memory, Prolog supplies explicit deliberation, AI supplies new hypotheses, and people remain participants in meaning and judgment.
+
 ## Development
 
 ```sh

package/examples/data/README.md

@@ -0,0 +1,21 @@
+# Example data and roundtrip support
+
+This directory contains source and materialized data that support runnable examples without adding extra root-level `.pl` programs to the example test discovery.
+
+## Symbiotic Knowledge Graphs
+
+The heatwave-response example uses [`rdf-prolog-roundtrip`](https://github.com/eyereasoner/rdf-prolog-roundtrip) as its RDF boundary:
+
+```text
+symbiotic-knowledge-graph-input.nq
+    -> rdf-to-prolog + symbiotic-knowledge-graph-rules.pl
+    -> ../symbiotic-knowledge-graph.pl
+    -> EyeProlog result_rdf/4
+    -> symbiotic-knowledge-graph-output.pl
+    -> prolog-to-rdf
+    -> symbiotic-knowledge-graph-output.nq
+```
+
+The input uses named graphs for source boundaries and RDF 1.2 triple terms for AI-proposed statements. A proposed triple is therefore metadata until governance rules accept it; it does not become an operational assertion merely because an AI produced it.
+
+See [the wide-audience deck](../deck/symbiotic-knowledge-graphs.md) for the scenario and architecture.

package/examples/data/symbiotic-knowledge-graph-input.nq

@@ -0,0 +1,59 @@
+VERSION "1.2"
+
+<https://example.org/city/facility/central-hall> <https://example.org/vocab/kind> <https://example.org/city/class/cooling-center> <https://example.org/graph/city-facilities> .
+<https://example.org/city/facility/central-hall> <https://example.org/vocab/neighbourhood> <https://example.org/city/neighbourhood/central> <https://example.org/graph/city-facilities> .
+<https://example.org/city/facility/central-hall> <https://example.org/vocab/status> <https://example.org/city/state/open> <https://example.org/graph/city-facilities> .
+<https://example.org/city/facility/central-hall> <https://example.org/vocab/cooling> <https://example.org/city/state/available> <https://example.org/graph/city-facilities> .
+<https://example.org/city/facility/central-hall> <https://example.org/vocab/capacity> "140"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/graph/city-facilities> .
+<https://example.org/city/facility/central-hall> <https://example.org/vocab/wheelchairAccess> <https://example.org/city/value/yes> <https://example.org/graph/city-facilities> .
+<https://example.org/city/facility/north-library> <https://example.org/vocab/kind> <https://example.org/city/class/cooling-center> <https://example.org/graph/city-facilities> .
+<https://example.org/city/facility/north-library> <https://example.org/vocab/neighbourhood> <https://example.org/city/neighbourhood/north> <https://example.org/graph/city-facilities> .
+<https://example.org/city/facility/north-library> <https://example.org/vocab/status> <https://example.org/city/state/open> <https://example.org/graph/city-facilities> .
+<https://example.org/city/facility/north-library> <https://example.org/vocab/cooling> <https://example.org/city/state/available> <https://example.org/graph/city-facilities> .
+<https://example.org/city/facility/north-library> <https://example.org/vocab/capacity> "80"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/graph/city-facilities> .
+<https://example.org/city/facility/north-library> <https://example.org/vocab/wheelchairAccess> <https://example.org/city/value/yes> <https://example.org/graph/city-facilities> .
+<https://example.org/city/facility/riverside-school> <https://example.org/vocab/kind> <https://example.org/city/class/school> <https://example.org/graph/city-facilities> .
+<https://example.org/city/facility/riverside-school> <https://example.org/vocab/neighbourhood> <https://example.org/city/neighbourhood/riverside> <https://example.org/graph/city-facilities> .
+<https://example.org/city/facility/riverside-school> <https://example.org/vocab/status> <https://example.org/city/state/open> <https://example.org/graph/city-facilities> .
+<https://example.org/city/facility/riverside-school> <https://example.org/vocab/cooling> <https://example.org/city/state/available> <https://example.org/graph/city-facilities> .
+<https://example.org/city/facility/riverside-school> <https://example.org/vocab/capacity> "90"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/graph/city-facilities> .
+<https://example.org/city/facility/riverside-school> <https://example.org/vocab/wheelchairAccess> <https://example.org/city/value/yes> <https://example.org/graph/city-facilities> .
+<https://example.org/city/neighbourhood/riverside> <https://example.org/vocab/expectedDemand> "70"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/graph/emergency-plan> .
+<https://example.org/city/neighbourhood/riverside> <https://example.org/vocab/mobileUnitAvailable> <https://example.org/city/value/yes> <https://example.org/graph/emergency-plan> .
+<https://example.org/city/route/7> <https://example.org/vocab/connects> <https://example.org/city/facility/north-library> <https://example.org/graph/transit-plan> .
+<https://example.org/city/route/8> <https://example.org/vocab/connects> <https://example.org/city/facility/central-hall> <https://example.org/graph/transit-plan> .
+<https://example.org/city/route/7> <https://example.org/vocab/status> <https://example.org/city/state/running> <https://example.org/graph/transit-plan> .
+<https://example.org/city/route/8> <https://example.org/vocab/status> <https://example.org/city/state/running> <https://example.org/graph/transit-plan> .
+<https://example.org/city/facility/central-hall> <https://example.org/vocab/power> <https://example.org/city/state/unstable> <https://example.org/graph/power-sensors> .
+<https://example.org/city/evidence/transit-api-20260827> <https://example.org/vocab/evidenceKind> <https://example.org/city/evidence-kind/official-feed> <https://example.org/graph/evidence-registry> .
+<https://example.org/city/evidence/transit-api-20260827> <https://example.org/vocab/publisher> <https://example.org/city/publisher/city-transit> <https://example.org/graph/evidence-registry> .
+<https://example.org/city/evidence/facilities-bulletin-20260827> <https://example.org/vocab/evidenceKind> <https://example.org/city/evidence-kind/official-document> <https://example.org/graph/evidence-registry> .
+<https://example.org/city/evidence/facilities-bulletin-20260827> <https://example.org/vocab/publisher> <https://example.org/city/publisher/city-facilities> <https://example.org/graph/evidence-registry> .
+<https://example.org/city/evidence/community-post-4812> <https://example.org/vocab/evidenceKind> <https://example.org/city/evidence-kind/public-report> <https://example.org/graph/evidence-registry> .
+<https://example.org/city/evidence/community-post-4812> <https://example.org/vocab/publisher> <https://example.org/city/publisher/resident-network> <https://example.org/graph/evidence-registry> .
+<https://example.org/city/evidence/volunteer-message-112> <https://example.org/vocab/evidenceKind> <https://example.org/city/evidence-kind/public-report> <https://example.org/graph/evidence-registry> .
+<https://example.org/city/evidence/volunteer-message-112> <https://example.org/vocab/publisher> <https://example.org/city/publisher/volunteer-coordinator> <https://example.org/graph/evidence-registry> .
+<https://example.org/city/proposal/p1> <https://example.org/vocab/statement> <<( <https://example.org/city/route/7> <https://example.org/vocab/status> <https://example.org/city/state/suspended> )>> <https://example.org/graph/ai-proposals> .
+<https://example.org/city/proposal/p1> <https://example.org/vocab/agent> <https://example.org/city/agent/language-agent> <https://example.org/graph/ai-proposals> .
+<https://example.org/city/proposal/p1> <https://example.org/vocab/evidence> <https://example.org/city/evidence/transit-api-20260827> <https://example.org/graph/ai-proposals> .
+<https://example.org/city/proposal/p1> <https://example.org/vocab/confidencePercent> "99"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/graph/ai-proposals> .
+<https://example.org/city/proposal/p2> <https://example.org/vocab/statement> <<( <https://example.org/city/facility/riverside-school> <https://example.org/vocab/emergencyDesignation> <https://example.org/city/class/cooling-center> )>> <https://example.org/graph/ai-proposals> .
+<https://example.org/city/proposal/p2> <https://example.org/vocab/agent> <https://example.org/city/agent/language-agent> <https://example.org/graph/ai-proposals> .
+<https://example.org/city/proposal/p2> <https://example.org/vocab/evidence> <https://example.org/city/evidence/facilities-bulletin-20260827> <https://example.org/graph/ai-proposals> .
+<https://example.org/city/proposal/p2> <https://example.org/vocab/confidencePercent> "93"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/graph/ai-proposals> .
+<https://example.org/city/proposal/p3> <https://example.org/vocab/statement> <<( <https://example.org/city/facility/central-hall> <https://example.org/vocab/status> <https://example.org/city/state/closed> )>> <https://example.org/graph/ai-proposals> .
+<https://example.org/city/proposal/p3> <https://example.org/vocab/agent> <https://example.org/city/agent/language-agent> <https://example.org/graph/ai-proposals> .
+<https://example.org/city/proposal/p3> <https://example.org/vocab/evidence> <https://example.org/city/evidence/community-post-4812> <https://example.org/graph/ai-proposals> .
+<https://example.org/city/proposal/p3> <https://example.org/vocab/confidencePercent> "78"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/graph/ai-proposals> .
+<https://example.org/city/proposal/p4> <https://example.org/vocab/statement> <<( <https://example.org/city/facility/north-library> <https://example.org/vocab/capacity> "40"^^<http://www.w3.org/2001/XMLSchema#integer> )>> <https://example.org/graph/ai-proposals> .
+<https://example.org/city/proposal/p4> <https://example.org/vocab/agent> <https://example.org/city/agent/language-agent> <https://example.org/graph/ai-proposals> .
+<https://example.org/city/proposal/p4> <https://example.org/vocab/evidence> <https://example.org/city/evidence/volunteer-message-112> <https://example.org/graph/ai-proposals> .
+<https://example.org/city/proposal/p4> <https://example.org/vocab/confidencePercent> "66"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/graph/ai-proposals> .
+<https://example.org/city/review/r2> <https://example.org/vocab/aboutProposal> <https://example.org/city/proposal/p2> <https://example.org/graph/human-review> .
+<https://example.org/city/review/r2> <https://example.org/vocab/reviewer> <https://example.org/city/actor/emergency-coordinator> <https://example.org/graph/human-review> .
+<https://example.org/city/review/r2> <https://example.org/vocab/decision> <https://example.org/city/decision/accept> <https://example.org/graph/human-review> .
+<https://example.org/city/review/r2> <https://example.org/vocab/note> "facility bulletin verified by phone"^^<http://www.w3.org/2001/XMLSchema#string> <https://example.org/graph/human-review> .
+<https://example.org/city/review/r3> <https://example.org/vocab/aboutProposal> <https://example.org/city/proposal/p3> <https://example.org/graph/human-review> .
+<https://example.org/city/review/r3> <https://example.org/vocab/reviewer> <https://example.org/city/actor/operations-officer> <https://example.org/graph/human-review> .
+<https://example.org/city/review/r3> <https://example.org/vocab/decision> <https://example.org/city/decision/reject> <https://example.org/graph/human-review> .
+<https://example.org/city/review/r3> <https://example.org/vocab/note> "official operations desk confirms Central Hall is open"^^<http://www.w3.org/2001/XMLSchema#string> <https://example.org/graph/human-review> .

package/examples/data/symbiotic-knowledge-graph-output.nq

@@ -0,0 +1,8 @@
+VERSION "1.2"
+
+<https://example.org/city/facility/riverside-school> <https://example.org/vocab/emergencyDesignation> <https://example.org/city/class/cooling-center> <https://example.org/graph/accepted-knowledge> .
+<https://example.org/city/proposal/p2> <https://example.org/vocab/reviewOutcome> <https://example.org/city/decision/accept> <https://example.org/graph/human-review> .
+<https://example.org/city/proposal/p3> <https://example.org/vocab/reviewOutcome> <https://example.org/city/decision/reject> <https://example.org/graph/human-review> .
+<https://example.org/city/decision/before-review> <https://example.org/vocab/recommendedAction> <https://example.org/city/action/deploy-mobile-unit> <https://example.org/graph/derived-decisions> .
+<https://example.org/city/decision/after-review> <https://example.org/vocab/recommendedAction> <https://example.org/city/action/open-local-center> <https://example.org/graph/derived-decisions> .
+<https://example.org/city/decision/after-review> <https://example.org/vocab/selectedFacility> <https://example.org/city/facility/riverside-school> <https://example.org/graph/derived-decisions> .

package/examples/data/symbiotic-knowledge-graph-output.pl

@@ -0,0 +1,6 @@
+rdf(iri('https://example.org/city/facility/riverside-school'),iri('https://example.org/vocab/emergencyDesignation'),iri('https://example.org/city/class/cooling-center'),iri('https://example.org/graph/accepted-knowledge')).
+rdf(iri('https://example.org/city/proposal/p2'),iri('https://example.org/vocab/reviewOutcome'),iri('https://example.org/city/decision/accept'),iri('https://example.org/graph/human-review')).
+rdf(iri('https://example.org/city/proposal/p3'),iri('https://example.org/vocab/reviewOutcome'),iri('https://example.org/city/decision/reject'),iri('https://example.org/graph/human-review')).
+rdf(iri('https://example.org/city/decision/before-review'),iri('https://example.org/vocab/recommendedAction'),iri('https://example.org/city/action/deploy-mobile-unit'),iri('https://example.org/graph/derived-decisions')).
+rdf(iri('https://example.org/city/decision/after-review'),iri('https://example.org/vocab/recommendedAction'),iri('https://example.org/city/action/open-local-center'),iri('https://example.org/graph/derived-decisions')).
+rdf(iri('https://example.org/city/decision/after-review'),iri('https://example.org/vocab/selectedFacility'),iri('https://example.org/city/facility/riverside-school'),iri('https://example.org/graph/derived-decisions')).

package/examples/data/symbiotic-knowledge-graph-rules.pl

@@ -0,0 +1,386 @@
+% Symbiotic knowledge graph rules for EyeProlog.
+%
+% The source rdf/4 facts above are generated by rdf-prolog-roundtrip from
+% symbiotic-knowledge-graph-input.nq.  RDF stays the interchange and storage
+% model; these rules provide the explicit reasoning and governance layer.
+
+%% goal: proposal_state(X0, X1)
+%% goal: conflict(X0, X1, X2, X3)
+%% goal: knowledge_gain(X0, X1, X2)
+%% goal: recommended_action(X0, X1, X2)
+%% goal: decision_reason(X0, X1, X2)
+%% goal: audit(X0, X1, X2, X3, X4)
+%% goal: feedback_signal(X0, X1, X2)
+%% goal: symbiosis_gain(X0, X1)
+%% goal: knowledge_exchange(X0, X1)
+%% goal: pipeline_step(X0, X1)
+%% goal: cognitive_parallel(X0, X1)
+
+% --- RDF vocabulary ----------------------------------------------------------
+
+v(statement, iri('https://example.org/vocab/statement')).
+v(agent, iri('https://example.org/vocab/agent')).
+v(evidence, iri('https://example.org/vocab/evidence')).
+v(confidence_percent, iri('https://example.org/vocab/confidencePercent')).
+v(evidence_kind, iri('https://example.org/vocab/evidenceKind')).
+v(about_proposal, iri('https://example.org/vocab/aboutProposal')).
+v(reviewer, iri('https://example.org/vocab/reviewer')).
+v(decision, iri('https://example.org/vocab/decision')).
+v(note, iri('https://example.org/vocab/note')).
+v(kind, iri('https://example.org/vocab/kind')).
+v(neighbourhood, iri('https://example.org/vocab/neighbourhood')).
+v(status, iri('https://example.org/vocab/status')).
+v(cooling, iri('https://example.org/vocab/cooling')).
+v(capacity, iri('https://example.org/vocab/capacity')).
+v(wheelchair_access, iri('https://example.org/vocab/wheelchairAccess')).
+v(expected_demand, iri('https://example.org/vocab/expectedDemand')).
+v(mobile_unit_available, iri('https://example.org/vocab/mobileUnitAvailable')).
+v(connects, iri('https://example.org/vocab/connects')).
+v(power, iri('https://example.org/vocab/power')).
+v(emergency_designation, iri('https://example.org/vocab/emergencyDesignation')).
+
+graph(ai_proposals, iri('https://example.org/graph/ai-proposals')).
+graph(human_review, iri('https://example.org/graph/human-review')).
+graph(evidence_registry, iri('https://example.org/graph/evidence-registry')).
+graph(accepted_knowledge, iri('https://example.org/graph/accepted-knowledge')).
+graph(derived_decisions, iri('https://example.org/graph/derived-decisions')).
+
+curated_graph(iri('https://example.org/graph/city-facilities')).
+curated_graph(iri('https://example.org/graph/emergency-plan')).
+curated_graph(iri('https://example.org/graph/transit-plan')).
+curated_graph(iri('https://example.org/graph/power-sensors')).
+
+curated(S, P, O) :- rdf(S, P, O, G), curated_graph(G).
+
+integer_literal(literal(Text, datatype('http://www.w3.org/2001/XMLSchema#integer')), Number) :-
+  atom_chars(Text, Chars),
+  number_chars(Number, Chars).
+
+% --- Candidate knowledge carried as RDF 1.2 triple terms --------------------
+
+proposal(Id, Agent, Evidence, S, P, O, Confidence) :-
+  graph(ai_proposals, G),
+  v(statement, StatementP),
+  v(agent, AgentP),
+  v(evidence, EvidenceP),
+  v(confidence_percent, ConfidenceP),
+  rdf(Id, StatementP, triple(S, P, O), G),
+  rdf(Id, AgentP, Agent, G),
+  rdf(Id, EvidenceP, Evidence, G),
+  rdf(Id, ConfidenceP, ConfidenceLiteral, G),
+  integer_literal(ConfidenceLiteral, Confidence).
+
+evidence_kind(Evidence, Kind) :-
+  graph(evidence_registry, G),
+  v(evidence_kind, Predicate),
+  rdf(Evidence, Predicate, Kind, G).
+
+human_review(Id, Reviewer, Decision, Note) :-
+  graph(human_review, G),
+  v(about_proposal, AboutP),
+  v(reviewer, ReviewerP),
+  v(decision, DecisionP),
+  v(note, NoteP),
+  rdf(Review, AboutP, Id, G),
+  rdf(Review, ReviewerP, Reviewer, G),
+  rdf(Review, DecisionP, DecisionIri, G),
+  rdf(Review, NoteP, literal(Note, datatype('http://www.w3.org/2001/XMLSchema#string')), G),
+  decision_atom(DecisionIri, Decision).
+
+decision_atom(iri('https://example.org/city/decision/accept'), accept).
+decision_atom(iri('https://example.org/city/decision/reject'), reject).
+
+% --- Trust, conflict, and review policy --------------------------------------
+
+auto_eligible(iri('https://example.org/city/evidence-kind/official-feed')).
+replaceable(P) :- v(status, P).
+
+authoritative_override(Evidence, Predicate) :-
+  evidence_kind(Evidence, Kind),
+  auto_eligible(Kind),
+  replaceable(Predicate).
+
+opposite(iri('https://example.org/city/state/open'), iri('https://example.org/city/state/closed')).
+opposite(iri('https://example.org/city/state/closed'), iri('https://example.org/city/state/open')).
+opposite(iri('https://example.org/city/state/running'), iri('https://example.org/city/state/suspended')).
+opposite(iri('https://example.org/city/state/suspended'), iri('https://example.org/city/state/running')).
+
+conflict_iri(Id, Subject, Predicate, Existing) :-
+  proposal(Id, _Agent, _Evidence, Subject, Predicate, Proposed, _Confidence),
+  curated(Subject, Predicate, Existing),
+  opposite(Proposed, Existing).
+
+proposal_state_iri(Id, auto_accepted) :-
+  proposal(Id, _Agent, Evidence, Subject, Predicate, _Object, Confidence),
+  evidence_kind(Evidence, Kind),
+  auto_eligible(Kind),
+  Confidence >= 95,
+  ( \+ conflict_iri(Id, Subject, Predicate, _Existing)
+  ; authoritative_override(Evidence, Predicate)
+  ).
+
+proposal_state_iri(Id, human_accepted) :-
+  proposal(Id, _Agent, _Evidence, _S, _P, _O, _Confidence),
+  human_review(Id, _Reviewer, accept, _Note).
+
+proposal_state_iri(Id, human_rejected) :-
+  proposal(Id, _Agent, _Evidence, _S, _P, _O, _Confidence),
+  human_review(Id, _Reviewer, reject, _Note).
+
+proposal_state_iri(Id, needs_review) :-
+  proposal(Id, _Agent, _Evidence, _S, _P, _O, _Confidence),
+  \+ proposal_state_iri(Id, auto_accepted),
+  \+ human_review(Id, _Reviewer, _Decision, _Note).
+
+% --- Stage-aware operational graph ------------------------------------------
+
+stage(before_review).
+stage(after_review).
+
+accepted(before_review, Id) :- proposal_state_iri(Id, auto_accepted).
+accepted(after_review, Id) :- proposal_state_iri(Id, auto_accepted).
+accepted(after_review, Id) :- proposal_state_iri(Id, human_accepted).
+
+has_accepted_override(Stage, S, P) :-
+  replaceable(P),
+  proposal(Id, _Agent, _Evidence, S, P, _O, _Confidence),
+  accepted(Stage, Id).
+
+known(Stage, S, P, O) :-
+  curated(S, P, O),
+  \+ has_accepted_override(Stage, S, P).
+
+known(Stage, S, P, O) :-
+  proposal(Id, _Agent, _Evidence, S, P, O, _Confidence),
+  accepted(Stage, Id).
+
+knowledge_gain_iri(S, P, O) :-
+  known(after_review, S, P, O),
+  \+ known(before_review, S, P, O).
+
+% --- Operational reasoning ---------------------------------------------------
+
+cooling_center(Stage, Center) :-
+  v(kind, P),
+  known(Stage, Center, P, iri('https://example.org/city/class/cooling-center')).
+cooling_center(Stage, Center) :-
+  v(emergency_designation, P),
+  known(Stage, Center, P, iri('https://example.org/city/class/cooling-center')).
+
+numeric_value(Stage, S, Predicate, Number) :-
+  known(Stage, S, Predicate, Literal),
+  integer_literal(Literal, Number).
+
+sufficient_capacity(Stage, Center, Neighbourhood) :-
+  v(capacity, CapacityP),
+  v(expected_demand, DemandP),
+  numeric_value(Stage, Center, CapacityP, Capacity),
+  numeric_value(Stage, Neighbourhood, DemandP, Demand),
+  Capacity >= Demand.
+
+operational_center(Stage, Center, Neighbourhood) :-
+  cooling_center(Stage, Center),
+  v(status, StatusP),
+  v(cooling, CoolingP),
+  v(wheelchair_access, AccessP),
+  v(power, PowerP),
+  known(Stage, Center, StatusP, iri('https://example.org/city/state/open')),
+  known(Stage, Center, CoolingP, iri('https://example.org/city/state/available')),
+  known(Stage, Center, AccessP, iri('https://example.org/city/value/yes')),
+  sufficient_capacity(Stage, Center, Neighbourhood),
+  \+ known(Stage, Center, PowerP, iri('https://example.org/city/state/unstable')).
+
+local_center(Stage, Neighbourhood, Center) :-
+  operational_center(Stage, Center, Neighbourhood),
+  v(neighbourhood, NeighbourhoodP),
+  known(Stage, Center, NeighbourhoodP, Neighbourhood).
+
+reachable_center(Stage, Neighbourhood, Center) :-
+  operational_center(Stage, Center, Neighbourhood),
+  v(connects, ConnectsP),
+  v(status, StatusP),
+  known(Stage, Route, ConnectsP, Center),
+  known(Stage, Route, StatusP, iri('https://example.org/city/state/running')).
+
+recommended_action_iri(Stage, Neighbourhood, open_local_center(Center)) :-
+  stage(Stage),
+  local_center(Stage, Neighbourhood, Center).
+
+recommended_action_iri(Stage, Neighbourhood, use_transit_to(Center)) :-
+  stage(Stage),
+  \+ local_center(Stage, Neighbourhood, _Local),
+  reachable_center(Stage, Neighbourhood, Center).
+
+recommended_action_iri(Stage, Neighbourhood, deploy_mobile_unit) :-
+  stage(Stage),
+  \+ local_center(Stage, Neighbourhood, _Local),
+  \+ reachable_center(Stage, Neighbourhood, _Remote),
+  v(mobile_unit_available, MobileP),
+  known(Stage, Neighbourhood, MobileP, iri('https://example.org/city/value/yes')).
+
+% --- Friendly checked output -------------------------------------------------
+
+short(iri('https://example.org/city/proposal/p1'), p1).
+short(iri('https://example.org/city/proposal/p2'), p2).
+short(iri('https://example.org/city/proposal/p3'), p3).
+short(iri('https://example.org/city/proposal/p4'), p4).
+short(iri('https://example.org/city/agent/language-agent'), language_agent).
+short(iri('https://example.org/city/evidence/transit-api-20260827'), transit_api_20260827).
+short(iri('https://example.org/city/evidence/facilities-bulletin-20260827'), facilities_bulletin_20260827).
+short(iri('https://example.org/city/evidence/community-post-4812'), community_post_4812).
+short(iri('https://example.org/city/evidence/volunteer-message-112'), volunteer_message_112).
+short(iri('https://example.org/city/actor/emergency-coordinator'), emergency_coordinator).
+short(iri('https://example.org/city/actor/operations-officer'), operations_officer).
+short(iri('https://example.org/city/facility/central-hall'), central_hall).
+short(iri('https://example.org/city/facility/north-library'), north_library).
+short(iri('https://example.org/city/facility/riverside-school'), riverside_school).
+short(iri('https://example.org/city/neighbourhood/riverside'), riverside).
+short(iri('https://example.org/city/route/7'), route_7).
+short(iri('https://example.org/vocab/status'), status).
+short(iri('https://example.org/vocab/emergencyDesignation'), emergency_designation).
+short(iri('https://example.org/city/state/running'), running).
+short(iri('https://example.org/city/state/open'), open).
+short(iri('https://example.org/city/class/cooling-center'), cooling_center).
+
+proposal_state(Id, State) :-
+  proposal_state_iri(IdIri, State),
+  short(IdIri, Id).
+
+conflict(Id, Subject, Predicate, Existing) :-
+  conflict_iri(IdIri, SubjectIri, PredicateIri, ExistingIri),
+  short(IdIri, Id),
+  short(SubjectIri, Subject),
+  short(PredicateIri, Predicate),
+  short(ExistingIri, Existing).
+
+knowledge_gain(Subject, Predicate, Object) :-
+  knowledge_gain_iri(SubjectIri, PredicateIri, ObjectIri),
+  short(SubjectIri, Subject),
+  short(PredicateIri, Predicate),
+  short(ObjectIri, Object).
+
+friendly_action(deploy_mobile_unit, deploy_mobile_unit).
+friendly_action(open_local_center(CenterIri), open_local_center(Center)) :- short(CenterIri, Center).
+friendly_action(use_transit_to(CenterIri), use_transit_to(Center)) :- short(CenterIri, Center).
+
+recommended_action(Stage, Neighbourhood, Action) :-
+  recommended_action_iri(Stage, NeighbourhoodIri, ActionIri),
+  short(NeighbourhoodIri, Neighbourhood),
+  friendly_action(ActionIri, Action).
+
+decision_reason(before_review, riverside,
+  "Route 7 is suspended, Central Hall has unstable power, and Riverside School is not yet an approved cooling centre; deploy the mobile unit.") :-
+  recommended_action(before_review, riverside, deploy_mobile_unit).
+
+decision_reason(after_review, riverside,
+  "Human review confirms Riverside School as an emergency cooling centre; its verified capacity and accessibility satisfy Riverside demand locally.") :-
+  recommended_action(after_review, riverside, open_local_center(riverside_school)).
+
+review_summary(Id, human(Reviewer, Decision)) :-
+  human_review(Id, ReviewerIri, Decision, _Note),
+  short(ReviewerIri, Reviewer).
+review_summary(Id, automatic) :- proposal_state_iri(Id, auto_accepted).
+review_summary(Id, pending) :- proposal_state_iri(Id, needs_review).
+
+audit(Id, Agent, Evidence, State, Review) :-
+  proposal(IdIri, AgentIri, EvidenceIri, _S, _P, _O, _Confidence),
+  proposal_state_iri(IdIri, State),
+  review_summary(IdIri, Review),
+  short(IdIri, Id),
+  short(AgentIri, Agent),
+  short(EvidenceIri, Evidence).
+
+feedback_signal(language_agent, Id, accepted_by_human) :-
+  proposal_state_iri(IdIri, human_accepted), short(IdIri, Id).
+feedback_signal(language_agent, Id, rejected_by_human) :-
+  proposal_state_iri(IdIri, human_rejected), short(IdIri, Id).
+feedback_signal(language_agent, Id, unresolved) :-
+  proposal_state_iri(IdIri, needs_review), short(IdIri, Id).
+
+symbiosis_gain(graph, accepted_machine_knowledge) :- proposal_state(p2, human_accepted).
+symbiosis_gain(agent, better_operational_answer) :-
+  recommended_action(after_review, riverside, open_local_center(riverside_school)).
+symbiosis_gain(human, inspectable_reason) :- decision_reason(after_review, riverside, _Reason).
+symbiosis_gain(governance, rejected_claim_remains_outside_operational_graph) :-
+  proposal_state(p3, human_rejected).
+symbiosis_gain(rdf, accepted_and_derived_knowledge_can_be_published_back) :-
+  result_rdf(_, _, _, _).
+
+knowledge_exchange(X, Y) :- knowledge_exchange_fact(X, Y).
+knowledge_exchange_fact(machine_to_graph, candidate(p2, riverside_school, emergency_designation, cooling_center)).
+knowledge_exchange_fact(graph_to_machine, constraint(central_hall, power, unstable)).
+knowledge_exchange_fact(human_to_machine, review(p2, accept)).
+knowledge_exchange_fact(human_to_machine, review(p3, reject)).
+knowledge_exchange_fact(machine_to_human, recommendation(after_review, riverside, open_local_center(riverside_school))).
+knowledge_exchange_fact(rdf_to_prolog, ordinary_rdf4_facts).
+knowledge_exchange_fact(prolog_to_rdf, materialized_ground_rdf4).
+
+pipeline_step(N, Description) :- pipeline_step_fact(N, Description).
+pipeline_step_fact(1, 'RDF 1.2 N-Quads: named graphs keep source and governance boundaries explicit').
+pipeline_step_fact(2, 'rdf-prolog-roundtrip: RDF becomes ordinary rdf/4 Prolog facts without a solver').
+pipeline_step_fact(3, 'EyeProlog: ISO Prolog rules validate candidates, apply review policy, and derive actions').
+pipeline_step_fact(4, 'EyeProlog: result_rdf/4 materializes accepted knowledge and decisions as ground RDF-shaped facts').
+pipeline_step_fact(5, 'rdf-prolog-roundtrip: ground rdf/4 facts become RDF again for publication or federation').
+
+cognitive_parallel(Prolog, Human) :- cognitive_parallel_fact(Prolog, Human).
+cognitive_parallel_fact(fact, remembered_assertion).
+cognitive_parallel_fact(rule, reusable_generalization).
+cognitive_parallel_fact(query, explicit_question).
+cognitive_parallel_fact(variable_binding, filling_in_an_answer).
+cognitive_parallel_fact(backtracking, considering_alternatives).
+cognitive_parallel_fact(proof, giving_reasons).
+cognitive_parallel_fact(review, correcting_shared_knowledge).
+
+% --- Materialization boundary back to RDF -----------------------------------
+
+result_rdf(
+  iri('https://example.org/city/facility/riverside-school'),
+  iri('https://example.org/vocab/emergencyDesignation'),
+  iri('https://example.org/city/class/cooling-center'),
+  iri('https://example.org/graph/accepted-knowledge')) :-
+  proposal_state(p2, human_accepted).
+
+result_rdf(
+  iri('https://example.org/city/proposal/p2'),
+  iri('https://example.org/vocab/reviewOutcome'),
+  iri('https://example.org/city/decision/accept'),
+  iri('https://example.org/graph/human-review')) :-
+  proposal_state(p2, human_accepted).
+
+result_rdf(
+  iri('https://example.org/city/proposal/p3'),
+  iri('https://example.org/vocab/reviewOutcome'),
+  iri('https://example.org/city/decision/reject'),
+  iri('https://example.org/graph/human-review')) :-
+  proposal_state(p3, human_rejected).
+
+result_rdf(
+  iri('https://example.org/city/decision/before-review'),
+  iri('https://example.org/vocab/recommendedAction'),
+  iri('https://example.org/city/action/deploy-mobile-unit'),
+  iri('https://example.org/graph/derived-decisions')) :-
+  recommended_action(before_review, riverside, deploy_mobile_unit).
+
+result_rdf(
+  iri('https://example.org/city/decision/after-review'),
+  iri('https://example.org/vocab/recommendedAction'),
+  iri('https://example.org/city/action/open-local-center'),
+  iri('https://example.org/graph/derived-decisions')) :-
+  recommended_action(after_review, riverside, open_local_center(riverside_school)).
+
+result_rdf(
+  iri('https://example.org/city/decision/after-review'),
+  iri('https://example.org/vocab/selectedFacility'),
+  iri('https://example.org/city/facility/riverside-school'),
+  iri('https://example.org/graph/derived-decisions')) :-
+  recommended_action(after_review, riverside, open_local_center(riverside_school)).
+
+write_results :-
+  result_rdf(S, P, O, G),
+  write_term(rdf(S, P, O, G), [quoted(true)]),
+  write('.'),
+  nl,
+  fail.
+write_results.
+
+:- set_prolog_flag(unknown, fail).

package/examples/deck/README.md

@@ -0,0 +1,6 @@
+# Example decks
+
+Wide-audience companion explanations for selected runnable examples.
+
+- [ODRL policy reasoning](odrl-policy-reasoning.md) — permissions, prohibitions, duties, conflicts, and defaults.
+- [Symbiotic Knowledge Graphs](symbiotic-knowledge-graphs.md) — a real-world RDF → Prolog → RDF heatwave-response loop in which AI proposes, explicit rules govern, people review, and accepted knowledge improves later decisions.