Inductive Logic Programming (currently only aleph5).