Literal negative examples supported.
Supporting negative examples.
Small changes.
Small changes.
grounded_in_induction_field added.
induction_field.php added.
get_domain.
get_domain.
antisubsume_by_induction_field_added.
antisubsume_by_induction_field_added.
almost_correct_hypothesis added.
Adapted the bias in the negative examples.
 used.
antisubsume_by_induction_field complete.
in_induction_field fix.
in_induction_field fix.
Enabling the comments in the learning problem.
subsumes_literal added.
subsumes_literal added.
subsumes_literal fix.