Golem is an inductive logic programming

Inductive logic programming

Inductive logic programming is a subfield of machine learning which uses logic programming as a uniform representation for examples, background knowledge and hypotheses...

 algorithm developed by Stephen Muggleton

Stephen Muggleton

Professor Stephen Muggleton FBCS, FIET, FAAAI, FREng is Head of the Computational Bioinformatics Laboratory at Imperial College London. He received his BSc in Computer Science and PhD in Artificial Intelligence where he was supervised by Donald Michie from the University of Edinburgh...

 and Feng. It uses the technique relative least general generalization proposed by Gordon Plotkin

Gordon Plotkin

Gordon D. Plotkin, FRS, FRSE is a Scottish computer scientist.Gordon Plotkin is best-known for his introduction of structural operational semantics and his work on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics of 1981 were very influential...

. Therefore, only positive examples are used and the search is bottom-up.
Negative examples can be used to reduce the size of the hypothesis by deleting useless literals from the body clause.