https://123dok.org/document/4yrmrn8q-functional-inductive-logic-programming-queries-user.html