TopLog is a new ILP System being developed by Jose Santos and Prof. Stephen Muggleton. It implements a Top Directed Hypothesis Generation scheme contrasting with Mode Direct Inverse Entailment of systems like Aleph and Progol.
Theorethical properties together with empirical experiments on the advantages of this new approach are described in this paper (extended version here).
More detailed information on TopLog and in ILP in general can be found on my Transfer Report.
Aleph, with scripts for cross fold validation using the same datasets: here.
Last updated: 16th December 2008