D A Wolfram.
September 1992.
We give a model-theoretic semantics for the logic of higher-order Horn clauses, the basis of a form of the lambda Prolog higher-order logic programming language. We define certain intensional general models and show that higher-order Horn clause logic is sound and complete with respect to them.