Editing Inductive logic programming (section)

== List of implementations ==
* [http://www.cs.bris.ac.uk/Research/MachineLearning/1BC/ 1BC and 1BC2: first-order naive Bayesian classifiers:]
* [http://dtai.cs.kuleuven.be/ACE/ ACE (A Combined Engine)]
* [http://web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/ Aleph]
* [http://www.ahlgren.info/research/atom/ Atom] {{Webarchive|url=https://web.archive.org/web/20140326152728/http://www.ahlgren.info/research/atom |date=2014-03-26 }}
* [https://archive.today/20121231073113/http://dtai.cs.kuleuven.be/claudien/ Claudien]
* [http://dl-learner.org DL-Learner] {{Webarchive|url=https://web.archive.org/web/20190815184411/http://dl-learner.org/ |date=2019-08-15 }}
* [http://dtai.cs.kuleuven.be/dmax/ DMax]
* [https://spike-imperial.github.io/FastLAS/ FastLAS (Fast Learning from Answer Sets)]
* [[First Order Inductive Learner|FOIL (First Order Inductive Learner)]]
* [[Golem (ILP)|Golem]]
* [http://www.ilasp.com/ ILASP (Inductive Learning of Answer Set Programs)]
* Imparo<ref name="kimber2009induction" />
* [http://lacam.di.uniba.it:8000/systems/inthelex/ Inthelex (INcremental THEory Learner from EXamples)] {{Webarchive|url=https://web.archive.org/web/20111128110512/http://lacam.di.uniba.it:8000/systems/inthelex/ |date=2011-11-28 }}
* [https://web.archive.org/web/20020516195248/http://cs.anu.edu.au/people/Eric.McCreath/lime.html Lime]
* [http://github.com/metagol/metagol Metagol]
* [https://archive.today/20130219215544/http://libra.msra.cn/Publication/3392493/mio-user-s-manual Mio]
* MIS (Model Inference System) by Ehud Shapiro
* [https://github.com/dice-group/Ontolearn Ontolearn]
* [https://github.com/logic-and-learning-lab/Popper Popper]
* [[PROGOL]]
* [http://ida.felk.cvut.cz/zelezny/rsd/index.htm RSD]
* Warmr (now included in ACE)
* [http://ilp.doc.ic.ac.uk/ProGolem/ ProGolem] <ref>{{cite book |last1=Muggleton |first1=Stephen |last2=Santos |first2=Jose |last3=Tamaddoni-Nezhad |first3=Alireza |chapter=ProGolem: a system based on relative minimal generalization |citeseerx=10.1.1.297.7992 |chapter-url=https://link.springer.com/chapter/10.1007/978-3-642-13840-9_13 |title=International Conference on Inductive Logic Programming  |publisher=Springer |date=2009 |isbn=978-3-642-13840-9 |pages=131–148 |doi=10.1007/978-3-642-13840-9_13 |url=}}</ref><ref>{{cite journal|last1=Santos|first1=Jose|last2=Nassif|first2=Houssam|last3=Page|first3=David|last4=Muggleton|first4=Stephen|last5=Sternberg|first5=Mike|title=Automated identification of features of protein-ligand interactions using Inductive Logic Programming: a hexose binding case study|journal=BMC Bioinformatics|date=2012|volume=13|page=162|doi=10.1186/1471-2105-13-162|pmid=22783946|pmc=3458898 |doi-access=free }}</ref>