


















ne 1
%   Purpose: Prolog type-checker

:- public
	load/1,			%  for users
	type_check/5.		%  for setof/3

%>>	This module uses unify/2 from Util:MetUtl.Pl .
%>>	It also uses append/3 from the utilities.


%   This program defines a "type-checked consult" operation
%	load(Files)
%   where Files is an atom or a list of atoms.  There is no
%   analogue of the reconsult operation.  In the Files type
%   declarations may be given i














































































































































































































































fx, [(type), (pred), (rule)]).
:- op(1198, xfy, (-->)).
:- op( 999, 


























































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































