Inductive Logic Programming door S. KrÄmer