choice(X) :- X = 1, !; X = 2.