[ library(lists) | Reference Manual | Alphabetic Index ]
Succeeds if Pred(Elem) succeeds for every element of List.
- Atom or compound term.
This is a synonym for maplist/2.
This predicate is sensitive to its module context (tool predicate, see @/2).
Fails if at least for one element of List the invocation of Pred with this additional argument fails.
Resatisfiable if at least for one element of List the invocation of Pred with this additional argument is resatisfiable.
checklist(integer, [1, 3, 5]).
checklist(spy, [var/1, functor/3]).
checklist(current_op(_, _), [+, -, =]).
(fails because the precedence of = does not match that of +)
maplist / 3