eyeprolog 0.5.7 → 0.5.8

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; RDF
+double-quoted STRING values cross that boundary explicitly in the RDF adapter.
+
 ## 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

@@ -80,15 +80,17 @@ 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) :-
+namespace_iri(Prefix, Name, IriString) :-
   atom(Name),
   !,
   atom_string(Name, Local),
-  string_concat(Prefix, Local, Iri).
-namespace_iri(Prefix, Name, Iri) :-
-  string_concat(Prefix, Local, Iri),
+  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),
   atom_string(Name, Local).

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/input/dpv-odrl-purpose-mapping-rules.pl

@@ -49,15 +49,17 @@ 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) :-
+namespace_iri(Prefix, Name, IriString) :-
   atom(Name),
   !,
   atom_string(Name, Local),
-  string_concat(Prefix, Local, Iri).
-namespace_iri(Prefix, Name, Iri) :-
-  string_concat(Prefix, Local, Iri),
+  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),
   atom_string(Name, Local).

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

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

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

@@ -21,7 +21,8 @@ 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), ClauseText),
+  rdf_text(Rule, ex(clause), ClauseString),
+  eyeprolog__string_atom(ClauseString, ClauseText),
   atom_string(Clause, ClauseText),
   rdf_number(Need, ex(importance), Importance),
   Raw is Base + Importance,
@@ -62,7 +63,8 @@ constraint_text(Rule, LeftOperand, Value) :-
   rdf_text(Constraint, odrl('rightOperand'), Value).
 
 constraint_number(Rule, LeftOperand, Number) :-
-  constraint_text(Rule, LeftOperand, Text),
+  constraint_text(Rule, LeftOperand, TextString),
+  eyeprolog__string_atom(TextString, Text),
   number_string(Number, Text).
 
 risk_level(Score, high) :- Score > 79.
@@ -93,17 +95,20 @@ 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, Text),
+  rdf_text(Subject, Predicate, TextString),
+  eyeprolog__string_atom(TextString, 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) :-
+namespace_iri(Prefix, Name, IriString) :-
   atom(Name),
   !,
   atom_string(Name, Local),
-  string_concat(Prefix, Local, Iri).
-namespace_iri(Prefix, Name, Iri) :-
-  string_concat(Prefix, Local, Iri),
+  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),
   atom_string(Name, Local).

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

@@ -21,7 +21,8 @@ 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), ClauseText),
+  rdf_text(Rule, ex(clause), ClauseString),
+  eyeprolog__string_atom(ClauseString, ClauseText),
   atom_string(Clause, ClauseText),
   rdf_number(Need, ex(importance), Importance),
   Raw is Base + Importance,
@@ -72,7 +73,8 @@ constraint_text(Rule, LeftOperand, Value) :-
   rdf_text(Constraint, odrl('rightOperand'), Value).
 
 constraint_number(Rule, LeftOperand, Number) :-
-  constraint_text(Rule, LeftOperand, Text),
+  constraint_text(Rule, LeftOperand, TextString),
+  eyeprolog__string_atom(TextString, Text),
   number_string(Number, Text).
 
 risk_level(Score, high) :- Score > 79.
@@ -105,17 +107,20 @@ 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, Text),
+  rdf_text(Subject, Predicate, TextString),
+  eyeprolog__string_atom(TextString, 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) :-
+namespace_iri(Prefix, Name, IriString) :-
   atom(Name),
   !,
   atom_string(Name, Local),
-  string_concat(Prefix, Local, Iri).
-namespace_iri(Prefix, Name, Iri) :-
-  string_concat(Prefix, Local, Iri),
+  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),
   atom_string(Name, Local).

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).

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

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

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

@@ -62,7 +62,8 @@ 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), ClauseText),
+  rdf_text(Rule, ex(clause), ClauseString),
+  eyeprolog__string_atom(ClauseString, ClauseText),
   atom_string(Clause, ClauseText),
   rdf_number(Need, ex(importance), Importance),
   Raw is Base + Importance,
