prolog-dif

different(Xs, Ys) :- member(X, Xs), non_member(X, Ys). different(Xs, Ys) :- member(Y, Ys), non_member(Y, Xs). M ... ]) tiene éxito. También podría fallar. Por lo tanto, una solución que falla para ambos está bien (tal vez incluso más fina).