https://intlibrary.ir/download/logic-for-programming,-artificial-intelligence,-an-97071-4057/