eyeling 1.16.4 → 1.17.0

package/lib/engine.js

@@ -13,6 +13,8 @@ const {
   MATH_NS,
   LOG_NS,
   SKOLEM_NS,
+  MAX_LITERAL_TID_LEN,
+  normalizeLiteralForTid,
   Literal,
   Iri,
   Var,
@@ -921,7 +923,18 @@ function __internCompoundTid(key) {
 
 function termFastKey(t) {
   // Atomic terms that already have a stable id.
-  if (t instanceof Iri || t instanceof Blank || t instanceof Literal) return t.__tid;
+  if (t instanceof Iri || t instanceof Blank) return t.__tid;
+
+  if (t instanceof Literal) {
+    // Very large literals intentionally skip global interning in prelude.js to
+    // avoid retaining huge strings forever. Their per-object __tid is therefore
+    // not value-stable, so using it here breaks duplicate detection for facts
+    // such as long log:outputString blocks that are re-derived during forward
+    // chaining. Fall back to a value-based key in that case.
+    const norm = normalizeLiteralForTid(t.value);
+    if (typeof norm === 'string' && norm.length > MAX_LITERAL_TID_LEN) return 'L:' + norm;
+    return t.__tid;
+  }
 
   // Structural fast key for strict-ground list terms.
   // We only index when every element has a fast key; otherwise return null.

package/lib/prelude.js

@@ -515,6 +515,8 @@ module.exports = {
   RDF_JSON_DT,
   resolveIriRef,
   literalParts,
+  normalizeLiteralForTid,
+  MAX_LITERAL_TID_LEN,
   Term,
   Iri,
   Literal,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.16.4",
+  "version": "1.17.0",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [

package/test/api.test.js

@@ -1205,8 +1205,8 @@ _:l2 rdf:rest rdf:nil.
   // -------------------------
 
   {
-    name: '51 --strings: prints log:outputString values ordered by key (subject)',
-    opt: ['--strings', '-n'],
+    name: '51 automatic output rendering: prints log:outputString values ordered by key (subject)',
+    opt: ['-n'],
     input: `@prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
 <http://example.org/2> log:outputString "B".