function FOIL function NEW-CLAUSE function EXTEND-EXAMPLE [pseudo-code](https://github.com/aimacode/aima-pseudocode/blob/master/md/Foil.md)
