PySWIP

applicazione PySWIP è un ponte Python / SWI-Prolog che consente di interrogare in prologo con SWI-Prolog nei vostri programmi Python.
Requisiti:
· Python 2.3 e versioni successive (molto probabilmente altre versioni saranno anche il lavoro).
· Ctypes 0.9.9.9 e superiore (altre versioni molto probabilmente funzionerà anche).
· SWI-Prolog 5.6.x e più alto (più probabilmente altre versioni saranno anche il lavoro).
· Libpl come una libreria condivisa.
· Testata solo su Linux, dovrebbe funzionare per altri POSIX e Win32.
Installazione:
PySWIP dovrebbe funzionare su sistemi Win32, ma questo non è testato. Le istruzioni che seguono sono per sistemi POSIX.
+ Prima di tutto, è necessario disporre di libpl di SWI-Prolog come una libreria condivisa, per esempio, `` libpl.so``, `` libpl.so.5.6.34``, ecc SWI-Prolog non è compilato da difetto di abilitazione libreria condivisa, quindi è necessario compilarlo da soli con la produzione di libreria condivisa abilitato. Vedere `` INSTALL`` di questo pacchetto.
+ Installare una versione recente di `ctypes` se non lo avete già (se si dispone di Python 2.5 non è necessario installarlo separatamente).
+ PySWIP supporta distutils, così dopo i passaggi precedenti sono soddisfatti, basta fare: `python setup.py install`.
+ Per testare, eseguire le seguenti operazioni in corrispondenza dello scafo ::
$ Python
[... Info pitone ...]
>>> Da pyswip.util importazione PrologRunner
>>> Prolog = PrologRunner ()
>>> Prolog.query ("assertz (padre (michael, john))")
[{}]
Se si verifica un errore, ad esempio "libpl (comune) non trovato." o "ERRORE FATALE: non risorsa trovato" assicurati di aver installato SWI-Prolog come una libreria quota. Controlla la tua directory di libreria di default (di solito `` / usr / lib``) per `` libpl.so``.
Cosa c'è di nuovo in questo rilascio:
· PySWIP non si avvarrà della (id del) manico funtore di "= / 2".
· Una patch per consentire PySWIP a lavorare su Mac OS X è stato accolto.