Talk:First-order inductive learner

Clarify algorithm - who chooses the predicate - how choose the literal
Algorithm says - Rod57 (talk) 15:58, 30 January 2017 (UTC)
 * "Let Pred be the predicate to be learned". Is the predicate an input to FOIL or selected (how) by FOIL ?
 * "Choose a literal L" - This seems to need a lot more detail if part of FOIL