Implementations
- PROGOL (http://www.doc.ic.ac.uk/~shm/Software/progol5.0)
- Golem (ILP) (http://www.doc.ic.ac.uk/~shm/Software/golem)
- Aleph (http://web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/)
- FOIL (ftp://ftp.cs.su.oz.au/pub/foil6.sh)
- Claudien (http://dtai.cs.kuleuven.be/claudien/)
- Lime (http://cs.anu.edu.au/people/Eric.McCreath/lime.html)
- ACE (A Combined Engine) (http://dtai.cs.kuleuven.be/ACE/)
- DMax (http://dtai.cs.kuleuven.be/dmax/)
- Warmr (now included in ACE)
- RSD (http://labe.felk.cvut.cz/~zelezny/rsd/)
- Mio (http://kd.cs.uni-magdeburg.de/~pena/)
- DL-Learner (http://dl-learner.org)
- MIS (Model Inference System) by Ehud Shapiro
- Inthelex (INcremental THEory Learner from EXamples) (http://lacam.di.uniba.it:8000/systems/inthelex/)
Read more about this topic: Inductive Logic Programming