https://intlibrary.ir/download/clause-and-effect:-prolog-programming-for-the-work-41174/