Progol ist ein System zum maschinellen Lernen, das 1995 von Stephen Muggleton publiziert wurde. Es gehört zum Paradigma der Induktiven Logischen Programmierung und lernt Definitionen von Konzepten in Prädikatenlogik aus einer Menge von Beispielen und einem Hintergrundwissen. Die Beispiele und die Elemente des Hintergrundwissens können beliebige...