Machine Learning

, Volume 5, Issue 3, pp 239-266

First online:

Learning logical definitions from relations

  • J. R. QuinlanAffiliated withBasser Department of Computer Science, University of Sydney


This paper describesfoil, a system that learns Horn clauses from data expressed as relations.foil is based on ideas that have proved effective in attribute-value learning systems, but extends them to a first-order formalism. This new system has been applied successfully to several tasks taken from the machine learning literature.


Induction first-order rules relational data empirical learning