Machine invention of first-order predicates by inverting resolution /
Muggleton, Stephen.
Buntine, W.
Turing Institute (Glasgow, Scotland)
Glasgow : Turing Institute,
1991.
Includes bibliography.
Horn clauses.
Machine learning.
CIGOL (Computer program)