https://www.techopedia.com/definition/8123/logic-programming