/*
	for_all(Goal,Condition) :-
		For all solutions of Goal, Condition is true

*/

	for_all(Goal,Condition) :-
		findall(Condition,Goal,Cases), check(Cases).

	check([Case|Cases]) :- Case, check(Cases).
	check([]).

%	Program 16.2 : Applying set predicates