PySWIP

ứng dụng PySWIP là một cầu Python / SWI-Prolog cho phép bạn truy vấn trong prolog sử dụng SWI-Prolog trong các chương trình Python của bạn.
Yêu cầu:
· Python 2.3 và cao hơn (có lẽ hầu hết các phiên bản khác cũng sẽ làm việc).
· Ctypes 0.9.9.9 và cao hơn (có lẽ hầu hết các phiên bản khác cũng sẽ làm việc).
· SWI-Prolog 5.6.x và cao hơn (có lẽ hầu hết các phiên bản khác cũng sẽ làm việc).
· Libpl như một thư viện chia sẻ.
· Thử nghiệm chỉ trên Linux, nên được làm việc cho POSIX khác và Win32.
Cài đặt:
PySWIP nên làm việc trên hệ thống Win32, nhưng điều này không được kiểm tra. Các hướng dẫn dưới đây là dành cho các hệ thống POSIX.
+ Trước hết, bạn cần phải có libpl SWI-Prolog như một thư viện chia sẻ, ví dụ, `` libpl.so``, `` libpl.so.5.6.34``, vv SWI-Prolog không được biên dịch bởi mặc định để enable chia sẻ thư viện, vì vậy bạn cần phải biên dịch nó cho mình với chia sẻ sản xuất thư viện được kích hoạt. Vui lòng xem `` INSTALL`` của gói này.
+ Cài đặt một phiên bản mới của `ctypes` nếu bạn không có nó đã có (nếu bạn có Python 2.5 bạn không cần phải cài đặt nó một cách riêng biệt).
+ PySWIP hỗ trợ distutils, vì vậy sau khi các bước trước đó là hài lòng, chỉ cần làm: `python setup.py install`.
+ Để kiểm tra, làm như sau vào trình bao ::
$ Python
[... Thông tin python ...]
>>> Từ pyswip.util nhập khẩu PrologRunner
>>> Prolog = PrologRunner ()
>>> Prolog.query ("assertz (cha (michael, john))")
[{}]
Nếu bạn nhận được một lỗi, chẳng hạn như "libpl (chia sẻ) không tìm thấy." hoặc "ERROR Fatal: Tài nguyên không tìm thấy" chắc chắn rằng bạn đã cài đặt SWI-Prolog như một thư viện chia sẻ. Kiểm tra thư mục thư viện mặc định của bạn (thường là `` / usr / lib``) cho `` libpl.so``.
Có gì mới trong phiên bản này:
· PySWIP sẽ không dựa vào (id của) functor xử lý của "= / 2".
· Một miếng vá cho phép PySWIP để làm việc trên Mac OS X đã được kết hợp.