FOIDL is an ILP system for learning first-order decision lists (ordered lists of clauses each ending in a cut). It has been used to obtain the current best results on learning the past-tense of English. For more information, and to download both Prolog and Common Lisp code, click here.