Further Inductive Mercury Programming and IMP0.5

The authors explore the use of Mercury for Inductive Logic Programming and present IMP0.5, the product of the research. Mercury is a compiled logic programming language with modern features, which requires the user to write type, mode and determinism declarations for each of their predicates. This information is used by the Mercury compiler to optimise generated code, which, amongst other things, enables Mercury to provide faster execution than Prolog. IMP0.5 is an ILP system, and an ILP software library, which contains re-usable modules of ILP related code. The aim in creating IMP0.5 as a software library was to significantly reduce the effort required to implement new ILP algorithms.