Lime is an ILP system that induces first order logic programs from a set of ground examples. It incorporates techniques such as : using the Q heuristic to handle noise and fixed example sizes, and preprocessing the input examples to learn information to restrict the search space. In so doing lime demonstrates the efficacy of such techniques.
Lime 1.0 is available to down load free of charge for personal use, educational use, or machine learning research. If you wish to use it for commercial gain then you must contact Eric McCreath. Lime is provided "as is" without express or implied warranty.