https://5dok.net/document/ozld95gy-provenance-inference-logic-programming-reducing-effort-instance-debugging.html