eyeprolog 0.5.8 → 0.5.9

package/README.md

@@ -35,8 +35,8 @@ Programs may declare their default queries with `%% goal:` comments.
 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; RDF
-double-quoted STRING values cross that boundary explicitly in the RDF adapter.
+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
 

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
@@ -84,13 +84,11 @@ 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, IriString) :-
+namespace_iri(Prefix, Name, Iri) :-
   atom(Name),
   !,
   atom_string(Name, Local),
-  string_concat(Prefix, Local, IriAtom),
-  eyeprolog__string_atom(IriString, IriAtom).
-namespace_iri(Prefix, Name, IriString) :-
-  eyeprolog__string_atom(IriString, IriAtom),
-  string_concat(Prefix, Local, IriAtom),
+  string_concat(Prefix, Local, Iri).
+namespace_iri(Prefix, Name, Iri) :-
+  string_concat(Prefix, Local, Iri),
   atom_string(Name, Local).

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

@@ -53,13 +53,11 @@ 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, IriString) :-
+namespace_iri(Prefix, Name, Iri) :-
   atom(Name),
   !,
   atom_string(Name, Local),
-  string_concat(Prefix, Local, IriAtom),
-  eyeprolog__string_atom(IriString, IriAtom).
-namespace_iri(Prefix, Name, IriString) :-
-  eyeprolog__string_atom(IriString, IriAtom),
-  string_concat(Prefix, Local, IriAtom),
+  string_concat(Prefix, Local, Iri).
+namespace_iri(Prefix, Name, Iri) :-
+  string_concat(Prefix, Local, Iri),
   atom_string(Name, Local).

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

@@ -64,20 +64,17 @@ rdf_link(Subject, Predicate, Object) :-
 rdf_number(Subject, Predicate, Number) :-
   iri_term(Subject, SubjectIri),
   iri_term(Predicate, PredicateIri),
-  rdf(iri(SubjectIri), iri(PredicateIri), literal(TextString, datatype(_Datatype)), default_graph),
-  eyeprolog__string_atom(TextString, Text),
+  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).
 
-namespace_iri(Prefix, Name, IriString) :-
+namespace_iri(Prefix, Name, Iri) :-
   atom(Name),
   !,
   atom_string(Name, Local),
-  string_concat(Prefix, Local, IriAtom),
-  eyeprolog__string_atom(IriString, IriAtom).
-namespace_iri(Prefix, Name, IriString) :-
-  eyeprolog__string_atom(IriString, IriAtom),
-  string_concat(Prefix, Local, IriAtom),
+  string_concat(Prefix, Local, Iri).
+namespace_iri(Prefix, Name, Iri) :-
+  string_concat(Prefix, Local, Iri),
   atom_string(Name, Local).

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

@@ -21,8 +21,7 @@ healthcare_risk_report(Ranked) :-
 risk_report(Risk, Score, Level, Clause, Mitigation) :-
   risk_profile(_Profile, Risk, Rule, Need, Base, Mitigation),
   risk_triggered(Risk, Rule, Need),
-  rdf_text(Rule, ex(clause), ClauseString),
-  eyeprolog__string_atom(ClauseString, ClauseText),
+  rdf_text(Rule, ex(clause), ClauseText),
   atom_string(Clause, ClauseText),
   rdf_number(Need, ex(importance), Importance),
   Raw is Base + Importance,
@@ -63,8 +62,7 @@ constraint_text(Rule, LeftOperand, Value) :-
   rdf_text(Constraint, odrl('rightOperand'), Value).
 
 constraint_number(Rule, LeftOperand, Number) :-
-  constraint_text(Rule, LeftOperand, TextString),
-  eyeprolog__string_atom(TextString, Text),
+  constraint_text(Rule, LeftOperand, Text),
   number_string(Number, Text).
 
 risk_level(Score, high) :- Score > 79.
@@ -95,20 +93,17 @@ rdf_text(Subject, Predicate, Text) :-
   rdf(iri(SubjectIri), iri(PredicateIri), literal(Text, datatype(_Datatype)), default_graph).
 
 rdf_number(Subject, Predicate, Number) :-
-  rdf_text(Subject, Predicate, TextString),
-  eyeprolog__string_atom(TextString, Text),
+  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).
 
-namespace_iri(Prefix, Name, IriString) :-
+namespace_iri(Prefix, Name, Iri) :-
   atom(Name),
   !,
   atom_string(Name, Local),
-  string_concat(Prefix, Local, IriAtom),
-  eyeprolog__string_atom(IriString, IriAtom).
-namespace_iri(Prefix, Name, IriString) :-
-  eyeprolog__string_atom(IriString, IriAtom),
-  string_concat(Prefix, Local, IriAtom),
+  string_concat(Prefix, Local, Iri).
+namespace_iri(Prefix, Name, Iri) :-
+  string_concat(Prefix, Local, Iri),
   atom_string(Name, Local).

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

@@ -21,8 +21,7 @@ consumer_risk_report(Ranked) :-
 risk_report(Risk, Score, Level, Clause, Mitigation) :-
   risk_profile(_Profile, Risk, Rule, Need, Base, Mitigation),
   risk_triggered(Risk, Rule, Need),
-  rdf_text(Rule, ex(clause), ClauseString),
-  eyeprolog__string_atom(ClauseString, ClauseText),
+  rdf_text(Rule, ex(clause), ClauseText),
   atom_string(Clause, ClauseText),
   rdf_number(Need, ex(importance), Importance),
   Raw is Base + Importance,
@@ -73,8 +72,7 @@ constraint_text(Rule, LeftOperand, Value) :-
   rdf_text(Constraint, odrl('rightOperand'), Value).
 
 constraint_number(Rule, LeftOperand, Number) :-
-  constraint_text(Rule, LeftOperand, TextString),
-  eyeprolog__string_atom(TextString, Text),
+  constraint_text(Rule, LeftOperand, Text),
   number_string(Number, Text).
 
 risk_level(Score, high) :- Score > 79.
@@ -107,20 +105,17 @@ rdf_text(Subject, Predicate, Text) :-
   rdf(iri(SubjectIri), iri(PredicateIri), literal(Text, datatype(_Datatype)), default_graph).
 
 rdf_number(Subject, Predicate, Number) :-
-  rdf_text(Subject, Predicate, TextString),
-  eyeprolog__string_atom(TextString, Text),
+  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).
 
-namespace_iri(Prefix, Name, IriString) :-
+namespace_iri(Prefix, Name, Iri) :-
   atom(Name),
   !,
   atom_string(Name, Local),
-  string_concat(Prefix, Local, IriAtom),
-  eyeprolog__string_atom(IriString, IriAtom).
-namespace_iri(Prefix, Name, IriString) :-
-  eyeprolog__string_atom(IriString, IriAtom),
-  string_concat(Prefix, Local, IriAtom),
+  string_concat(Prefix, Local, Iri).
+namespace_iri(Prefix, Name, Iri) :-
+  string_concat(Prefix, Local, Iri),
   atom_string(Name, Local).

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)