Higher-order predicate
HomePage
|
Recent Changes
|
Preferences
No diff available--this is the first major revision.
(
minor diff
,
author diff
)
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.