https://123dok.net/document/9yno2rlq-computing-the-least-fix-point-semantics-of-definite-logic-programs-using-bdds.html