A higher-order predicate is one that takes other predicate(s) as argument(s). In general, a higher-order predicate of order n takes (n-1)-order predicate(s) as argument(s), where n > 1. |
A higher-order predicate? is one that takes one or more other predicates as arguments. In general, a higher-order predicate of order n takes (n-1)-order predicate(s) as argument(s), where n > 1. |