<<Up
Contents
Second-order predicate
A
second-order predicate
is a
predicate
that takes a
first-order predicate
as an argument. Compare
higher-order predicate
.
wikipedia.org
dumped 2003-03-17 with
terodump