HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs.

Weidong Chen Michael Kifer David Scott Warren HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. 1090-1114 1989 NACLP db/conf/slp/slp89.html#ChenKW89