Inductive Bias of Prolog-EBG

Since all the candidate hypotheses are generated from B it follows that the inductive bias of Prolog-EBG is simply B, right?
Almost. We also have to consider how it chooses from among the alternative clauses.
Since it uses sequential covering by growing the Horn clauses we can say that it prefers small sets of Horn clauses.
So, the inductive bias is B plus a preference for small sets of maximally general Horn clauses.
The inductive bias is largely determined by the input domain theory, not the algorithm.