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