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.


HTML manual

TopLog sources, datasets and documentation: here. (you need Yap 5.1.3, TopLog may not work on earlier Yap versions).

Aleph, with scripts for cross fold validation using the same datasets: here.

Last updated: 16th December 2008