%% ?- item(X0, X1).

item(a).
item(a, b).
item(c, d).