Assertion: foil | /r/CapableOf | learn free horn clauses
Facets:
Source sentences:
text: Developed in 1990 by Ross Quinlan, FOIL learns function-free Horn clauses, a subset of first-order predicate calculus.