Example decks
Wide-audience companion explanations for selected runnable examples.
- Introduction to EyeProlog — a guided slide deck introducing facts, rules, answers, proofs, CLP(Z), CLP(B), ISO conformance, JavaScript embedding, RDF roundtrips, and a categorized path through the example corpus.
- Cross-organization data sharing — ODRL/DPV sharing decisions with permit, deny, review, safeguards, and obligations.
- Explainable EV-depot configuration — reversible configuration rules that select a charger, explain blockers, and derive required changes.
- ODRL policy reasoning — permissions, prohibitions, duties, conflicts, and defaults.
- Operational incident response — topology-aware root-cause, impact, evidence-chain, and safe-mitigation reasoning.
- SBOM vulnerability response — transitive exposure paths, severity policy, waivers, deployment decisions, and upgrade actions.
- Scientific evidence graph — RDF 1.2 claims, provenance, evidence quality, corroboration, and explicit disagreement.
- Symbiotic Knowledge Graphs — a real-world RDF → Prolog → RDF heatwave-response loop in which AI proposes, explicit rules govern, people review, and accepted knowledge improves later decisions.