Text this: Equivalence of two fixed-point semantics for definitional higher-order logic programs.