Clarify algorithm - who chooses the predicate - how choose the literal edit

Algorithm says

  • "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

- Rod57 (talk) 15:58, 30 January 2017 (UTC)Reply