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

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Great River, New York

... 100 females there are 104.2 males. For every 100 females age 18 and over, there are 97.8 males. The median income for a household in the town is $78,399, and the media ...

 
 
 
This page was created in 42 ms