that apply a predicate on all
members of a list.
All predicates support partial application in the Goal argument. This means that these calls are identical:
All predicates support partial application in the Goal argument. This means that these calls are identical: