equalize(X, X).

one(X) :- equalize(X, Y), byland(Y).

byland(2).
byland(redcoat).