Golem es un algoritmo de programación de lógica inductiva desarrollado por Stephen Muggleton y Feng. Utiliza la técnica de generalización relativamente mínima propuesta por Gordon Plotkin . Por lo tanto, solo se utilizan ejemplos positivos y la búsqueda es de abajo hacia arriba. Se pueden usar ejemplos negativos para reducir el tamaño de la hipótesis eliminando literales inútiles de la cláusula del cuerpo.