














ovember 1983

Purpose: 
ne se
/






































































2 by me and me alone.

    Most of the complication comes from trying to cope with free variables
    in the Filter; these d
























































































































































































































































































































































	set_of/3.		%   Like setof (Dec-10 manual p51)


ode
	bag_of(+,+,?),
	concordant_subset(+,+,-
concordant_subset(+,+,-,-),
	concordant_
et(+,+,+,+,-








































































































  The code they give
%   has a bug (which the Dec-10 bagof and setof predicates share)
%   w
































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































i



































































































