Proper

Abstract

Inductive logic programming adopts first order logic to represent background knowledge and examples. The expressive ability of first order logic is lower than high order logic. Therefore, researchers propose to use higher order logic as the representation form for inductive logic programming. This paper reviews inductive logic programming based on higher order logic. Firstly, background, higher order language(Escher) are introduced; secondly, the current higher order inductive logic programming systems are summarized and analyzed; finally, some vital aspects that may be conducted in the future investigations are discussed.