HYPER learns logic programs by searching the space of complete hypotheses
(i.e., sets of programs clauses),
rather than performing repeated search for individual clauses.
References
I. Bratko.
Refining complete hypotheses in ILP.
In Proceedings of the Ninth International Workshop
on Inductive Logic Programming, pages 44-55.
Springer, Berlin, 1999.
I. Bratko. PROLOG Programming for Artificial Intelligence. Third edition.
Addison-Wesley, Harlow, England, 2001. (Chapter 19).