eyeling 1.22.14 → 1.22.16

package/lib/engine.js

@@ -76,6 +76,19 @@ const deref = require('./deref');
 
 const hasOwn = Object.prototype.hasOwnProperty;
 
+function __emptySubst() {
+  return Object.create(null);
+}
+
+function __cloneSubst(subst) {
+  if (!subst) return __emptySubst();
+  const out = Object.create(null);
+  for (const k in subst) {
+    if (hasOwn.call(subst, k)) out[k] = subst[k];
+  }
+  return out;
+}
+
 let version = 'dev';
 try {
   // Node: keep package.json version if available
@@ -1287,7 +1300,7 @@ function pushFactIndexed(facts, tr) {
 
 function makeDerivedRecord(fact, rule, premises, subst, captureExplanations) {
   if (captureExplanations === false) return { fact };
-  return new DerivedFact(fact, rule, premises.slice(), { ...subst });
+  return new DerivedFact(fact, rule, premises.slice(), __cloneSubst(subst));
 }
 
 function ensureBackRuleIndexes(backRules) {
@@ -1878,7 +1891,7 @@ function unifyTermWithOptions(a, b, subst, opts) {
     const t = b;
     if (t instanceof Var && t.name === v) return subst;
     if (containsVarTerm(t, v)) return null;
-    const s2 = { ...subst };
+    const s2 = __cloneSubst(subst);
     s2[v] = t;
     return s2;
   }
@@ -2068,7 +2081,7 @@ function gcCompactForGoals(subst, goals, answerVars) {
     }
   }
 
-  const out = {};
+  const out = __emptySubst();
   for (const k of Object.keys(subst)) {
     if (keep.has(k)) out[k] = subst[k];
   }
@@ -2131,7 +2144,7 @@ function proveGoals(goals, subst, facts, backRules, depth, visited, varGen, maxR
   const allowDeferredBuiltins = !!(opts && opts.deferBuiltins);
 
   const initialGoals = Array.isArray(goals) ? goals.slice() : [];
-  const substMut = subst ? { ...subst } : {};
+  const substMut = subst ? __cloneSubst(subst) : {};
   const initialVisited = visited ? visited.slice() : [];
 
   // Variables from the original goal list (needed by the caller to instantiate conclusions)
@@ -2593,7 +2606,7 @@ function proveGoals(goals, subst, facts, backRules, depth, visited, varGen, maxR
       const builtinMax = Number.isFinite(remaining) && !restGoals.length ? remaining : undefined;
 
       const builtinGoalForEval = goalPredicateIri === LOG_NS + 'rawType' ? rawGoal : goal0;
-      const builtinSubstForEval = goalPredicateIri === LOG_NS + 'rawType' ? substMut : {};
+      const builtinSubstForEval = goalPredicateIri === LOG_NS + 'rawType' ? substMut : __emptySubst();
       let deltas = evalBuiltin(
         builtinGoalForEval,
         builtinSubstForEval,
@@ -2635,7 +2648,7 @@ function proveGoals(goals, subst, facts, backRules, depth, visited, varGen, maxR
         subjectAndObjectAreFullyUnbound &&
         (!restGoals.length || dc >= goalsNow.length)
       ) {
-        deltas = [{}];
+        deltas = [__emptySubst()];
       }
 
       if (deltas.length) {
@@ -3068,7 +3081,7 @@ function forwardChain(facts, forwardRules, backRules, onDerived /* optional */,
             const r = entry.rule;
             if (__skipForwardRuleNow(r)) continue;
 
-            const s = unifyTriple(entry.goal, fact, {});
+            const s = unifyTriple(entry.goal, fact, __emptySubst());
             if (s === null) continue;
 
             const outcome = __emitForwardRuleSolution(r, entry.ruleIndex, s);

package/package.json

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