improving the output of log:trace (obs from William Van Woensel)

RELEASE

@@ -1,5 +1,6 @@
                                   EYE release
 
+[v2.3.1] improving the output of log:trace (obs from William Van Woensel)
 [v2.3.0] loading library(dif) so that dif/2 can be used in n3p (obs from Patrick Hochstenbach)
 [v2.2.0] adding --no-models option to have no model generation for blogic
 [v2.1.1] finetuning blogic model handling

VERSION

@@ -1 +1 @@
-2.3.0
+2.3.1

eye.pl

@@ -20,7 +20,7 @@
 :- use_module(library(semweb/turtle)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v2.3.0 josd').
+version_info('EYE v2.3.1 josd').
 
 license_info('MIT License
 
@@ -5925,14 +5925,11 @@
 '<http://eulersharp.sourceforge.net/2003/03swap/log-rules#trace>'(X, Y) :-
     \+flag(restricted),
     tell(user_error),
-    write('TRACE '),
-    (   (   var(X)
-        ;   findvar(X, beta)
-        )
-    ->  copy_term_nat(Y, Z),
-        wg(Z)
-    ;   writeq(Y)
-    ),
+    copy_term_nat(X, U),
+    wg(U),
+    write(' TRACE '),
+    copy_term_nat(Y, V),
+    wg(V),
     nl,
     told,
     (   flag('output', Output)