eyeling 1.24.4 → 1.24.6

package/{see/examples/n3/rdf_message_flow.n3 → examples/rdf-message-flow.n3}

@@ -7,7 +7,7 @@
 # stream behaves as an ordered, replayable flow rather than a single merged RDF
 # graph.
 
-@prefix : <https://eyereasoner.github.io/see/examples/rdf-message-flow#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/rdf-message-flow#>.
 @prefix msg: <https://example.org/msg#>.
 @prefix prov: <http://www.w3.org/ns/prov#>.
 @prefix sosa: <http://www.w3.org/ns/sosa/>.
@@ -17,85 +17,18 @@
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix string: <http://www.w3.org/2000/10/swap/string#>.
 
-:temperatureFlow
-  a msg:MessageStream;
-  msg:orderedMessages (:m001 :m002 :m003 :m004 :m005);
-  msg:message :m001, :m002, :m003, :m004, :m005;
-  :pipeline (:ingest :validate :interpret :route :sink);
-  :highThreshold 26.
 
 # The stream starts with just the first message at ingress. Later messages are
 # not pre-loaded; each one is released by the previous message after sink.
-:m001 :atStage :ingest.
-
-:m001
-  a msg:RDFMessage;
-  msg:offset 1;
-  msg:nextMessage :m002;
-  prov:generatedAtTime "2026-05-12T18:20:00Z"^^xsd:dateTime;
-  msg:payloadKind :observation;
-  msg:expectedResult 21;
-  msg:payload {
-    _:m001b0
-      a sosa:Observation;
-      sosa:madeBySensor :thermometerA;
-      sosa:resultTime "2026-05-12T18:20:00Z"^^xsd:dateTime;
-      sosa:hasSimpleResult 21.
-  }.
-
-:m002
-  a msg:RDFMessage;
-  msg:offset 2;
-  msg:nextMessage :m003;
-  prov:generatedAtTime "2026-05-12T18:21:00Z"^^xsd:dateTime;
-  msg:payloadKind :observation;
-  msg:expectedResult 22;
-  msg:payload {
-    _:m002b0
-      a sosa:Observation;
-      sosa:madeBySensor :thermometerA;
-      sosa:resultTime "2026-05-12T18:21:00Z"^^xsd:dateTime;
-      sosa:hasSimpleResult 22.
-  }.
+
+
 
 # Empty heartbeat: it flows through the same pipeline and keeps the stream live.
-:m003
-  a msg:RDFMessage;
-  msg:offset 3;
-  msg:nextMessage :m004;
-  prov:generatedAtTime "2026-05-12T18:22:00Z"^^xsd:dateTime;
-  msg:payloadKind :heartbeat.
-
-:m004
-  a msg:RDFMessage;
-  msg:offset 4;
-  msg:nextMessage :m005;
-  prov:generatedAtTime "2026-05-12T18:23:00Z"^^xsd:dateTime;
-  msg:payloadKind :observation;
-  msg:expectedResult 28;
-  msg:payload {
-    _:m004b0
-      a sosa:Observation;
-      sosa:madeBySensor :thermometerA;
-      sosa:resultTime "2026-05-12T18:23:00Z"^^xsd:dateTime;
-      sosa:hasSimpleResult 28.
-  }.
-
-:m005
-  a msg:RDFMessage;
-  msg:offset 5;
-  prov:generatedAtTime "2026-05-12T18:24:00Z"^^xsd:dateTime;
-  msg:payloadKind :observation;
-  msg:expectedResult 29;
-  msg:payload {
-    _:m005b0
-      a sosa:Observation;
-      sosa:madeBySensor :thermometerA;
-      sosa:resultTime "2026-05-12T18:24:00Z"^^xsd:dateTime;
-      sosa:hasSimpleResult 29.
-  }.
+
+
 
 # Stage 1: once a message has entered the stream, validate its envelope.
+
 { ?Message :atStage :ingest. } => {
   ?Message :atStage :validate.
 }.
@@ -116,7 +49,8 @@
     msg:payloadKind :observation;
     msg:expectedResult ?Result;
     msg:payload ?Payload.
