https://intlibrary.ir/download/extensions-of-logic-programming:-international-wor-67287-9187/