در برنامه PySWIP یک پل پایتون / SWI-Prolog با قانون است که شما را قادر به پرس و جو در Prolog با استفاده از SWI-Prolog در برنامه های شما می باشد.
مورد نیاز:
· پایتون 2.3 و بالاتر (احتمالا نسخه های دیگر نیز کار خواهد کرد).
· ctypes 0.9.9.9 و بالاتر (احتمالا نسخه های دیگر نیز کار خواهد کرد).
· 5.6.x SWI-Prolog با قانون و بالاتر (احتمالا نسخه های دیگر نیز کار خواهد کرد).
· libpl به عنوان یک کتابخانه مشترک.
· فقط در لینوکس تست شده، باید برای دیگر POSIX و Win32 کار.
نصب و راه اندازی:
PySWIP باید بر روی سیستم های Win32 کار می کنند، اما این است که آزمایش نشده است. دستورالعمل های زیر برای سیستم های POSIX هستند.
+ اول از همه، شما نیاز به libpl SWI-Prolog با قانون را به عنوان یک کتابخانه مشترک، به عنوان مثال، `` libpl.so``، `` libpl.so.5.6.34``، و غیره SWI-Prolog با قانون توسط کامپایل نمی به طور پیش فرض برای فعال کردن کتابخانه مشترک، بنابراین شما نیاز به آن را به خودتان کامپایل با تولید کتابخانه مشترک را فعال کنید. لطفا `INSTALL`` از این بسته را مشاهده کنید`.
+ نصب نسخه اخیر `ctypes` اگر شما آن را در حال حاضر ندارد (اگر شما پایتون 2.5 شما لازم نیست آن را نصب کنید جداگانه).
+ PySWIP پشتیبانی distutils، بنابراین پس از مراحل قبلی راضی هستند، فقط انجام دهید: `پایتون install` setup.py.
+ برای آزمایش، انجام موارد زیر در پوسته ::
$ پایتون
[... اطلاعات پایتون ...]
>>> از pyswip.util واردات PrologRunner
>>> پرولوگ = PrologRunner ()
>>> prolog.query ("assertz (پدر (مایکل، جان))")
[{}]
اگر شما یک خطا، مانند گرفتن "libpl (مشترک) یافت نمی شود." یا "خطای مهلک: منابع یافت نشد" مطمئن شوید که شما SWI-Prolog بصورت یک کتابخانه سهم نصب شده است. برای `` libpl.so`` بررسی مسیر کتابخانه به طور پیش فرض خود را (معمولا `` مسیر / usr / lib``).
چه جدید در این نسخه:
· PySWIP نمی خواهد در (ID از) دسته عمل کننده از "= / 2" تکیه می کنند.
· پچ اجازه می دهد تا PySWIP به کار در سیستم عامل مک X گنجانیده شده بود.
نظر یافت نشد