	/***** Permutations: list arrangements of a set  ****/

mode none.
closure perms/1.	% memoize all calls on perms

perms(phi) contains {[]}.
perms({X\T}) contains distr(X, perms(T)).

	distr(X, {H\_}) contains {[X|H]}.
