MODULE perm.

perm (X::Xs) Ys :- element X -o perm Xs Ys.
perm nil (Y::Ys) :- element Y, perm nil Ys.
perm nil nil.