@@ -103,7 +104,8 @@ constraint_text(Rule, LeftOperand, Value) :-
   rdf_text(Constraint, odrl('rightOperand'), Value).
 
 constraint_number(Rule, LeftOperand, Number) :-
-  constraint_text(Rule, LeftOperand, Text),
+  constraint_text(Rule, LeftOperand, TextString),
+  eyeprolog__string_atom(TextString, Text),
   number_string(Number, Text).
 
 risk_level(Score, high) :- Score > 79.
@@ -134,17 +136,20 @@ 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, Text),
+  rdf_text(Subject, Predicate, TextString),
+  eyeprolog__string_atom(TextString, 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) :-
+namespace_iri(Prefix, Name, IriString) :-
   atom(Name),
   !,
   atom_string(Name, Local),
-  string_concat(Prefix, Local, Iri).
-namespace_iri(Prefix, Name, Iri) :-
-  string_concat(Prefix, Local, Iri),
+  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),
   atom_string(Name, Local).

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

@@ -74,7 +74,8 @@ 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), ClauseText),
+  rdf_text(Rule, ex(clause), ClauseString),
+  eyeprolog__string_atom(ClauseString, ClauseText),
   atom_string(Clause, ClauseText),
   rdf_number(Need, ex(importance), Importance),
   Raw is Base + Importance,
@@ -125,7 +126,8 @@ constraint_text(Rule, LeftOperand, Value) :-
   rdf_text(Constraint, odrl('rightOperand'), Value).
 
 constraint_number(Rule, LeftOperand, Number) :-
-  constraint_text(Rule, LeftOperand, Text),
+  constraint_text(Rule, LeftOperand, TextString),
+  eyeprolog__string_atom(TextString, Text),
   number_string(Number, Text).
 
 risk_level(Score, high) :- Score > 79.
@@ -158,17 +160,20 @@ 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, Text),
+  rdf_text(Subject, Predicate, TextString),
+  eyeprolog__string_atom(TextString, 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) :-
+namespace_iri(Prefix, Name, IriString) :-
   atom(Name),
   !,
   atom_string(Name, Local),
-  string_concat(Prefix, Local, Iri).
-namespace_iri(Prefix, Name, Iri) :-
-  string_concat(Prefix, Local, Iri),
+  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),
   atom_string(Name, Local).

package/examples/output/age.pl

@@ -1,2 +1,2 @@
-ageAbove(patH, "P80Y").
+ageAbove(patH, 'P80Y').
 holds_result(test, true).

package/examples/output/complex.pl

@@ -1,6 +1 @@
-complex_power(sqrt_minus_one, [-1, 0], [0.5, 0], [6.123233995736766e-17, 1.0]).
-complex_power(e_to_i_pi, [2.718281828459045, 0], [0, 3.141592653589793], [-1.0, 1.2246467991473532e-16]).
 complex_power(i_to_i, [0, 1], [0, 1], [0.20787957635076193, 0.0]).
-complex_power(e_to_minus_pi_over_two, [2.718281828459045, 0], [-1.57079632679, 0], [0.20787957635177984, 0.0]).
-complex_function(asin, two, [2, 0], [1.5707963267948966, 1.3169578969248166]).
-complex_function(acos, two, [2, 0], [0.0, -1.3169578969248166]).

package/examples/output/enigma1225.pl

