
checklist(+Pred, +List)

   Succeeds if Pred(Elem) succeeds for every element of List.



Arguments
   +Pred               Atom or compound term.
   +List               List.

Type
   library(lists)

Description
   This is a synonym for maplist/2.
	

Modules
   This predicate is sensitive to its module context (tool predicate, see @/2).

Fail Conditions
   Fails if at least for one element of List the invocation of Pred with this additional argument fails.

Resatisfiable
   Resatisfiable if at least for one element of List the invocation of Pred with this additional argument is resatisfiable.

Examples
   
Success:
  checklist(integer, [1, 3, 5]).
  checklist(spy, [var/1, functor/3]).

Fail:
  checklist(current_op(_, _), [+, -, =]).
  (fails because the precedence of = does not match that of +)





See Also
   maplist / 3
