Learning logical definitions from relations
The CN2 induction algorithm