eyeling 1.19.0 → 1.19.1

package/HANDBOOK.md

@@ -1820,6 +1820,7 @@ The bundle contains the whole engine. The CLI path is the “canonical behavior
 The current CLI supports a small set of flags (see `lib/cli.js`):
 
 - `-a`, `--ast` — print the parsed AST as JSON and exit.
+- `--builtin <module.js>` — load a custom builtin module (repeatable).
 - `-d`, `--deterministic-skolem` — make `log:skolem` stable across runs.
 - `-e`, `--enforce-https` — rewrite `http://…` to `https://…` for dereferencing builtins.
 - `-p`, `--proof-comments` — include per-fact proof comment blocks in output.

package/eyeling.js

@@ -3670,7 +3670,7 @@ function evalBuiltin(goal, subst, facts, backRules, depth, varGen, maxResults) {
   //   - subject = GraphTerm: explicit scope, run immediately (no closure gating)
   //   - subject = positive integer literal N (>= 1): delay until saturated closure level >= N
   //   - subject = Var: treat as priority 1 (do not bind)
-  //   - any other subject: backward-compatible default priority 1
+  //   - any other subject: invalid, so the builtin fails
   if (pv === LOG_NS + 'includes') {
     let scopeFacts = null;
     let scopeBackRules = backRules;
@@ -3698,7 +3698,8 @@ function evalBuiltin(goal, subst, facts, backRules, depth, varGen, maxResults) {
         prio = 1; // do not bind
       } else {
         const p0 = __logNaturalPriorityFromTerm(g.s);
-        if (p0 !== null) prio = p0;
+        if (p0 === null) return [];
+        prio = p0;
       }
 
       const snap = facts.__scopedSnapshot || null;
@@ -3781,7 +3782,8 @@ function evalBuiltin(goal, subst, facts, backRules, depth, varGen, maxResults) {
         prio = 1; // do not bind
       } else {
         const p0 = __logNaturalPriorityFromTerm(g.s);
-        if (p0 !== null) prio = p0;
+        if (p0 === null) return [];
+        prio = p0;
       }
 
       const snap = facts.__scopedSnapshot || null;

package/lib/builtins.js

@@ -3190,7 +3190,7 @@ function evalBuiltin(goal, subst, facts, backRules, depth, varGen, maxResults) {
   //   - subject = GraphTerm: explicit scope, run immediately (no closure gating)
   //   - subject = positive integer literal N (>= 1): delay until saturated closure level >= N
   //   - subject = Var: treat as priority 1 (do not bind)
-  //   - any other subject: backward-compatible default priority 1
+  //   - any other subject: invalid, so the builtin fails
   if (pv === LOG_NS + 'includes') {
     let scopeFacts = null;
     let scopeBackRules = backRules;
@@ -3218,7 +3218,8 @@ function evalBuiltin(goal, subst, facts, backRules, depth, varGen, maxResults) {
         prio = 1; // do not bind
       } else {
         const p0 = __logNaturalPriorityFromTerm(g.s);
-        if (p0 !== null) prio = p0;
+        if (p0 === null) return [];
+        prio = p0;
       }
 
       const snap = facts.__scopedSnapshot || null;
@@ -3301,7 +3302,8 @@ function evalBuiltin(goal, subst, facts, backRules, depth, varGen, maxResults) {
         prio = 1; // do not bind
       } else {
         const p0 = __logNaturalPriorityFromTerm(g.s);
-        if (p0 !== null) prio = p0;
+        if (p0 === null) return [];
+        prio = p0;
       }
 
       const snap = facts.__scopedSnapshot || null;

package/package.json

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

package/test/api.test.js

@@ -1462,6 +1462,42 @@ _:x :hates { _:foo :making :mess }.
     notExpect: [/:(?:test)\s+:(?:is)\s+false\s*\./],
   },
 
+  {
+    name: '59b regression: log:includes rejects non-scope literal or term subjects',
+    opt: { proofComments: false },
+    input: `@prefix : <http://example.org/> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+@base <http://example.org/> .
+
+{ false log:includes true. } => { :result :has :fail-literal-1. }.
+{ "foo" log:includes true. } => { :result :has :fail-literal-2. }.
+{ :foo log:includes true. } => { :result :has :fail-literal-3. }.
+{ 0 log:includes true. } => { :result :has :fail-literal-4. }.
+{ 42.3 log:includes true. } => { :result :has :fail-literal-5. }.
+{ (:foo 1 _:x) log:includes true. } => { :result :has :fail-literal-6. }.
+
+{ } => {
+  :test :contains :fail-literal-1, :fail-literal-2, :fail-literal-3, :fail-literal-4, :fail-literal-5, :fail-literal-6.
+}.
+`,
+    expect: [
+      /:(?:test)\s+:(?:contains)\s+:(?:fail-literal-1)\s*\./,
+      /:(?:test)\s+:(?:contains)\s+:(?:fail-literal-2)\s*\./,
+      /:(?:test)\s+:(?:contains)\s+:(?:fail-literal-3)\s*\./,
+      /:(?:test)\s+:(?:contains)\s+:(?:fail-literal-4)\s*\./,
+      /:(?:test)\s+:(?:contains)\s+:(?:fail-literal-5)\s*\./,
+      /:(?:test)\s+:(?:contains)\s+:(?:fail-literal-6)\s*\./,
+    ],
+    notExpect: [
+      /:(?:result)\s+:(?:has)\s+:(?:fail-literal-1)\s*\./,
+      /:(?:result)\s+:(?:has)\s+:(?:fail-literal-2)\s*\./,
+      /:(?:result)\s+:(?:has)\s+:(?:fail-literal-3)\s*\./,
+      /:(?:result)\s+:(?:has)\s+:(?:fail-literal-4)\s*\./,
+      /:(?:result)\s+:(?:has)\s+:(?:fail-literal-5)\s*\./,
+      /:(?:result)\s+:(?:has)\s+:(?:fail-literal-6)\s*\./,
+    ],
+  },
+
   {
     name: '60 regression: log:includes must match quoted triples with variable predicates',
     opt: { proofComments: false },