[ library(lists) | Reference Manual | Alphabetic Index ]

checklist(+Pred, +List)

Succeeds if Pred(Elem) succeeds for every element of List.
+Pred
Atom or compound term.
+List
List.

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