An inductive logic programming system designed to solve machine learning tasks by inducing logic programs from data using a combination of search algorithms and background knowledge.