Free Foundations Of Inductive Logic Programming