Learning a clause
Set of Positive Tuples (Po)
- Set of Negative Tuples (No)
- Body (Conjunction of Literals) Initialized to True
- Old Variables
Operators:Add a new literal Preds*(vars+arity-1)*arity
- Using every predicate, and every way of inserting New and Old Variables
- Produces a Set of Positive Tuples (P1), Negative Tuples (N1), Body, Variables