a,b(X) :- c(X) v d(X,Y).
c(1).
d(2,3).