Search the Kids Internet
Encyclopedia > Higher-order predicate
Article Content
Higher-order predicate
A higher-order predicate is a predicate that takes one or more other predicates as arguments. In general, a higher-order predicate of order n takes one or more (n - 1)th-order predicates as arguments, where n > 1.
All Wikipedia text is available under the terms of the GNU Free Documentation License
|
Search Encyclopedia
|
Featured Article
|