C4.5 and FOIL
http://www.rulequest.com/Personal/The home page of R. Quinlan with FTP links to FOIL (inductive logic programming) and C4.5 (learning decision trees). [LGPL]
Submitted in section: Artificial Intelligence: Machine Learning: Software: C4.5 and FOIL