/*
 1. Try x(X) with clauses below as is.
 2. Change c. to c :- fail. and try x(X) again.
 3. Restore c. and change d. to d :- fail. and try x(X) again.
*/

x(N) :- a, b, c, !, d, e, f, !, g, h, i, between(0,1,N).
x(10) :- j.
a.
b.
c.
% c :- fail.
d.
% d :- fail.
e.
f.
g.
h.
i.
j.
