PySWIP

PySWIP Anwendung ist ein Python / SWI-Prolog-Brücke, die Sie in Prolog Abfrage mit SWI-Prolog in Ihrer Python-Programmen ermöglicht.
Bedarf:
· Python 2.3 und höher (am wahrscheinlichsten anderen Versionen wird auch funktionieren).
· Ctypes 0.9.9.9 und höher (am wahrscheinlichsten anderen Versionen wird auch funktionieren).
· SWI-Prolog 5.6.x und höher (am wahrscheinlichsten anderen Versionen wird auch funktionieren).
· Libpl als gemeinsam genutzte Bibliothek.
· Getestet nur auf Linux, sollten für andere POSIX und Win32 arbeiten.
Installation:
PySWIP sollte auf Win32-Systemen arbeiten, aber dies wird nicht getestet. Die folgenden Anweisungen gelten für die POSIX-Systemen.
+ Zunächst einmal müssen Sie die SWI-Prolog libpl als gemeinsam genutzte Bibliothek, zum Beispiel `` libpl.so``, `` haben libpl.so.5.6.34`` usw. SWI-Prolog wird von kompilierten standardmäßig freigegebenen Bibliothek ermöglichen, so müssen Sie es selbst kompilieren mit Shared Library Produktion freigegeben benötigen. Bitte beachten Sie `` INSTALL`` dieses Pakets.
+ Installieren Sie eine neuere Version des `ctypes`, wenn Sie nicht bereits haben (wenn Sie Python 2.5 haben Sie nicht brauchen, um es separat installieren).
+ PySWIP unterstützt distutils, so, nachdem die vorherigen Schritte nicht zufrieden sind, tun Sie: `python setup.py install`.
+ Um zu testen, gehen Sie wie folgt an der Shell ::
$ Python
[... Python Infos ...]
>>> Von pyswip.util import PrologRunner
>>> Prolog = PrologRunner ()
>>> Prolog.query ("assertz (Vater (Michael, john))")
[{}]
Wenn Sie einen Fehler, wie zu bekommen "libpl (gemeinsam) nicht gefunden." oder "FATAL ERROR: nicht gefunden Ressource" sicher sein, Sie SWI-Prolog als Anteil Bibliothek installiert haben. Überprüfen Sie Ihre Standard-Bibliotheksverzeichnis (in der Regel `` / usr / lib``) für `` libpl.so``.
Was ist neu in dieser Version:
· PySWIP erscheint nicht auf dem (id des) functor Griff "= / 2" verlassen.
· Ein Patch, damit PySWIP auf Mac OS X arbeiten, wurde eingearbeitet.