What need to be satisfied in inductive logic programming?

• A. Constraint
• B. Entailment constraint
• C. Both Constraint & Entailment constraint
• D. None of the mentioned