https://9dok.net/document/y6e1dm5n-resolution-logic-programming-algebraic-domains-negation-defaults.html