Text this: Foundations of Inductive Logic Programming