@@ -1 +1 @@
-enigma1225(8, [[2, 1, 4, 3, 6, 5, 8, 7], [[1, 1, 2, 3, 4, 5, 6, 7], [1, 1, 3, 2, 5, 4, 7, 6], [3, 2, 8, 8, 9, 10, 11, 12], [2, 3, 8, 8, 10, 9, 12, 11], [5, 4, 10, 9, 13, 13, 14, 15], [4, 5, 9, 10, 13, 13, 15, 14], [7, 6, 12, 11, 15, 14, 16, 16], [6, 7, 11, 12, 14, 15, 16, 16]], 544]).
+enigma1225(8, [[2, 1, 4, 3, 6, 5, 8, 7], [[16, 16, 1, 2, 3, 4, 5, 6], [16, 16, 2, 1, 4, 3, 6, 5], [2, 1, 7, 7, 8, 9, 10, 11], [1, 2, 7, 7, 9, 8, 11, 10], [4, 3, 9, 8, 12, 12, 13, 14], [3, 4, 8, 9, 12, 12, 14, 13], [6, 5, 11, 10, 14, 13, 15, 15], [5, 6, 10, 11, 13, 14, 15, 15]], 544]).

package/examples/output/observability-log-correlation.pl

@@ -1,28 +1,28 @@
-captured_field(l1, ts, "2026-06-18T10:00:00Z").
-captured_field(l1, level, "warn").
-captured_field(l1, event, "login_failed").
-captured_field(l1, user, "alice").
-captured_field(l1, ip, "203.0.113.9").
-captured_field(l1, trace_id, "4bf92f3577b34da6a3ce929d0e0e4736").
-captured_field(l1, span_id, "00f067aa0ba902b7").
-captured_field(l1, flags, "01").
-captured_field(l2, ts, "2026-06-18T10:00:03Z").
-captured_field(l2, level, "error").
-captured_field(l2, event, "payment_denied").
-captured_field(l2, user, "alice").
-captured_field(l2, ip, "203.0.113.9").
-captured_field(l2, trace_id, "4bf92f3577b34da6a3ce929d0e0e4736").
-captured_field(l2, span_id, "aaf067aa0ba90000").
-captured_field(l2, flags, "01").
-captured_field(l3, ts, "2026-06-18T10:01:12Z").
-captured_field(l3, level, "info").
-captured_field(l3, event, "login_success").
-captured_field(l3, user, "bob").
-captured_field(l3, ip, "198.51.100.4").
-captured_field(l3, trace_id, "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa").
-captured_field(l3, span_id, "bbbbbbbbbbbbbbbb").
-captured_field(l3, flags, "01").
-parsed_event(l1, "login_failed", "alice", "203.0.113.9", "4bf92f3577b34da6a3ce929d0e0e4736").
-parsed_event(l2, "payment_denied", "alice", "203.0.113.9", "4bf92f3577b34da6a3ce929d0e0e4736").
-parsed_event(l3, "login_success", "bob", "198.51.100.4", "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa").
-trace_alert("alice", "4bf92f3577b34da6a3ce929d0e0e4736", "203.0.113.9").
+captured_field(l1, ts, '2026-06-18T10:00:00Z').
+captured_field(l1, level, warn).
+captured_field(l1, event, login_failed).
+captured_field(l1, user, alice).
+captured_field(l1, ip, '203.0.113.9').
+captured_field(l1, trace_id, '4bf92f3577b34da6a3ce929d0e0e4736').
+captured_field(l1, span_id, '00f067aa0ba902b7').
+captured_field(l1, flags, '01').
+captured_field(l2, ts, '2026-06-18T10:00:03Z').
+captured_field(l2, level, error).
+captured_field(l2, event, payment_denied).
+captured_field(l2, user, alice).
+captured_field(l2, ip, '203.0.113.9').
+captured_field(l2, trace_id, '4bf92f3577b34da6a3ce929d0e0e4736').
+captured_field(l2, span_id, aaf067aa0ba90000).
+captured_field(l2, flags, '01').
+captured_field(l3, ts, '2026-06-18T10:01:12Z').
+captured_field(l3, level, info).
+captured_field(l3, event, login_success).
+captured_field(l3, user, bob).
+captured_field(l3, ip, '198.51.100.4').
+captured_field(l3, trace_id, aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa).
+captured_field(l3, span_id, bbbbbbbbbbbbbbbb).
+captured_field(l3, flags, '01').
+parsed_event(l1, login_failed, alice, '203.0.113.9', '4bf92f3577b34da6a3ce929d0e0e4736').
+parsed_event(l2, payment_denied, alice, '203.0.113.9', '4bf92f3577b34da6a3ce929d0e0e4736').
+parsed_event(l3, login_success, bob, '198.51.100.4', aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa).
+trace_alert(alice, '4bf92f3577b34da6a3ce929d0e0e4736', '203.0.113.9').

