  Both Common Lisp and Prolog code for FOIDL is available via  <a href="ftp://ftp.cs.utexas.edu/pub/mooney/foidl">anonymous ftp</a>. See the README files here for details.  Pointers to papers on FOIDL can be found on our <a href="http://www.cs.utexas.edu/users/ml/ilp.html">ILP</a> research page.  Below is the standard reference (click on the open book image). <p>
