fixing issue https://github.com/orgs/eyereasoner/discussions/139#disc…

…ussioncomment-12310146
eyereasoner · Feb 25, 2025 · aaa72eb · aaa72eb
1 parent 01722cb
commit aaa72eb
Show file tree

Hide file tree

Showing 5 changed files with 20 additions and 11 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v11.9.7 (2025-02-25) fixing issue https://github.com/orgs/eyereasoner/discussions/139#discussioncomment-12310146
 v11.9.6 (2025-02-25) using log:herbrandModel instead of log:herbrandInterpretation
 v11.9.5 (2025-02-24) having log:herbrandInterpretation and log:herbrandTerm instead of log:herbrand
 v11.9.4 (2025-02-24) fixing issue https://github.com/orgs/eyereasoner/discussions/139#discussioncomment-12301405

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-11.9.6
+11.9.7
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.9.6 (2025-02-25)').
+version_info('EYE v11.9.7 (2025-02-25)').
 
 license_info('MIT License
 
@@ -154,6 +154,7 @@
 :- dynamic(n3s/2).
 :- dynamic(ncllit/0).
 :- dynamic(nonl/0).
+:- dynamic(no_scope/0).
 :- dynamic(ns/2).
 :- dynamic(parsed_as_n3/2).
 :- dynamic(pass_only_new/1).
@@ -1692,10 +1693,14 @@
 tr_n3p([':-'(Y, X)|Z], Src, Mode) :-
     !,
     tr_tr(Y, U),
+    (   got_table(_)
+    ->  V = setup_call_cleanup(assertz(no_scope), X, retract(no_scope))
+    ;   V = X
+    ),
     (   atomic(X),
         atomic(Y)
-    ->  write('\'<http://www.w3.org/2000/10/swap/log#isImpliedBy>\''(U, X))
-    ;   write(':-'(U, X))
+    ->  write('\'<http://www.w3.org/2000/10/swap/log#isImpliedBy>\''(U, V))
+    ;   write(':-'(U, V))
     ),
     writeln('.'),
     tr_n3p(Z, Src, Mode).
@@ -11642,6 +11647,9 @@
     ;   true
     ).
 
+within_scope(_) :-
+    no_scope,
+    !.
 within_scope([A, B]) :-
     (   var(B)
     ->  B = 1

diff --git a/eye.zip b/eye.zip
diff --git a/reasoning/path/path-answer.n3 b/reasoning/path/path-answer.n3
@@ -1,18 +1,18 @@
 @prefix : <urn:example:>.
 
-:a :path :a.
-:a :path :d.
-:a :path :c.
-:a :path :b.
-:d :path :a.
 :d :path :d.
 :d :path :c.
 :d :path :b.
-:c :path :a.
+:d :path :a.
 :c :path :d.
 :c :path :c.
 :c :path :b.
-:b :path :a.
+:c :path :a.
 :b :path :d.
 :b :path :c.
 :b :path :b.
+:b :path :a.
+:a :path :d.
+:a :path :c.
+:a :path :b.
+:a :path :a.