4 ms·* Higher order predicates. Prolog has them.by usgroup 3y ago* Higher order predicates. Prolog has them.