We formulate our approach in the ILP learning from entailment setting [1]}.
We assume familiarity with logic programming [2]}.
The only clarification is that by constraint we mean a Horn clause without a positive literal.