-  ?Payload log:includes { ?Observation sosa:hasSimpleResult ?Result. }.
+  ?Payload log:nameOf ?PayloadContext.
+  ?PayloadContext log:includes { ?Observation sosa:hasSimpleResult ?Result. }.
 } => {
   ?Message msg:payloadResult ?Result.
   ?Message :atStage :route.
@@ -175,7 +109,7 @@
   ?Next :atStage :ingest.
 }.
 
-# The SEE verdict is emitted only after all five messages have flowed through
+# The Eyeling verdict is emitted only after all five messages have flowed through
 # ingest, validation, interpretation, routing, and sink.
 {
   :temperatureFlow msg:orderedMessages ?Messages;

package/{see/examples/n3/rdf_messages.n3 → examples/rdf-messages.n3}

@@ -1,7 +1,7 @@
 # ============
 # RDF Messages
 # ============
-# This SEE example models the main idea from
+# This Eyeling example models the main idea from
 # https://pietercolpaert.be/papers/eswc2026-rdf-messages/:
 # a message stream/log is not just one freely mergeable RDF graph. It is an
 # ordered sequence of RDF Datasets that are interpreted atomically, one message
@@ -9,7 +9,7 @@
 # the local blank-node label "_:b0" is deliberately reused by two messages to
 # show message-scoped blank nodes.
 
-@prefix : <https://eyereasoner.github.io/see/examples/rdf-messages#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/rdf-messages#>.
 @prefix msg: <https://w3c-cg.github.io/rsp/spec/messages#>.
 @prefix prov: <http://www.w3.org/ns/prov#>.
 @prefix sosa: <http://www.w3.org/ns/sosa/>.
@@ -19,51 +19,13 @@
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix string: <http://www.w3.org/2000/10/swap/string#>.
 
-:temperatureLog
-  a msg:MessageLog;
-  msg:orderedMessages (:m001 :m002 :m003);
-  msg:message :m001, :m002, :m003;
-  msg:profile :generatedAtTimeProfile;
-  msg:retentionPolicy "replayable archive".
 
-:m001
-  a msg:RDFMessage;
-  msg:offset 1;
-  prov:generatedAtTime "2026-05-12T18:20:00Z"^^xsd:dateTime;
-  msg:payloadKind :observation;
-  msg:localBlankLabel "_:b0";
-  msg:expectedResult 22;
-  msg:payload {
-    _:m001b0
-      a sosa:Observation;
-      sosa:madeBySensor :thermometerA;
-      sosa:resultTime "2026-05-12T18:20:00Z"^^xsd:dateTime;
-      sosa:hasSimpleResult 22.
-  }.
 
 # Empty RDF Message: a legal heartbeat/keep-alive event.
-:m002
-  a msg:RDFMessage;
-  msg:offset 2;
-  prov:generatedAtTime "2026-05-12T18:22:00Z"^^xsd:dateTime;
-  msg:payloadKind :heartbeat.
 
-:m003
-  a msg:RDFMessage;
-  msg:offset 3;
-  prov:generatedAtTime "2026-05-12T18:25:00Z"^^xsd:dateTime;
-  msg:payloadKind :observation;
-  msg:localBlankLabel "_:b0";
-  msg:expectedResult 23;
-  msg:payload {
-    _:m003b0
-      a sosa:Observation;
-      sosa:madeBySensor :thermometerA;
-      sosa:resultTime "2026-05-12T18:25:00Z"^^xsd:dateTime;
-      sosa:hasSimpleResult 23.
-  }.
 
 # A message with an offset inside a log has an explicit replay boundary.
+
 {
   ?Log a msg:MessageLog;
     msg:message ?Message.
@@ -80,7 +42,8 @@
   ?Message a msg:RDFMessage;
     msg:expectedResult ?Result;
     msg:payload ?Payload.
-  ?Payload log:includes { ?Observation sosa:hasSimpleResult ?Result. }.
+  ?Payload log:nameOf ?PayloadContext.
+  ?PayloadContext log:includes { ?Observation sosa:hasSimpleResult ?Result. }.
 } => {
   ?Message msg:payloadResult ?Result.
 }.
@@ -120,7 +83,7 @@
   :MessageContext :differentObservationsStayContextual true.
 }.
 
