Golem (ILP)

Golem to algorytm programowania w logice indukcyjnej opracowany przez Stephena Muggletona i Fenga. Wykorzystuje technikę względnego najmniej ogólnego uogólnienia zaproponowaną przez Gordona Plotkina . Dlatego wykorzystuje się tylko pozytywne przykłady, a wyszukiwanie odbywa się od dołu do góry. Przykładów negatywnych można użyć do zmniejszenia rozmiaru hipotezy poprzez usunięcie bezużytecznych literałów z klauzuli treści.