We compareWe also tried to use ILASP3 [1]}.
However, ILASP3 first pre-computes every possible rule in a hypothesis space.
This approach is infeasible for our datasets.
For instance, on the trains tasks, ILASP3 took 2 seconds to pre-compute rules with three body literals; 20 seconds for rules with four body literals; and 12 minutes for rules with five body literals.
Since the simplest train task requires rules with six body literals, ILASP3 is unusable.
In addition, ILASP3 cannot learn Prolog programs so is unusable in the synthesis tasks. DiscoPopper against Popper, Metagol [2]}, and Aleph [3]}:
