It is redundant because it does not have a tree structure and there is more than one path from p(x, y) to p(x, x) ← q(x, z). 3 Clause refinement in a Progol-like ILP system In this section we study clause refinement in ILP systems which consider the hypothesis space bounded ...