A major issue with meta-level approaches is scalability.
For instance, ASPAL, HEXMIL [1]}, and ILASP3 [2]} all first pre-compute every possible rule in the hypothesis space which they pass to an ASP solver.
This approach scales well when solutions require many rules with few body literals.
However, this approach does not scale well when solutions require rules with many body literals [3]}, since there are exponentially more rules given more body literals.
