module use_one.

% "use one, discard the rest" examples

p(1) & p(2) & p(3).               % "use one, discard the rest" clause

go1(X) <= p(X).

a(1).
b(2).
c(3).

go2(X) <= a(X) @ b(X) @ c(X).     % "solve one, discard the rest" goal


