eyeprolog 1.5.27 → 1.5.28

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "1.5.27",
+  "version": "1.5.28",
   "description": "EyeProlog turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",

package/src/term.js

@@ -15,6 +15,10 @@ const EMPTY_ARGS = Object.freeze([]);
 // propagation uses 256 because its repeated negative lookups dominate sooner.
 const ENV_FLATTEN_DEPTH = 256;
 const ATTRIBUTED_ENV_FLATTEN_DEPTH = 256;
+// Environment states are immutable once published to a branch, so an absent
+// binding is just as safe to cache as a present one. Negative lookups are
+// especially common while tabling and constraint code probes fresh variables.
+const ENV_UNBOUND = Symbol('environment-unbound');
 // Runtime terms are structurally immutable: environments hold bindings beside
 // them rather than rewriting their argument arrays. Cache only the syntactic
 // variable names; binding reachability is still checked against each Env.
@@ -292,9 +296,11 @@ export class Env {
   }
   get(name) {
     const root = this._state;
-    if (root.cacheName === name) return root.cacheValue;
+    if (root.cacheName === name) {
+      return root.cacheValue === ENV_UNBOUND ? undefined : root.cacheValue;
+    }
     const cached = root.cache?.get(name);
-    if (cached !== undefined) return cached;
+    if (cached !== undefined) return cached === ENV_UNBOUND ? undefined : cached;
     for (let state = root; state != null; state = state.parent) {
       let value;
       let found = false;
@@ -317,6 +323,14 @@ export class Env {
         return value;
       }
     }
+    if (root.depth >= 4) {
+      if (root.cacheName == null) {
+        root.cacheName = name;
+        root.cacheValue = ENV_UNBOUND;
+      } else {
+        (root.cache ??= new Map([[root.cacheName, root.cacheValue]])).set(name, ENV_UNBOUND);
+      }
+    }
     return undefined;
   }
   compactForDeepContinuation(segmentLimit = 16) {

package/test/run-regression.mjs

@@ -7224,11 +7224,15 @@ function whiteBoxCases() {
         assertEqual(env.get('V31').name, '31', 'binding before flatten');
         assertEqual(env.get('V39').name, '39', 'latest binding');
         assertEqual(env.has('missing'), false, 'missing binding');
+        assertEqual(env.has('missing'), false, 'cached missing binding');
 
         const clone = env.clone();
         clone.bind('OnlyClone', atom('yes'));
+        clone.bind('missing', atom('now_present'));
         assertEqual(clone.get('OnlyClone').name, 'yes', 'clone write');
+        assertEqual(clone.get('missing').name, 'now_present', 'clone write supersedes cached miss');
         assertEqual(env.has('OnlyClone'), false, 'clone remains isolated');
+        assertEqual(env.has('missing'), false, 'parent retains cached miss');
       },
     },
     {