% An example of Alban Peignier that works correctly begininning with Prova version 1.8.
%   It outputs an infinite sequence of possible lists containing '1'.

:- solve(member(1,X)).

member(X,[X|Xs]). 
member(X,[_|Xs]) :-
	member(X,Xs).