
















September 1
%   Purpose: General term hacking.  See also OCCUR.PL, METUTL.PL.
/*

    These routines view a term as a data-structure.  In particular,
they handle Prolog variables in the terms as objects.  This is not
entirely satisfactory.  A proper separations of levels is needed.
*/

:- public
	copy_ground/3,			%  Term -> GroundCopy,Substitution
	occ/3,				%  SubTerm,Term -> Occurrences
	subst/3,			%  Substitution,Term -> ModifiedT














































































































































































































































































































































































































































































i


















































































































































































































































































































































































































































































































































































































































































































































































































































































































































 Subs
t













































































































































































































			)














































