https://123dok.net/document/y6e4ro64-linearizing-some-recursive-logic-programs.html