
















   Purpose: Fancy control structures ("invocation" routines).


%   Most of the
redicates are best forgotten.
%   The exceptions are &/2, forall/2, once/1,
/1.

	%%%  Run this module interpreted
	%%%  INVOCA requires no other m
es

:- public			% /--- begin junk
	(\\)/2,			% |    a\\b = once((a;
	nobt/1,			% |    nobt(X) = once(X)
	(thnot)/1,		% |    thnot(X
not(X) = \+ X
	any/1,			% |    any([G1,...,Gn]) = G1;...;Gn
nd


























































































































































































































































































































