
















ugust 1984
%   Purpose: Pro
"top level"

/*  Althou
he actual code pres
d here is entir
my own, I h
    rea
e t












































































































































































rolog

co





















4; RAOK] Added toplevel_hook and





























































































































































































































































































































































4] Added portable_uses/1.  The idea is that
	:- uses([Files...]).
    should load precisely those files in the list which are not alread













































































































































































































































































































































































































































































































































































































% clear what nested reconsults should mean.  The
%   intent of the code in check_command_head is
t a definition at
%   nesting level N wipes out a definition at any lower level, and that
% 
ter 

























































































































































































































































































































































































































































































































































































































































































rolog.
 e




























































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































ee





















 fail	% t(race)
	;   ttyski
), fail			% others
	).

_is_happy_with([Var
|Variables]) :-
ite(Var), w
(' = ')
int














