update symbol handling so that less warnings applies to non defined variables

parent 9448b3ea
......@@ -104,7 +104,7 @@ process_cond((X;Y), Vars) :- !,
% This is very non multithreading, let doWhen be a kanren style variable and
% we are golden.
%process_cond(X=Y, [X], (\\+(scm[doWhen] = true, X=Y) -> false ; true)) :- !.
process_cond(X=Y, [X], (\\+(X = true, X=Y) -> false ; true)) :- !.
process_cond(nonvar(X), [X], nonvar(X)) :- !.
%process_cond(ground(X), [X], ground(X)) :- !.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment