[ library(apply_macros) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
checklist(+Pred, +List)
Apply a predicate to all list elements
Modules
This predicate is sensitive to its module context (tool predicate, see @/2).
Examples
checklist(<(0), [1,2,3]).