



















   Purpose: Unit Resolution: particularly useful for optimizing prolog
%        
code written in a data abstraction style; using
%	     single-choice-clause 
edures.
%   Notes  : This version ovecomes the problems associated with 
goals.
%	     The philosophy of the program is to unfold what it can
n
%	     instructed to do so.
%	     Unfortunately, the way I ha
 this program for
%	     cut didn't allow me to 





















































































































































































































































































































































































 fx, '
ld




























































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































