a(X) :- b(X).
a(X) :- c(X).
b(1) :- !.
b(2).
c(2).