Rule Induction
Clementine
POPLOG(tm)-Rules