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. In NACLP. pages 1090-1114, 1989.

Abstract

Abstract is missing.