https://123dok.net/document/z3d37k99-dealing-incompleteness-vagueness-inductive-logic-programming.html