https://intlibrary.ir/download/implementations-of-prolog-84008-6741/