https://aiappworld.com/tutorial/logic-in-artificial-intelligence/