https://www.techopedia.com/definition/abductive-logic-programming-alp