https://123dok.net/document/yng7o7mj-position-paper-ontological-logic-programming.html