eyeling 1.8.4 → 1.8.5
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/eyeling.js +3 -4
- package/package.json +1 -1
package/eyeling.js
CHANGED
|
@@ -6132,7 +6132,7 @@ function evalBuiltin(goal, subst, facts, backRules, depth, varGen, maxResults) {
|
|
|
6132
6132
|
// - object = natural number literal N: delay until saturated closure level >= N
|
|
6133
6133
|
// * N = 0 => run immediately (use the live fact store)
|
|
6134
6134
|
// * N >= 1 => run only when a scoped snapshot exists at closure level >= N
|
|
6135
|
-
// - object = Var: treat as priority 1
|
|
6135
|
+
// - object = Var: treat as priority 1 (do not bind)
|
|
6136
6136
|
// - any other object: backward-compatible default priority 1
|
|
6137
6137
|
|
|
6138
6138
|
let outSubst = { ...subst };
|
|
@@ -6157,8 +6157,7 @@ function evalBuiltin(goal, subst, facts, backRules, depth, varGen, maxResults) {
|
|
|
6157
6157
|
} else {
|
|
6158
6158
|
let prio = 1;
|
|
6159
6159
|
if (g.o instanceof Var) {
|
|
6160
|
-
//
|
|
6161
|
-
outSubst[g.o.name] = internLiteral('1');
|
|
6160
|
+
// Unbound var: behave as priority 1 (do not bind)
|
|
6162
6161
|
prio = 1;
|
|
6163
6162
|
} else {
|
|
6164
6163
|
const p0 = __logNaturalPriorityFromTerm(g.o);
|
|
@@ -6231,7 +6230,7 @@ function evalBuiltin(goal, subst, facts, backRules, depth, varGen, maxResults) {
|
|
|
6231
6230
|
} else {
|
|
6232
6231
|
let prio = 1;
|
|
6233
6232
|
if (g.o instanceof Var) {
|
|
6234
|
-
|
|
6233
|
+
// Unbound var: behave as priority 1 (do not bind)
|
|
6235
6234
|
prio = 1;
|
|
6236
6235
|
} else {
|
|
6237
6236
|
const p0 = __logNaturalPriorityFromTerm(g.o);
|