https://123dok.net/document/q2n7dlle-platform-managing-business-process-knowledge-bases-logic-programming.html