https://123dok.net/document/zlg141rl-nested-logic-programs-with-ordered-disjunction.html