forall/2 (not in ISO)

The call forall(Generate,Test) succeeds if for every solution of Generate the condition Test succeeds. This predicate is defined as follows:

       forall(Generate, Test) :- \+ (call(Generate), \+ call(Test)).

  For example, forall(member(X,[1,2,3]),p(X)).