eyeprolog 1.5.63 → 1.5.65

package/package.json

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

package/src/lib/si.pl

@@ -22,10 +22,10 @@ integer_si(I) :- ( var(I) -> throw(error(instantiation_error, [predicate-integer
 atomic_si(A) :- ( var(A) -> throw(error(instantiation_error, [predicate-atomic_si/1])) ; atomic(A) ).
 
 list_si(List) :- si__list(List).
+si__list(Term) :-
+    var(Term), !, throw(error(instantiation_error, [predicate-list_si/1])).
 si__list([]).
 si__list([_|Tail]) :- !, si__list(Tail).
-si__list(Term) :-
-    ( var(Term) -> throw(error(instantiation_error, [predicate-list_si/1])) ; fail ).
 
 character_si(C) :-
     ( var(C) -> throw(error(instantiation_error, [predicate-character_si/1]))

package/test/regression/cases-regression.mjs

@@ -4545,6 +4545,22 @@ answer(Result) :- countdown(2048, Result), Result = 2048.
         if (elapsed >= 20000) throw new Error(`20k wrapped calls took ${elapsed}ms`);
       },
     },
+    {
+      name: 'sufficient-instantiation list checks reject unknown tails without binding elements',
+      run: () => {
+        const input = ':- use_module(library(si)).\n%% goal: answer(X)\n' +
+          'answer(ok) :- ' +
+          'catch(list_si(X), error(instantiation_error,_), C1 = caught), C1 == caught, var(X), ' +
+          'catch(list_si([a|T]), error(instantiation_error,_), C2 = caught), C2 == caught, var(T), ' +
+          'catch(chars_si(Cs), error(instantiation_error,_), C3 = caught), C3 == caught, var(Cs), ' +
+          'catch(chars_si([a|Tail]), error(instantiation_error,_), C4 = caught), C4 == caught, var(Tail), ' +
+          'list_si([]), list_si([Element]), var(Element), chars_si([a,b]), ' +
+          '\\+ list_si([a|bad]), \\+ chars_si([ab]).\n';
+        const result = runCli(['-'], { input });
+        assertEqual(result.status, 0, `exit status; stderr=${result.stderr}`);
+        assertIncludes(result.stdout, 'answer(ok)', 'list checks preserve sufficient instantiation');
+      },
+    },
     {
       // Issue #100: compare_si/3 decides the standard order only when no
       // instantiation could change it, and raises instantiation_error as