Abstract: Inductive learning consists of finding mapping of examples into discrete classes. Examples and induced mapping are represented in some formal language. The formal language employed by inductive learners has undergone three stages, such as, attribute-value

Key words: Inductive learning, Higher-order logic, Inductive logic programming, Genetic programming, Complex struc- tured data