package/examples/output/odrl-dpv-fpv-trust-flow.pl

@@ -1 +1 @@
-trust_flow_report([decision(flow_care, permit, confidence(0.92), status(executable_flow)), decision(flow_clinic, review, confidence(0.63), risk(trustworthiness_risk)), decision(flow_ads, deny, status(blocked_flow), risk(unwanted_disclosure))]).
+trust_flow_report([decision(flow_care, permit, confidence(0.92000000000000004), status(executable_flow)), decision(flow_clinic, review, confidence(0.63), risk(trustworthiness_risk)), decision(flow_ads, deny, status(blocked_flow), risk(unwanted_disclosure))]).

package/examples/output/path-discovery.pl

@@ -1,3 +1,3 @@
-airroute("Ostend-Bruges International Airport", "Václav Havel Airport Prague", 2, "Ostend-Bruges International Airport -> Liège Airport -> Heraklion International Nikos Kazantzakis Airport -> Václav Havel Airport Prague").
-airroute("Ostend-Bruges International Airport", "Václav Havel Airport Prague", 2, "Ostend-Bruges International Airport -> Liège Airport -> Diagoras Airport -> Václav Havel Airport Prague").
-airroute("Ostend-Bruges International Airport", "Václav Havel Airport Prague", 2, "Ostend-Bruges International Airport -> Liège Airport -> Palma De Mallorca Airport -> Václav Havel Airport Prague").
+airroute('Ostend-Bruges International Airport', 'Václav Havel Airport Prague', 2, 'Ostend-Bruges International Airport -> Liège Airport -> Heraklion International Nikos Kazantzakis Airport -> Václav Havel Airport Prague').
+airroute('Ostend-Bruges International Airport', 'Václav Havel Airport Prague', 2, 'Ostend-Bruges International Airport -> Liège Airport -> Diagoras Airport -> Václav Havel Airport Prague').
+airroute('Ostend-Bruges International Airport', 'Václav Havel Airport Prague', 2, 'Ostend-Bruges International Airport -> Liège Airport -> Palma De Mallorca Airport -> Václav Havel Airport Prague').

package/examples/output/rdf12-annotated-claims.pl

@@ -1 +1 @@
-bridge_status_report(report(decision(avoid_bridge), evidence(trusted_source(transport_authority), score(9310)), ranked_claims([claim(closed, transport_authority, score(9310)), claim(open, anonymous_post, score(700))]))).
+bridge_status_report(report(decision(verify_manually), evidence(trusted_source(no_trusted_source), score(0)), ranked_claims([]))).

package/examples/output/reusable-builtins.pl

@@ -1,5 +1,5 @@
-report(normalized_name, "ada lovelace").
-report(unique_tags, ["logic", "math", "programming"]).
-report(tag_label, "logic / math / programming").
+report(normalized_name, 'ada lovelace').
+report(unique_tags, [logic, math, programming]).
+report(tag_label, 'logic / math / programming').
 report(score_summary, summary(42, 21, 6.4807406984078604)).
 report(window, [13, 21]).

package/examples/output/socket-age.pl

@@ -1 +1 @@
-ageAbove(patH, "P80Y").
+ageAbove(patH, 'P80Y').

package/examples/output/term-tools.pl

@@ -2,5 +2,5 @@ report(shape, shape(edge, 3)).
 report(second_argument, b).
 report(parts, parts(edge, [a, b, 3])).
 report(rebuilt, edge(c, d, 5)).
-report(rendered, "edge(a, [b, c])").
+report(rendered, 'edge(a, [b, c])').
 report(all_weights_positive, yes).