From db5c94665423da994dc28dca2c091e05b5216fe7 Mon Sep 17 00:00:00 2001
From: josd <josderoo@gmail.com>
Date: Thu, 7 Mar 2024 00:01:44 +0100
Subject: [PATCH] removing unused predicates

---
 VERSION |  2 +-
 see.pl  | 45 +++++----------------------------------------
 2 files changed, 6 insertions(+), 41 deletions(-)

diff --git a/VERSION b/VERSION
index 5a5831a..d169b2f 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.0.7
+0.0.8
diff --git a/see.pl b/see.pl
index 88426d6..83a81b2 100644
--- a/see.pl
+++ b/see.pl
@@ -19,7 +19,7 @@
 :- use_module(library(semweb/turtle)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('SEE v0.0.7 (2024-03-06)').
+version_info('SEE v0.0.8 (2024-03-07)').
 
 help_info('Usage: see <options>* <data>*
 see
@@ -451,38 +451,10 @@
 trig_term(A, B) :-
     atomic_list_concat(['<', A, '>'], B).
 
-rename('\'<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>\'', []) :-
-    !.
-rename('\'<http://www.w3.org/2000/10/swap/log#isImpliedBy>\'', ':-') :-
-    !.
-rename(A, A).
-
 %
 % Reasoning output
 %
 
-w0([]) :-
-    !.
-w0([A|B]) :-
-    (   \+sub_atom(A, 1, _, _, '"'),
-        sub_atom(A, _, 1, _, ' '),
-        \+sub_atom(A, _, _, 1, '"')
-    ->  format(' "~w"', [A])
-    ;   format(' ~w', [A])
-    ),
-    w0(B).
-
-w1([]) :-
-    !.
-w1([A|B]) :-
-    (   \+sub_atom(A, 1, _, _, '"'),
-        sub_atom(A, _, 1, _, ' '),
-        \+sub_atom(A, _, _, 1, '"')
-    ->  format(' "~w"', [A])
-    ;   format(' ~w', [A])
-    ),
-    w1(B).
-
 wh :-
     (   keep_skolem(_)
     ->  nb_getval(var_ns, Sns),
@@ -551,7 +523,7 @@
 wt(X) :-
     var(X),
     !,
-    write('?'),
+    write('var:'),
     write(X).
 wt(X) :-
     functor(X, _, A),
@@ -595,7 +567,7 @@
             )
         ;   memberchk(X, L)
         )
-    ->  write('?U_')
+    ->  write('var:U_')
     ;   write('_:sk_')
     ),
     write(Y).
@@ -635,7 +607,7 @@
             ->  write('_:')
             ;   sub_atom(Y, 0, 2, _, Z),
                 memberchk(Z, ['x_', 't_']),
-                write('?')
+                write('var:')
             )
         ;   write('_:')
         ),
@@ -968,7 +940,7 @@
 wg(X) :-
     var(X),
     !,
-    write('?'),
+    write('var:'),
     write(X).
 wg(X) :-
     functor(X, F, A),
@@ -2945,12 +2917,6 @@
     ),
     nb_getval(scope, A).
 
-exo_pred(exopred(P, S, O), A) :-
-    atomic(P),
-    !,
-    A =.. [P, S, O].
-exo_pred(A, A).
-
 exopred(P, S, O) :-
     (   var(P),
         var(S),
@@ -4273,4 +4239,3 @@
         )
     ),
     flush_output(user_error).
-