| The resulting directory contains Common Lisp code for an inductive logic programming system FOIDL which learns first-order decision lists (a Prolog program representing a function in which each clause ends in a cut). It is based on Quinlan's FOIL system but employs intensional background knowledge, does not require (or need to create) explicit negative examples but employs a general "output completeness" assumption, and can learn first-order decision lists. It employs the Prolog interpreter from Peter Norvig's text "Paradigms of Artificial Intelligence Programming," Morgan Kaufman, 1992. | | |