lib(apply)

   The apply/2 higher-order predicate

