% Adapted from the Logtalk setof/3 list validation cases. Modified for EyeProlog.
% See test/conformance/THIRD_PARTY.md.
%% ?- setof(X, (X = 2; X = 1), 12).