eyeprolog 0.5.7 → 0.5.9

package/README.md

@@ -30,6 +30,14 @@ eyeprolog --goal 'type(socrates, mortal)' examples/socrates.pl
 
 Programs may declare their default queries with `%% goal:` comments.
 
+## Portable library
+
+EyeProlog adds 50 public library predicates to its 115-predicate ISO profile.
+**48 of the 50 are ordinary Prolog clauses** in `src/eyeprolog-library.pl` and
+are autoloaded in Node and the browser. Only `uuid/1` and `local_time/1` require
+host support. Portable text predicates use ISO atoms or character lists; the
+RDF tools emit lexical values as ISO atoms as well.
+
 ## RDF 1.2
 
 ```sh

package/examples/age.pl

@@ -13,8 +13,8 @@
 %% goal: holds_result(X0, X1)
 
 
-birthDay(patH, "1944-08-21").
-duration(check, "P80Y").
+birthDay(patH, '1944-08-21').
+duration(check, 'P80Y').
 
 % A person is above a duration if the local date minus the birthday is greater
 % than that duration.
@@ -27,4 +27,4 @@ ageAbove(S, A) :-
 
 % Test mirroring the Eyeling example.
 holds_result(test, true) :-
-  ageAbove(S, "P80Y").
+  ageAbove(S, 'P80Y').

package/examples/aliases-and-namespaces.pl

@@ -16,7 +16,7 @@
 % application vocabulary is modeled with ordinary facts and rules.
 value(nativeMath, X) :- (X is 0.125 + 0.875).
 ok(nativeCompare, true) :- (2 < 3).
-ok(nativeString, true) :- matches("scoped retail insight", "retail|medical").
+ok(nativeString, true) :- matches('scoped retail insight', 'retail|medical').
 tail(nativeList, Tail) :- [_head|Tail] = [a, b, c].
 
 % These names are just user data; eyeprolog does not give them special meaning.

package/examples/book/README.md

@@ -62,7 +62,7 @@ npm run generate
 - [02-outgoing_costs.pl](chapter-08/02-outgoing_costs.pl)
 - [03-best_route.pl](chapter-08/03-best_route.pl)
 
-## Chapter 9: Structured data, strings, and contexts
+## Chapter 9: Structured data, text, and contexts
 
 - [01-functor.pl](chapter-09/01-functor.pl)
 - [02-normalized.pl](chapter-09/02-normalized.pl)

package/examples/book/chapter-09/02-normalized.pl

@@ -2,4 +2,4 @@
 normalized(Input, Words) :-
   trim(Input, Trimmed),
   lowercase(Trimmed, Lower),
-  split(Lower, " ", Words).
+  split(Lower, ' ', Words).

package/examples/book/chapter-33/02-source_role.pl

@@ -1,6 +1,6 @@
 % From The Art of EyeProlog, Chapter 33 — Pattern 2: Normalize at the boundary.
-source_role(person_7, "Doctor").
+source_role(person_7, 'Doctor').
 
 canonical_role(Person, clinician) :-
   source_role(Person, Text),
-  lowercase(Text, "doctor").
+  lowercase(Text, doctor).

package/examples/delfour.pl

@@ -105,7 +105,7 @@ insight_graph(delfourInsightGraph, (
   retailer(insight, "Delfour"),
   createdAt(insight, "2025-10-05T20:33:48.907163+00:00"),
   expiresAt(insight, "2025-10-05T22:33:48.907185+00:00"),
-  serializedLowercase(insight, "createdat expiresat insight metric sugar_g_per_serving retailer delfour scopedevice self-scanner scopeevent pick_up_scanner")
+  serializedLowercase(insight, 'createdat expiresat insight metric sugar_g_per_serving retailer delfour scopedevice self-scanner scopeevent pick_up_scanner')
 )).
 
 policy_graph(delfourPolicyGraph, (
@@ -204,7 +204,7 @@ signature_verifies(check) :-
 
 minimization_strips_sensitive_terms(check) :-
   serialized_lowercase(insight, Text),
-  \+ matches(Text, "diabetes|medical").
+  \+ matches(Text, 'diabetes|medical').
 
 scope_complete(check) :-
   scope_device(insight, _device),

package/examples/dpv-odrl-purpose-mapping.pl

@@ -2,31 +2,31 @@
 
 % Run with: eyeprolog --goal 'rdf(S, P, O, G)' program.pl.
 
-rdf(iri("https://example.org/alpha_care_process"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://w3id.org/dpv#Process"), default_graph).
-rdf(iri("https://example.org/alpha_care_process"), iri("https://w3id.org/dpv#hasDataController"), iri("https://example.org/hospital_a"), default_graph).
-rdf(iri("https://example.org/alpha_care_process"), iri("https://w3id.org/dpv#hasRecipient"), iri("https://example.org/research_partner"), default_graph).
-rdf(iri("https://example.org/alpha_care_process"), iri("https://w3id.org/dpv#hasPersonalData"), iri("https://example.org/lab_result"), default_graph).
-rdf(iri("https://example.org/alpha_care_process"), iri("https://w3id.org/dpv#hasProcessing"), iri("https://w3id.org/dpv#Use"), default_graph).
-rdf(iri("https://example.org/alpha_care_process"), iri("https://w3id.org/dpv#hasPurpose"), iri("https://w3id.org/dpv#Healthcare"), default_graph).
-rdf(iri("https://example.org/alpha_care_process"), iri("https://w3id.org/dpv#hasLegalBasis"), iri("https://w3id.org/dpv#Consent"), default_graph).
-rdf(iri("https://example.org/alpha_policy"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("http://www.w3.org/ns/odrl/2/Policy"), default_graph).
-rdf(iri("https://example.org/alpha_policy"), iri("https://example.org/representsProcess"), iri("https://example.org/alpha_care_process"), default_graph).
-rdf(iri("https://example.org/alpha_policy"), iri("http://www.w3.org/ns/odrl/2/permission"), iri("https://example.org/alpha_permission"), default_graph).
-rdf(iri("https://example.org/alpha_permission"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("http://www.w3.org/ns/odrl/2/Permission"), default_graph).
-rdf(iri("https://example.org/alpha_permission"), iri("http://www.w3.org/ns/odrl/2/assigner"), iri("https://example.org/hospital_a"), default_graph).
-rdf(iri("https://example.org/alpha_permission"), iri("http://www.w3.org/ns/odrl/2/assignee"), iri("https://example.org/research_partner"), default_graph).
-rdf(iri("https://example.org/alpha_permission"), iri("http://www.w3.org/ns/odrl/2/target"), iri("https://example.org/lab_result"), default_graph).
-rdf(iri("https://example.org/alpha_permission"), iri("http://www.w3.org/ns/odrl/2/action"), iri("http://www.w3.org/ns/odrl/2/use"), default_graph).
-rdf(iri("https://example.org/alpha_permission"), iri("http://www.w3.org/ns/odrl/2/constraint"), iri("https://example.org/alpha_purpose_constraint"), default_graph).
-rdf(iri("https://example.org/alpha_permission"), iri("http://www.w3.org/ns/odrl/2/constraint"), iri("https://example.org/alpha_basis_constraint"), default_graph).
-rdf(iri("https://example.org/alpha_purpose_constraint"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("http://www.w3.org/ns/odrl/2/Constraint"), default_graph).
-rdf(iri("https://example.org/alpha_purpose_constraint"), iri("http://www.w3.org/ns/odrl/2/leftOperand"), iri("http://www.w3.org/ns/odrl/2/purpose"), default_graph).
-rdf(iri("https://example.org/alpha_purpose_constraint"), iri("http://www.w3.org/ns/odrl/2/operator"), iri("http://www.w3.org/ns/odrl/2/isA"), default_graph).
-rdf(iri("https://example.org/alpha_purpose_constraint"), iri("http://www.w3.org/ns/odrl/2/rightOperand"), iri("https://w3id.org/dpv#Healthcare"), default_graph).
-rdf(iri("https://example.org/alpha_basis_constraint"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("http://www.w3.org/ns/odrl/2/Constraint"), default_graph).
-rdf(iri("https://example.org/alpha_basis_constraint"), iri("http://www.w3.org/ns/odrl/2/leftOperand"), iri("https://example.org/legalBasis"), default_graph).
-rdf(iri("https://example.org/alpha_basis_constraint"), iri("http://www.w3.org/ns/odrl/2/operator"), iri("http://www.w3.org/ns/odrl/2/isA"), default_graph).
-rdf(iri("https://example.org/alpha_basis_constraint"), iri("http://www.w3.org/ns/odrl/2/rightOperand"), iri("https://w3id.org/dpv#Consent"), default_graph).
+rdf(iri('https://example.org/alpha_care_process'), iri('http://www.w3.org/1999/02/22-rdf-syntax-ns#type'), iri('https://w3id.org/dpv#Process'), default_graph).
+rdf(iri('https://example.org/alpha_care_process'), iri('https://w3id.org/dpv#hasDataController'), iri('https://example.org/hospital_a'), default_graph).
+rdf(iri('https://example.org/alpha_care_process'), iri('https://w3id.org/dpv#hasRecipient'), iri('https://example.org/research_partner'), default_graph).
+rdf(iri('https://example.org/alpha_care_process'), iri('https://w3id.org/dpv#hasPersonalData'), iri('https://example.org/lab_result'), default_graph).
+rdf(iri('https://example.org/alpha_care_process'), iri('https://w3id.org/dpv#hasProcessing'), iri('https://w3id.org/dpv#Use'), default_graph).
+rdf(iri('https://example.org/alpha_care_process'), iri('https://w3id.org/dpv#hasPurpose'), iri('https://w3id.org/dpv#Healthcare'), default_graph).
+rdf(iri('https://example.org/alpha_care_process'), iri('https://w3id.org/dpv#hasLegalBasis'), iri('https://w3id.org/dpv#Consent'), default_graph).
+rdf(iri('https://example.org/alpha_policy'), iri('http://www.w3.org/1999/02/22-rdf-syntax-ns#type'), iri('http://www.w3.org/ns/odrl/2/Policy'), default_graph).
+rdf(iri('https://example.org/alpha_policy'), iri('https://example.org/representsProcess'), iri('https://example.org/alpha_care_process'), default_graph).
+rdf(iri('https://example.org/alpha_policy'), iri('http://www.w3.org/ns/odrl/2/permission'), iri('https://example.org/alpha_permission'), default_graph).
+rdf(iri('https://example.org/alpha_permission'), iri('http://www.w3.org/1999/02/22-rdf-syntax-ns#type'), iri('http://www.w3.org/ns/odrl/2/Permission'), default_graph).
+rdf(iri('https://example.org/alpha_permission'), iri('http://www.w3.org/ns/odrl/2/assigner'), iri('https://example.org/hospital_a'), default_graph).
+rdf(iri('https://example.org/alpha_permission'), iri('http://www.w3.org/ns/odrl/2/assignee'), iri('https://example.org/research_partner'), default_graph).
+rdf(iri('https://example.org/alpha_permission'), iri('http://www.w3.org/ns/odrl/2/target'), iri('https://example.org/lab_result'), default_graph).
+rdf(iri('https://example.org/alpha_permission'), iri('http://www.w3.org/ns/odrl/2/action'), iri('http://www.w3.org/ns/odrl/2/use'), default_graph).
+rdf(iri('https://example.org/alpha_permission'), iri('http://www.w3.org/ns/odrl/2/constraint'), iri('https://example.org/alpha_purpose_constraint'), default_graph).
+rdf(iri('https://example.org/alpha_permission'), iri('http://www.w3.org/ns/odrl/2/constraint'), iri('https://example.org/alpha_basis_constraint'), default_graph).
+rdf(iri('https://example.org/alpha_purpose_constraint'), iri('http://www.w3.org/1999/02/22-rdf-syntax-ns#type'), iri('http://www.w3.org/ns/odrl/2/Constraint'), default_graph).
+rdf(iri('https://example.org/alpha_purpose_constraint'), iri('http://www.w3.org/ns/odrl/2/leftOperand'), iri('http://www.w3.org/ns/odrl/2/purpose'), default_graph).
+rdf(iri('https://example.org/alpha_purpose_constraint'), iri('http://www.w3.org/ns/odrl/2/operator'), iri('http://www.w3.org/ns/odrl/2/isA'), default_graph).
+rdf(iri('https://example.org/alpha_purpose_constraint'), iri('http://www.w3.org/ns/odrl/2/rightOperand'), iri('https://w3id.org/dpv#Healthcare'), default_graph).
+rdf(iri('https://example.org/alpha_basis_constraint'), iri('http://www.w3.org/1999/02/22-rdf-syntax-ns#type'), iri('http://www.w3.org/ns/odrl/2/Constraint'), default_graph).
+rdf(iri('https://example.org/alpha_basis_constraint'), iri('http://www.w3.org/ns/odrl/2/leftOperand'), iri('https://example.org/legalBasis'), default_graph).
+rdf(iri('https://example.org/alpha_basis_constraint'), iri('http://www.w3.org/ns/odrl/2/operator'), iri('http://www.w3.org/ns/odrl/2/isA'), default_graph).
+rdf(iri('https://example.org/alpha_basis_constraint'), iri('http://www.w3.org/ns/odrl/2/rightOperand'), iri('https://w3id.org/dpv#Consent'), default_graph).
 
 % Rules
 % Source data: examples/input/dpv-odrl-purpose-mapping.ttl
@@ -80,9 +80,9 @@ rdf_link(Subject, Predicate, Object) :-
   rdf(iri(SubjectIri), iri(PredicateIri), iri(ObjectIri), default_graph),
   iri_term(Object, ObjectIri).
 
-iri_term(ex(Name), Iri) :- namespace_iri("https://example.org/", Name, Iri).
-iri_term(dpv(Name), Iri) :- namespace_iri("https://w3id.org/dpv#", Name, Iri).
-iri_term(odrl(Name), Iri) :- namespace_iri("http://www.w3.org/ns/odrl/2/", Name, Iri).
+iri_term(ex(Name), Iri) :- namespace_iri('https://example.org/', Name, Iri).
+iri_term(dpv(Name), Iri) :- namespace_iri('https://w3id.org/dpv#', Name, Iri).
+iri_term(odrl(Name), Iri) :- namespace_iri('http://www.w3.org/ns/odrl/2/', Name, Iri).
 
 namespace_iri(Prefix, Name, Iri) :-
   atom(Name),

package/examples/flandor.pl

@@ -166,7 +166,7 @@ scopeEvent(macroInsight, "budget-prep-window").
 region(macroInsight, "Flanders").
 createdAt(macroInsight, "2026-04-08T07:00:00+00:00").
 expiresAt(macroInsight, "2026-04-08T19:00:00+00:00").
-serializedLowercase(macroInsight, "createdat expiresat insight metric regional_retooling_priority region flanders scopedevice economic-resilience-board scopeevent budget-prep-window suggestionpolicy lowest_cost_package_covering_all_active_needs threshold 3").
+serializedLowercase(macroInsight, 'createdat expiresat insight metric regional_retooling_priority region flanders scopedevice economic-resilience-board scopeevent budget-prep-window suggestionpolicy lowest_cost_package_covering_all_active_needs threshold 3').
 
 envelopeInsight(envelope, macroInsight).
 envelopePolicy(envelope, policy).
@@ -224,7 +224,7 @@ hmac_matches(check) :-
 
 minimization_strips_sensitive_terms(check) :-
   serializedLowercase(macroInsight, Text),
-  \+ matches(Text, "salary|payroll|invoice|medical|firmname").
+  \+ matches(Text, 'salary|payroll|invoice|medical|firmname').
 
 scope_complete(check) :-
   scopeDevice(macroInsight, _device),

package/examples/goldbach.pl

@@ -42,8 +42,9 @@ has_factor(N, L) :-
 
 % query
 case(N, G) :-
-    between(2, 35, I),
+    % Keep the portable benchmark below the range where repeated interpreted
+    % Miller-Rabin searches dominate the example suite.
+    between(2, 25, I),
     N is 2^I,
     goldbach(N, G).
 %% goal: case(_, _)
-

package/examples/input/dpv-odrl-purpose-mapping-rules.pl

@@ -49,9 +49,9 @@ rdf_link(Subject, Predicate, Object) :-
   rdf(iri(SubjectIri), iri(PredicateIri), iri(ObjectIri), default_graph),
   iri_term(Object, ObjectIri).
 
-iri_term(ex(Name), Iri) :- namespace_iri("https://example.org/", Name, Iri).
-iri_term(dpv(Name), Iri) :- namespace_iri("https://w3id.org/dpv#", Name, Iri).
-iri_term(odrl(Name), Iri) :- namespace_iri("http://www.w3.org/ns/odrl/2/", Name, Iri).
+iri_term(ex(Name), Iri) :- namespace_iri('https://example.org/', Name, Iri).
+iri_term(dpv(Name), Iri) :- namespace_iri('https://w3id.org/dpv#', Name, Iri).
+iri_term(odrl(Name), Iri) :- namespace_iri('http://www.w3.org/ns/odrl/2/', Name, Iri).
 
 namespace_iri(Prefix, Name, Iri) :-
   atom(Name),

package/examples/input/odrl-dpv-fpv-trust-flow-rules.pl

@@ -67,8 +67,8 @@ rdf_number(Subject, Predicate, Number) :-
   rdf(iri(SubjectIri), iri(PredicateIri), literal(Text, datatype(_Datatype)), default_graph),
   number_string(Number, Text).
 
-iri_term(ex(Name), Iri) :- namespace_iri("https://example.org/", Name, Iri).
-iri_term(odrl(Name), Iri) :- namespace_iri("http://www.w3.org/ns/odrl/2/", Name, Iri).
+iri_term(ex(Name), Iri) :- namespace_iri('https://example.org/', Name, Iri).
+iri_term(odrl(Name), Iri) :- namespace_iri('http://www.w3.org/ns/odrl/2/', Name, Iri).
 
 namespace_iri(Prefix, Name, Iri) :-
   atom(Name),

package/examples/input/odrl-dpv-healthcare-risk-ranked-rules.pl

@@ -96,8 +96,8 @@ rdf_number(Subject, Predicate, Number) :-
   rdf_text(Subject, Predicate, Text),
   number_string(Number, Text).
 
-iri_term(ex(Name), Iri) :- namespace_iri("https://example.org/", Name, Iri).
-iri_term(odrl(Name), Iri) :- namespace_iri("http://www.w3.org/ns/odrl/2/", Name, Iri).
+iri_term(ex(Name), Iri) :- namespace_iri('https://example.org/', Name, Iri).
+iri_term(odrl(Name), Iri) :- namespace_iri('http://www.w3.org/ns/odrl/2/', Name, Iri).
 
 namespace_iri(Prefix, Name, Iri) :-
   atom(Name),

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

@@ -108,8 +108,8 @@ rdf_number(Subject, Predicate, Number) :-
   rdf_text(Subject, Predicate, Text),
   number_string(Number, Text).
 
-iri_term(ex(Name), Iri) :- namespace_iri("https://example.org/", Name, Iri).
-iri_term(odrl(Name), Iri) :- namespace_iri("http://www.w3.org/ns/odrl/2/", Name, Iri).
+iri_term(ex(Name), Iri) :- namespace_iri('https://example.org/', Name, Iri).
+iri_term(odrl(Name), Iri) :- namespace_iri('http://www.w3.org/ns/odrl/2/', Name, Iri).
 
 namespace_iri(Prefix, Name, Iri) :-
   atom(Name),

package/examples/input/odrl-policy-advanced-rules.pl

@@ -62,29 +62,29 @@ rdf_link(Subject, Predicate, Object) :-
   iri_value(Object, ObjectIri),
   rdf(iri(SubjectIri), iri(PredicateIri), iri(ObjectIri), default_graph).
 
-iri_value(advanced_policy, "https://example.org/advanced-policy").
-iri_value(research_permission, "https://example.org/research-permission").
-iri_value(transfer_prohibition, "https://example.org/transfer-prohibition").
-iri_value(health_dataset, "https://example.org/health-dataset").
-iri_value(research_hospital, "https://example.org/research-hospital").
-iri_value(medical_research, "https://example.org/medical-research").
-iri_value(eu, "https://example.org/eu").
-iri_value(deidentify_duty, "https://example.org/deidentify-duty").
-iri_value(deidentify, "https://example.org/deidentify").
-iri_value(purpose_constraint, "https://example.org/purpose-constraint").
-iri_value(region_constraint, "https://example.org/region-constraint").
-iri_value(permission, "http://www.w3.org/ns/odrl/2/permission").
-iri_value(prohibition, "http://www.w3.org/ns/odrl/2/prohibition").
-iri_value(target, "http://www.w3.org/ns/odrl/2/target").
-iri_value(action, "http://www.w3.org/ns/odrl/2/action").
-iri_value(assignee, "http://www.w3.org/ns/odrl/2/assignee").
-iri_value(constraint, "http://www.w3.org/ns/odrl/2/constraint").
-iri_value(duty, "http://www.w3.org/ns/odrl/2/duty").
-iri_value(left_operand, "http://www.w3.org/ns/odrl/2/leftOperand").
-iri_value(operator, "http://www.w3.org/ns/odrl/2/operator").
-iri_value(right_operand, "http://www.w3.org/ns/odrl/2/rightOperand").
-iri_value(purpose, "http://www.w3.org/ns/odrl/2/purpose").
-iri_value(spatial, "http://www.w3.org/ns/odrl/2/spatial").
-iri_value(eq, "http://www.w3.org/ns/odrl/2/eq").
-iri_value(use, "http://www.w3.org/ns/odrl/2/use").
-iri_value(transfer, "http://www.w3.org/ns/odrl/2/transfer").
+iri_value(advanced_policy, 'https://example.org/advanced-policy').
+iri_value(research_permission, 'https://example.org/research-permission').
+iri_value(transfer_prohibition, 'https://example.org/transfer-prohibition').
+iri_value(health_dataset, 'https://example.org/health-dataset').
+iri_value(research_hospital, 'https://example.org/research-hospital').
+iri_value(medical_research, 'https://example.org/medical-research').
+iri_value(eu, 'https://example.org/eu').
+iri_value(deidentify_duty, 'https://example.org/deidentify-duty').
+iri_value(deidentify, 'https://example.org/deidentify').
+iri_value(purpose_constraint, 'https://example.org/purpose-constraint').
+iri_value(region_constraint, 'https://example.org/region-constraint').
+iri_value(permission, 'http://www.w3.org/ns/odrl/2/permission').
+iri_value(prohibition, 'http://www.w3.org/ns/odrl/2/prohibition').
+iri_value(target, 'http://www.w3.org/ns/odrl/2/target').
+iri_value(action, 'http://www.w3.org/ns/odrl/2/action').
+iri_value(assignee, 'http://www.w3.org/ns/odrl/2/assignee').
+iri_value(constraint, 'http://www.w3.org/ns/odrl/2/constraint').
+iri_value(duty, 'http://www.w3.org/ns/odrl/2/duty').
+iri_value(left_operand, 'http://www.w3.org/ns/odrl/2/leftOperand').
+iri_value(operator, 'http://www.w3.org/ns/odrl/2/operator').
+iri_value(right_operand, 'http://www.w3.org/ns/odrl/2/rightOperand').
+iri_value(purpose, 'http://www.w3.org/ns/odrl/2/purpose').
+iri_value(spatial, 'http://www.w3.org/ns/odrl/2/spatial').
+iri_value(eq, 'http://www.w3.org/ns/odrl/2/eq').
+iri_value(use, 'http://www.w3.org/ns/odrl/2/use').
+iri_value(transfer, 'http://www.w3.org/ns/odrl/2/transfer').

package/examples/input/odrl-policy-rules.pl

@@ -7,44 +7,44 @@
 
 odrl_policy_decision(permit(use, research, dataset)) :-
   rdf(
-    iri("https://example.org/policy"),
-    iri("http://www.w3.org/ns/odrl/2/permission"),
+    iri('https://example.org/policy'),
+    iri('http://www.w3.org/ns/odrl/2/permission'),
     Permission,
     default_graph
   ),
   rdf(
     Permission,
-    iri("http://www.w3.org/ns/odrl/2/target"),
-    iri("https://example.org/dataset"),
+    iri('http://www.w3.org/ns/odrl/2/target'),
+    iri('https://example.org/dataset'),
     default_graph
   ),
   rdf(
     Permission,
-    iri("http://www.w3.org/ns/odrl/2/action"),
-    iri("http://www.w3.org/ns/odrl/2/use"),
+    iri('http://www.w3.org/ns/odrl/2/action'),
+    iri('http://www.w3.org/ns/odrl/2/use'),
     default_graph
   ),
   rdf(
     Permission,
-    iri("http://www.w3.org/ns/odrl/2/constraint"),
+    iri('http://www.w3.org/ns/odrl/2/constraint'),
     Constraint,
     default_graph
   ),
   rdf(
     Constraint,
-    iri("http://www.w3.org/ns/odrl/2/leftOperand"),
-    iri("http://www.w3.org/ns/odrl/2/purpose"),
+    iri('http://www.w3.org/ns/odrl/2/leftOperand'),
+    iri('http://www.w3.org/ns/odrl/2/purpose'),
     default_graph
   ),
   rdf(
     Constraint,
-    iri("http://www.w3.org/ns/odrl/2/operator"),
-    iri("http://www.w3.org/ns/odrl/2/eq"),
+    iri('http://www.w3.org/ns/odrl/2/operator'),
+    iri('http://www.w3.org/ns/odrl/2/eq'),
     default_graph
   ),
   rdf(
     Constraint,
-    iri("http://www.w3.org/ns/odrl/2/rightOperand"),
-    iri("https://example.org/research"),
+    iri('http://www.w3.org/ns/odrl/2/rightOperand'),
+    iri('https://example.org/research'),
     default_graph
   ).

package/examples/input/rdf12-annotated-claims-rules.pl

@@ -32,24 +32,24 @@ annotated_status_claim(Status, Source, Score) :-
   status_resource(Status, StatusIri),
   source_resource(Source, SourceIri),
   rdf(
-    iri("https://example.org/bridge"),
-    iri("https://example.org/status"),
+    iri('https://example.org/bridge'),
+    iri('https://example.org/status'),
     iri(StatusIri),
     default_graph
   ),
   rdf(
     Reifier,
-    iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#reifies"),
+    iri('http://www.w3.org/1999/02/22-rdf-syntax-ns#reifies'),
     triple(
-      iri("https://example.org/bridge"),
-      iri("https://example.org/status"),
+      iri('https://example.org/bridge'),
+      iri('https://example.org/status'),
       iri(StatusIri)
     ),
     default_graph
   ),
   rdf(
     Reifier,
-    iri("https://example.org/assertedBy"),
+    iri('https://example.org/assertedBy'),
     iri(SourceIri),
     default_graph
   ),

package/examples/input/rdf12-annotation-rules.pl

@@ -5,19 +5,19 @@ annotated_claim(S, P, O, Reifier, Source, Date) :-
   rdf(S, P, O, default_graph),
   rdf(
     Reifier,
-    iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#reifies"),
+    iri('http://www.w3.org/1999/02/22-rdf-syntax-ns#reifies'),
     triple(S, P, O),
     default_graph
   ),
   rdf(
     Reifier,
-    iri("https://example.org/statedBy"),
+    iri('https://example.org/statedBy'),
     Source,
     default_graph
   ),
   rdf(
     Reifier,
-    iri("https://example.org/recorded"),
+    iri('https://example.org/recorded'),
     Date,
     default_graph
   ).

package/examples/input/rdf12-directional-language-rules.pl

@@ -1,3 +1,5 @@
 % Preserve RDF 1.2 base-direction metadata while deriving display labels.
-rdf(S, iri("https://example.org/displayLabel"), Label, G) :-
-  rdf(S, iri("https://example.org/label"), Label, G).
+%% goal: rdf(X0, X1, X2, X3)
+
+rdf(S, iri('https://example.org/displayLabel'), Label, G) :-
+  rdf(S, iri('https://example.org/label'), Label, G).

package/examples/input/rdf12-nested-triple-term-rules.pl

@@ -1,12 +1,13 @@
 % Match nested RDF 1.2 triple terms and derive the innermost relationship.
-rdf(S, iri("https://example.org/knows"), O, G) :-
+rdf(S, iri('https://example.org/knows'), O, G) :-
   rdf(
     _,
-    iri("https://example.org/reviews"),
+    iri('https://example.org/reviews'),
     triple(
       _,
-      iri("https://example.org/claims"),
-      triple(S, iri("https://example.org/knows"), O)
+      iri('https://example.org/claims'),
+      triple(S, iri('https://example.org/knows'), O)
     ),
     G
   ).
+%% goal: rdf(X0, X1, X2, X3)

package/examples/input/rdf12-trig-graph-join-rules.pl

@@ -1,14 +1,15 @@
 % Join graph metadata in the default graph with data from the named graph.
-rdf(S, iri("https://example.org/reportedBy"), Station, default_graph) :-
+rdf(S, iri('https://example.org/reportedBy'), Station, default_graph) :-
   rdf(
-    iri("https://example.org/sensorGraph"),
-    iri("https://example.org/reportedBy"),
+    iri('https://example.org/sensorGraph'),
+    iri('https://example.org/reportedBy'),
     Station,
     default_graph
   ),
   rdf(
     S,
-    iri("https://example.org/temperature"),
+    iri('https://example.org/temperature'),
     _,
-    iri("https://example.org/sensorGraph")
+    iri('https://example.org/sensorGraph')
   ).
+%% goal: rdf(X0, X1, X2, X3)

package/examples/input/rdf12-trig-named-graph-rules.pl

@@ -1,7 +1,8 @@
 % Derive relationships inside the named graph that supplied the source data.
-rdf(S, iri("https://example.org/ancestor"), O, G) :-
-  rdf(S, iri("https://example.org/parent"), O, G).
+rdf(S, iri('https://example.org/ancestor'), O, G) :-
+  rdf(S, iri('https://example.org/parent'), O, G).
 
-rdf(S, iri("https://example.org/ancestor"), O, G) :-
-  rdf(S, iri("https://example.org/parent"), M, G),
-  rdf(M, iri("https://example.org/parent"), O, G).
+rdf(S, iri('https://example.org/ancestor'), O, G) :-
+  rdf(S, iri('https://example.org/parent'), M, G),
+  rdf(M, iri('https://example.org/parent'), O, G).
+%% goal: rdf(X0, X1, X2, X3)

package/examples/input/rdf12-trig-triple-term-rules.pl

@@ -1,8 +1,9 @@
 % Project a triple term while preserving its named-graph context.
-rdf(S, iri("https://example.org/knows"), O, G) :-
+rdf(S, iri('https://example.org/knows'), O, G) :-
   rdf(
     _,
-    iri("https://example.org/claims"),
-    triple(S, iri("https://example.org/knows"), O),
+    iri('https://example.org/claims'),
+    triple(S, iri('https://example.org/knows'), O),
     G
   ).
+%% goal: rdf(X0, X1, X2, X3)

package/examples/input/rdf12-triple-term-rules.pl

@@ -1,8 +1,9 @@
 % Project an RDF 1.2 triple term into an ordinary asserted relationship.
-rdf(S, iri("https://example.org/knows"), O, G) :-
+rdf(S, iri('https://example.org/knows'), O, G) :-
   rdf(
     _,
-    iri("https://example.org/claims"),
-    triple(S, iri("https://example.org/knows"), O),
+    iri('https://example.org/claims'),
+    triple(S, iri('https://example.org/knows'), O),
     G
   ).
+%% goal: rdf(X0, X1, X2, X3)

package/examples/observability-log-correlation.pl

@@ -11,12 +11,12 @@
 %% goal: trace_alert(X0, X1, X2)
 
 
-log_pattern("^ts=(?<ts>\\S+) level=(?<level>\\w+) event=(?<event>\\w+) user=(?<user>\\w+) ip=(?<ip>\\S+) traceparent=00-(?<trace_id>[0-9a-f]{32})-(?<span_id>[0-9a-f]{16})-(?<flags>[0-9a-f]{2})$").
+log_pattern('^ts=(?<ts>\\S+) level=(?<level>\\w+) event=(?<event>\\w+) user=(?<user>\\w+) ip=(?<ip>\\S+) traceparent=00-(?<trace_id>[0-9a-f]{32})-(?<span_id>[0-9a-f]{16})-(?<flags>[0-9a-f]{2})$').
 
-raw_log(l1, "ts=2026-06-18T10:00:00Z level=warn event=login_failed user=alice ip=203.0.113.9 traceparent=00-4bf92f3577b34da6a3ce929d0e0e4736-00f067aa0ba902b7-01").
-raw_log(l2, "ts=2026-06-18T10:00:03Z level=error event=payment_denied user=alice ip=203.0.113.9 traceparent=00-4bf92f3577b34da6a3ce929d0e0e4736-aaf067aa0ba90000-01").
-raw_log(l3, "ts=2026-06-18T10:01:12Z level=info event=login_success user=bob ip=198.51.100.4 traceparent=00-aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa-bbbbbbbbbbbbbbbb-01").
-raw_log(noise, "healthcheck ok").
+raw_log(l1, 'ts=2026-06-18T10:00:00Z level=warn event=login_failed user=alice ip=203.0.113.9 traceparent=00-4bf92f3577b34da6a3ce929d0e0e4736-00f067aa0ba902b7-01').
+raw_log(l2, 'ts=2026-06-18T10:00:03Z level=error event=payment_denied user=alice ip=203.0.113.9 traceparent=00-4bf92f3577b34da6a3ce929d0e0e4736-aaf067aa0ba90000-01').
+raw_log(l3, 'ts=2026-06-18T10:01:12Z level=info event=login_success user=bob ip=198.51.100.4 traceparent=00-aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa-bbbbbbbbbbbbbbbb-01').
+raw_log(noise, 'healthcheck ok').
 
 parsed(Log, Context) :-
   raw_log(Log, Text),
@@ -42,6 +42,6 @@ parsed_event(Log, Event, User, Ip, Traceid) :-
   context_member(Context, trace_id(Traceid)).
 
 trace_alert(User, Traceid, Ip) :-
-  parsed_event(Loginlog, "login_failed", User, Ip, Traceid),
-  parsed_event(Paymentlog, "payment_denied", User, Ip, Traceid),
+  parsed_event(Loginlog, 'login_failed', User, Ip, Traceid),
+  parsed_event(Paymentlog, 'payment_denied', User, Ip, Traceid),
   (Loginlog \= Paymentlog).