PySWIP

application PySWIP est un pont Python / SWI-Prolog qui vous permet d'interroger en utilisant prologue SWI-Prolog dans vos programmes Python.
Exigences:
· Python 2.3 et supérieur (le plus probablement d'autres versions seront également travailler).
· Ctypes 0.9.9.9 et supérieur (le plus probablement d'autres versions seront également travailler).
· SWI-Prolog 5.6.x et supérieur (le plus probablement d'autres versions seront également travailler).
· Libpl comme une bibliothèque partagée.
· Testé uniquement sur Linux, devrait être de travailler pour d'autres POSIX et Win32.
Installation:
PySWIP devrait fonctionner sur les systèmes Win32, mais cela n'a pas été testé. Les instructions ci-dessous sont pour les systèmes POSIX.
+ Tout d'abord, vous devez avoir la libpl de SWI-Prolog comme une bibliothèque partagée, par exemple, `` libpl.so``, `` libpl.so.5.6.34``, etc. SWI-Prolog est pas compilé par défaut pour permettre à la bibliothèque partagée, si vous avez besoin de compiler vous-même avec la production de la bibliothèque partagée activé. S'il vous plaît voir `` INSTALL`` de ce paquet.
+ Installer une version récente de `ctypes` si vous ne l'avez pas déjà (si vous avez Python 2.5 vous ne devez l'installer séparément).
+ PySWIP soutient distutils, donc après les étapes précédentes sont remplies, il suffit de faire: `setup.py install` python.
+ Pour tester, faire ce qui suit à la coquille ::
$ Python
[... Info python ...]
>>> From pyswip.util importation PrologRunner
>>> Prologue = PrologRunner ()
>>> Prolog.query ("assertz (père (Michael, john))")
[{}]
Si vous obtenez une erreur, tels que "libpl (partagé) introuvable." ou "FATAL ERROR: Resource Not Found" être sûr que vous avez installé SWI-Prolog comme une bibliothèque de parts. Vérifiez votre répertoire de la bibliothèque par défaut (généralement `` / usr / lib``) pour `` libpl.so``.
Quoi de neuf dans cette version:
· PySWIP sera pas compter sur le (id de la) poignée de foncteur de "= / 2".
· Un patch pour permettre PySWIP de travailler sur Mac OS X a été constituée.