%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%% A simple analyzer %%%%%%%%%%%%%%%%%%%%%% 
%%%%%%%%%%%%% for set based groundness analysis: %%%%%%%%%%%%%
%%%% definitions of {log} predicates used by the analyzer %%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

delta({c},{c},_).
delta({X},{N},N) :- X neq c & X neq N.
delta({X,c},{N,c},N) :- X neq c & X neq N.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%