https://9dok.net/document/q7w2deov-forward-reasoning-moedeld-programming-modeled-classical-circumscription-projection.html