amenor(X, Y):-name(X, L), name(Y, M), amenorx(L, M).
amenorx([X|_], [Y|_]):-X<Y.
;amenorx([], [_|_]).
;amenorx([A|X], [B|Y]):-A=B, amenorx(X, Y).

