fixing within_scope(Context, -1) which should be used in backward rules

eyereasoner · Jan 8, 2025 · 2042c3b · 2042c3b
1 parent 9381275
commit 2042c3b
Show file tree

Hide file tree

Showing 6 changed files with 786 additions and 1,174 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v11.4.2 (2025-01-08) fixing within_scope(Context, -1) which should be used in backward rules
 v11.4.1 (2025-01-07) improving --explain
 v11.4.0 (2025-01-06) dropping --plus and using --n3p instead
 v11.3.0 (2025-01-05) introducing eye --plus <pl-file> to run prolog with bottom-up steps

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-11.4.1
+11.4.2
diff --git a/eye.pl b/eye.pl
@@ -22,7 +22,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v11.4.1 (2025-01-07)').
+version_info('EYE v11.4.2 (2025-01-08)').
 
 license_info('MIT License
 
@@ -377,6 +377,7 @@
     ;   format(user_error, 'starting ~w [msec cputime] ~w [msec walltime]~n', [T0, T1]),
         flush_output(user_error)
     ),
+    assertz(recursion(-1)),
     nb_setval(entail_mode, false),
     nb_setval(exit_code, 0),
     nb_setval(indentation, 0),

diff --git a/eye.zip b/eye.zip