PySWIP

aplicare PySWIP este un pod Python / SWI-Prolog, care vă permite să interogare în Prolog folosind SWI-Prolog în programele Python.
Cerinte:
· Python 2.3 și mai mare (cel mai probabil alte versiuni vor lucra, de asemenea).
· Ctypes 0.9.9.9 și mai mare (cel mai probabil alte versiuni vor lucra, de asemenea).
· SWI-Prolog 5.6.x și mai mare (cel mai probabil alte versiuni vor lucra, de asemenea).
· Libpl ca o bibliotecă partajată.
· Testat doar pe Linux, ar trebui să fie de lucru pentru alte POSIX și Win32.
Instalare:
PySWIP ar trebui să funcționeze pe sisteme Win32, dar acest lucru nu este testat. Instrucțiunile de mai jos sunt pentru sisteme POSIX.
+ Mai întâi de toate, trebuie să aveți libpl SWI-Prolog ca o bibliotecă partajată, de exemplu, `` libpl.so``, `` libpl.so.5.6.34``, etc. SWI-Prolog nu este realizat de implicit, pentru a permite bibliotecă partajată, deci trebuie să-l compilați-vă cu permis de producție bibliotecă partajată. Vă rugăm să consultați `` INSTALL`` a acestui pachet.
+ Instalați o versiune recentă de `ctypes` dacă nu îl aveți deja (dacă aveți Python 2.5 nu aveți nevoie să-l instalați separat).
+ PySWIP sprijină distutils, astfel încât după pașii anteriori sunt îndeplinite, nu doar: `python setup.py install`.
+ Pentru a testa, efectuați următoarele la shell ::
$ Python
[... Informatii python ...]
>>> Din pyswip.util PrologRunner import
>>> Prolog = PrologRunner ()
>>> Prolog.query ("assertz (tatal (Michael, john))")
[{}]
Dacă primiți o eroare, cum ar fi "libpl (comun) nu a fost găsit." sau "FATAL ERROR: nu resursă găsit" asigurați-vă că ați instalat SWI-Prolog ca o bibliotecă pondere. Verificați directorul bibliotecii implicit (de obicei `` / usr / lib``) pentru `` libpl.so``.
Ce este nou în această versiune:
· PySWIP nu se va baza pe (id-ul) mânerului functorul de "= / 2".
· Un plasture pentru a permite PySWIP să lucreze pe Mac OS X a fost reținut.