ProGolem is part of the General Inductive Logic Programming System (GILPS) developed by José Carlos Almeida Santos. GILPS is written in Prolog and requires at least YAP 6.0. ProGolem makes use of Asymmetric Relative Minimal Generalisations to learn Prolog theories.
To make use of the GILPS an installed YAP system is required.
There are YAP software packages for the most common Linux distributions as well as binary and source distributions
on the YAP web page. In any case you should make sure that the YAP
executable is in your
Having installed YAP, the actual GILPS can be downloaded at http://www.doc.ic.ac.uk/~jcs06/GILPS/GILPS.tar.bz2.
The tar archive contains the GILPS Prolog sources which need to be extracted to
The directory should then contain at least the following files:
SML-Bench/learningsystems/progolem $ ls -F Makefile README.md run* source/ validate*
No further steps are required. In particular there is no need to call
GILPS sources from 2009-03-13