Content deleted Content added
Smuggleton (talk | contribs) No edit summary |
Smuggleton (talk | contribs) No edit summary |
||
Line 14:
== Implementations ==
* [[PROGOL]] (http://www.doc.ic.ac.uk/~shm/Software/progol5.0)
* [[Golem]] (http://www.doc.ic.ac.uk/~shm/Software/golem)
* [[Aleph (inductive logic programming)|Aleph]] (http://web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/)
* Foil (ftp://ftp.cs.su.oz.au/pub/foil6.sh)
|