Metagol - an inductive logic programming system
metarule(Subs, Head, Body).
Substantial revisions, including automatic loop detection. Also includes several efficiency improvements.
A number of optimisations to reduce learning times. Most notably a new way of learning from multiple examples.
Major rewrite, which should be considerably faster than version 1.0. This release contains the IJCAI16 work on using higher-order abstractions in the form of interpreted background knowledge.