% "Vanilla" Meta Interpreter - Use sicstus3

solve(true).
solve((A, B)):-
	solve(A),
	solve(B).
solve(A) :-
	A \= true,  
	A \= (_,_),
	clause(A, B),
	solve(B).