-# The SEE verdict is emitted only when all message-specific validations have been
+# The Eyeling verdict is emitted only when all message-specific validations have been
 # derived from the log, message metadata, payload formulas, and built-ins.
 {
   :temperatureLog msg:orderedMessages ?Messages.

package/{see/examples/n3/school_placement_audit.n3 → examples/school-placement-audit.n3}

@@ -1,26 +1,14 @@
 # ============================
 # School Placement Route Audit
 # ============================
-# N3-compiled version of the school placement audit. The original student,
+# N3 version of the school placement audit. The original student,
 # school, distance, and policy JSON is preserved as the data-input sidecar.
 
-@prefix : <https://eyereasoner.github.io/see/examples/school-placement-audit#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/school-placement-audit#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix string: <http://www.w3.org/2000/10/swap/string#>.
 
-:Policy :maxWalkingMeters 2500; :preferencePenaltyMeters 600.
-
-:Ada :name "Ada"; :provisional :Centrum; :auditedBest :Lindholmen; :hiddenDetour 3000; :walkingMeters 3600.
-:Bjorn :name "Björn"; :provisional :Centrum; :auditedBest :Backa; :hiddenDetour 2000; :walkingMeters 3100.
-:Clara :name "Clara"; :provisional :Haga; :auditedBest :Haga; :hiddenDetour 150; :walkingMeters 800.
-:Davi :name "Davi"; :provisional :Centrum; :auditedBest :Haga; :hiddenDetour 1800; :walkingMeters 2800.
-
-:Lindholmen :label "Lindholmen".
-:Haga :label "Haga".
-:Centrum :label "Centrum".
-:Backa :label "Backa".
-
 {
   ?Student :provisional ?Provisional; :auditedBest ?Audited; :walkingMeters ?Walk.
   :Policy :maxWalkingMeters ?MaxWalking.

package/{see/examples/n3/smoke_arithmetic.n3 → examples/smoke-arithmetic.n3}

@@ -1,15 +1,13 @@
 # Smoke Arithmetic
-# Small Notation3 source used to prove that see.js generates a specialized JS
-# example which derives its answer from facts, math built-ins, fuses, and string
-# formatting instead of reading a prewritten conclusion.
+# Small Notation3 source used to prove that Eyeling derives its answer from
+# facts, math built-ins, fuses, and string formatting instead of reading a
+# prewritten conclusion.
 
 @prefix : <https://example.org/see/smoke#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix string: <http://www.w3.org/2000/10/swap/string#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
-:Input :x 6; :y 7.
-
 { :Input :x ?X; :y ?Y.
   (?X ?Y) math:product ?Product.
   ?Product math:greaterThan 0.

package/{see/examples/n3/triple_terms.n3 → examples/triple-terms.n3}

@@ -4,13 +4,10 @@
 
 VERSION "1.2"
 
-@prefix : <https://eyereasoner.github.io/eyeling/see/examples/triple_terms#> .
+@prefix : <https://eyereasoner.github.io/eyeling/examples/triple_terms#> .
 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 
-:observation rdf:reifies <<( :sensor :reports :overheating )>> .
-:overheating :requires :inspection .
-
 {
   ?observation rdf:reifies <<( ?device :reports ?condition )>> .
   ?condition :requires ?action .

package/eyeling.js

@@ -4249,6 +4249,12 @@ function isBuiltinPred(p) {
     return v === LOG_NS + 'implies' || v === LOG_NS + 'impliedBy';
   }
 
+  // log:nameOf is the ordinary fact predicate used by the RDF/TriG
+  // compatibility layer for named graph blocks. It must remain matchable
+  // against extensional facts instead of being swallowed as an unimplemented
+  // log:* builtin.
+  if (v === LOG_NS + 'nameOf') return false;
+
   // Treat RDF Collections as list-term builtins too.
   if (v === RDF_NS + 'first' || v === RDF_NS + 'rest') {
     return true;
@@ -9590,6 +9596,7 @@ function stripQuotes(lex) {
 //   - A top-level default graph block { ... } is unwrapped into ordinary triples.
 // This keeps all downstream parsing/reasoning N3-only.
 const LOG_NAME_OF_IRI = '<http://www.w3.org/2000/10/swap/log#nameOf>';
+const RDF_REIFIES_IRI = '<http://www.w3.org/1999/02/22-rdf-syntax-ns#reifies>';
 
 function normalizeRdfCompatibility(inputText) {
   let text = String(inputText ?? '');
@@ -9598,11 +9605,12 @@ function normalizeRdfCompatibility(inputText) {
   // surface-syntax normalization. Avoid scanning large files character-by-character
   // unless they actually contain RDF 1.2 triple terms, VERSION directives, or a
   // plausible top-level TriG named graph block.
-  const hasTripleTerms = text.includes('<<(');
+  const hasTripleTerms = text.includes('<<');
   const hasVersionDirective = /^\s*(?:@version|VERSION)\s+(["'])1\.2\1\s*\.?\s*(?:#.*)?$/im.test(text);
   const hasNamedGraphCandidate = /(?:^|[.\r\n])\s*(?:GRAPH\s+)?(?:<[^>\r\n]*>|_:[A-Za-z][A-Za-z0-9_-]*|[A-Za-z][A-Za-z0-9_-]*:[^\s{};,.()[\]]*)\s*\{/m.test(text);
+  const hasAnnotationSyntax = /(?:^|\s)~\s*(?:<|_:[A-Za-z]|[A-Za-z][A-Za-z0-9_-]*:|\{\|)|\{\|/.test(text);
 
-  if (!hasTripleTerms && !hasVersionDirective && !hasNamedGraphCandidate) return text;
+  if (!hasTripleTerms && !hasVersionDirective && !hasNamedGraphCandidate && !hasAnnotationSyntax) return text;
 
   function isWordChar(ch) {
     return ch != null && /[A-Za-z0-9_:-]/.test(ch);
@@ -9664,11 +9672,67 @@ function normalizeRdfCompatibility(inputText) {
 
   function convertTripleTerms(s) {
     let i = 0;
+    const reifierTriples = [];
 
     function startsAt(needle, at = i) {
       return s.startsWith(needle, at);
     }
 
+    function splitTopLevelReifier(body) {
+      let depthBrace = 0;
+      let depthBracket = 0;
+      let depthParen = 0;
+      for (let j = 0; j < body.length; j++) {
+        const ch = body[j];
+        if (ch === '"' || ch === "'") {
+          const str = readStringAt(body, j);
+          j = str.end - 1;
+          continue;
+        }
+        if (ch === '<') {
+          const iri = readIriAt(body, j);
+          j = iri.end - 1;
+          continue;
+        }
+        if (ch === '#') {
+          while (j < body.length && body[j] !== '\n' && body[j] !== '\r') j += 1;
+          continue;
+        }
+        if (ch === '{') depthBrace += 1;
+        else if (ch === '}' && depthBrace > 0) depthBrace -= 1;
+        else if (ch === '[') depthBracket += 1;
+        else if (ch === ']' && depthBracket > 0) depthBracket -= 1;
+        else if (ch === '(') depthParen += 1;
+        else if (ch === ')' && depthParen > 0) depthParen -= 1;
+        else if (ch === '~' && depthBrace === 0 && depthBracket === 0 && depthParen === 0) {
+          return { triple: body.slice(0, j).trim(), reifier: body.slice(j + 1).trim() };
+        }
+      }
+      return { triple: body.trim(), reifier: '' };
+    }
+
+    function firstTerm(text) {
+      const at = skipWsAndComments(text, 0);
+      if (at >= text.length) return '';
+      if (text[at] === '<') return readIriAt(text, at).text;
+      let j = at;
+      while (j < text.length && !/\s/.test(text[j]) && !'{}[](),;.'.includes(text[j])) j += 1;
+      return text.slice(at, j);
+    }
+
+    function graphTermFromTripleBody(rawBody, parenthesized) {
+      let body = rawBody.trim();
+      if (parenthesized && body.startsWith('(') && body.endsWith(')')) body = body.slice(1, -1).trim();
+      const split = splitTopLevelReifier(body);
+      const triple = split.triple;
+      const graph = '{ ' + triple + ' }';
+      if (split.reifier) {
+        const reifier = firstTerm(split.reifier);
+        if (reifier) reifierTriples.push(`${reifier} ${RDF_REIFIES_IRI} ${graph} .`);
+      }
+      return graph;
+    }
+
     function convertUntil(stopToken) {
       let out = '';
       while (i < s.length) {
@@ -9678,7 +9742,12 @@ function normalizeRdfCompatibility(inputText) {
         }
         if (startsAt('<<(')) {
           i += 3;
-          out += '{ ' + convertUntil(')>>').trim() + ' }';
+          out += graphTermFromTripleBody(convertUntil(')>>'), false);
+          continue;
+        }
+        if (startsAt('<<')) {
+          i += 2;
+          out += graphTermFromTripleBody(convertUntil('>>'), false);
           continue;
         }
         const ch = s[i];
@@ -9709,7 +9778,189 @@ function normalizeRdfCompatibility(inputText) {
       return out;
     }
 
-    return convertUntil(null);
+    const converted = convertUntil(null);
+    if (reifierTriples.length === 0) return converted;
+    return converted + (converted.endsWith('\n') ? '' : '\n') + reifierTriples.join('\n') + '\n';
+  }
+
+
+  function convertAnnotations(s) {
+    let out = '';
+    let i = 0;
+    let statementStart = true;
+    let generatedBlank = 0;
+
+    function readBalancedDelimited(s, at, open, close) {
+      if (!s.startsWith(open, at)) return null;
+      let j = at + open.length;
+      let depth = 1;
+      while (j < s.length) {
+        const ch = s[j];
+        if (ch === '"' || ch === "'") {
+          j = readStringAt(s, j).end;
+          continue;
+        }
+        if (ch === '<' && !s.startsWith('<<', j)) {
+          j = readIriAt(s, j).end;
+          continue;
+        }
+        if (ch === '#') {
+          while (j < s.length && s[j] !== '\n' && s[j] !== '\r') j += 1;
+          continue;
+        }
+        if (s.startsWith(open, j)) {
+          depth += 1;
+          j += open.length;
+          continue;
+        }
+        if (s.startsWith(close, j)) {
+          depth -= 1;
+          j += close.length;
+          if (depth === 0) return { text: s.slice(at, j), inner: s.slice(at + open.length, j - close.length), end: j };
+          continue;
+        }
+        j += 1;
+      }
+      throw new N3SyntaxError(`Unterminated RDF annotation block, expected ${close}`);
+    }
+
+    function readTermLikeAt(s, at) {
+      const j = skipWsAndComments(s, at);
+      if (j >= s.length) return null;
+      if (s[j] === '<') return readIriAt(s, j);
+      if (s[j] === '"' || s[j] === "'") {
+        const str = readStringAt(s, j);
+        let end = str.end;
+        let text = str.text;
+        if (s.startsWith('^^', end)) {
+          const dt = readTermAt(s, end + 2);
+          if (dt) {
+            text += '^^' + dt.text;
+            end = dt.end;
+          }
+        } else if (s[end] === '@') {
+          let k = end + 1;
+          if (/[A-Za-z]/.test(s[k] || '')) {
+            while (k < s.length && /[A-Za-z0-9-]/.test(s[k])) k += 1;
+            text += s.slice(end, k);
+            end = k;
+          }
+        }
+        return { text, end };
+      }
+      if (s[j] === '{') return readBalancedBlock(s, j);
+      if (s[j] === '[') return readBalancedDelimited(s, j, '[', ']');
+      if (s[j] === '(') return readBalancedDelimited(s, j, '(', ')');
+      return readTermAt(s, j);
+    }
+
+    function readAnnotationBlockAt(s, at) {
+      if (!s.startsWith('{|', at)) return null;
+      return readBalancedDelimited(s, at, '{|', '|}');
+    }
+
+    function tryReadAnnotatedTriple(at) {
+      const start = skipWsAndComments(s, at);
+      if (start >= s.length) return null;
+      if (s[start] === '@') return null;
+      if (startsWordAt(s, 'PREFIX', start) || startsWordAt(s, 'BASE', start) || startsWordAt(s, 'VERSION', start)) return null;
+      if (startsWordAt(s, 'GRAPH', start)) return null;
+
+      const subj = readTermLikeAt(s, start);
+      if (!subj) return null;
+      let j = skipWsAndComments(s, subj.end);
+      const pred = readTermLikeAt(s, j);
+      if (!pred) return null;
+      j = skipWsAndComments(s, pred.end);
+      const obj = readTermLikeAt(s, j);
+      if (!obj) return null;
+      j = skipWsAndComments(s, obj.end);
+      if (s[j] !== '~' && !s.startsWith('{|', j)) return null;
+
+      let reifier = '';
+      const annotationBlocks = [];
+      while (j < s.length) {
+        j = skipWsAndComments(s, j);
+        if (s[j] === '~') {
+          j += 1;
+          j = skipWsAndComments(s, j);
+          const term = readTermAt(s, j);
+          if (term) {
+            reifier = term.text;
+            j = term.end;
+          } else if (!reifier) {
+            reifier = `_:rdfAnnotation${++generatedBlank}`;
+          }
+          continue;
+        }
+        if (s.startsWith('{|', j)) {
+          const block = readAnnotationBlockAt(s, j);
+          if (!reifier) reifier = `_:rdfAnnotation${++generatedBlank}`;
+          annotationBlocks.push(block.inner.trim());
+          j = block.end;
+          continue;
+        }
+        break;
+      }
+
+      const after = skipWsAndComments(s, j);
+      if (s[after] !== '.') return null;
+      if (!reifier && annotationBlocks.length === 0) return null;
+
+      const baseTriple = `${subj.text} ${pred.text} ${obj.text}`;
+      const graph = `{ ${baseTriple} }`;
+      const extra = [];
+      if (reifier) extra.push(`${reifier} ${RDF_REIFIES_IRI} ${graph} .`);
+      for (const inner of annotationBlocks) {
+        if (inner) extra.push(`${reifier} ${inner} .`);
+      }
+      return {
+        start,
+        end: after + 1,
+        text: `${baseTriple} .${extra.length ? '\n' + extra.join('\n') : ''}`,
+      };
+    }
+
+    while (i < s.length) {
+      if (statementStart) {
+        const converted = tryReadAnnotatedTriple(i);
+        if (converted) {
+          out += s.slice(i, converted.start) + converted.text;
+          i = converted.end;
+          statementStart = true;
+          continue;
+        }
+      }
+
+      const ch = s[i];
+      if (ch === '"' || ch === "'") {
+        const str = readStringAt(s, i);
+        out += str.text;
+        i = str.end;
+        continue;
+      }
+      if (ch === '<' && !s.startsWith('<<', i)) {
+        const iri = readIriAt(s, i);
+        out += iri.text;
+        i = iri.end;
+        continue;
+      }
+      if (ch === '#') {
+        while (i < s.length) {
+          const c = s[i++];
+          out += c;
+          if (c === '\n' || c === '\r') break;
+        }
+        statementStart = true;
+        continue;
+      }
+      out += ch;
+      if (ch === '.' || ch === '{' || ch === '}' || ch === '\n' || ch === '\r') statementStart = true;
+      else if (!/\s/.test(ch)) statementStart = false;
+      i += 1;
+    }
+
+    return out;
   }
 
   function stripVersionDirectives(s) {
@@ -9868,6 +10119,7 @@ function normalizeRdfCompatibility(inputText) {
   }
 
   if (hasTripleTerms) text = convertTripleTerms(text);
+  if (hasAnnotationSyntax) text = convertAnnotations(text);
   if (hasVersionDirective) text = stripVersionDirectives(text);
   if (hasVersionDirective || hasNamedGraphCandidate) text = normalizeNamedGraphs(text);
   return text;

package/lib/builtins.js

@@ -4238,6 +4238,12 @@ function isBuiltinPred(p) {
     return v === LOG_NS + 'implies' || v === LOG_NS + 'impliedBy';
   }
 
+  // log:nameOf is the ordinary fact predicate used by the RDF/TriG
+  // compatibility layer for named graph blocks. It must remain matchable
+  // against extensional facts instead of being swallowed as an unimplemented
+  // log:* builtin.
+  if (v === LOG_NS + 'nameOf') return false;
+
   // Treat RDF Collections as list-term builtins too.
   if (v === RDF_NS + 'first' || v === RDF_NS + 'rest') {
     return true;