PySWIP

εφαρμογή PySWIP είναι μια γέφυρα Python / SWI-Prolog που σας επιτρέπει να αναζητάτε σε προλόγου χρησιμοποιώντας SWI-Prolog σε προγράμματα Python σας.
Απαιτήσεις:
· Python 2.3 και άνω (πιθανότατα άλλες εκδόσεις θα λειτουργήσουν επίσης).
· Ctypes 0.9.9.9 και υψηλότερα (πιθανότατα άλλες εκδόσεις θα λειτουργήσουν επίσης).
· SWI-Prolog 5.6.x και υψηλότερα (πιθανότατα άλλες εκδόσεις θα λειτουργήσουν επίσης).
· Libpl ως κοινή βιβλιοθήκη.
· Δοκιμαστεί μόνο σε Linux, θα πρέπει να εργάζονται για άλλα POSIX και Win32.
Εγκατάσταση:
PySWIP πρέπει να δουλεύει σε συστήματα Win32, αλλά αυτό δεν έχει δοκιμαστεί. Οι παρακάτω οδηγίες είναι για συστήματα POSIX.
+ Πρώτα απ 'όλα, θα πρέπει να έχετε libpl SWI-Prolog ως κοινή βιβλιοθήκη, π.χ., `` libpl.so``, `` libpl.so.5.6.34``, κλπ SWI-Prolog δεν καταρτίζονται από προεπιλογή να επιτρέπουν κοινόχρηστη βιβλιοθήκη, έτσι πρέπει να το υπολογίσουν τον εαυτό σας με ενεργοποιημένη κοινή παραγωγή της βιβλιοθήκης. Παρακαλούμε δείτε `` INSTALL`` αυτού του πακέτου.
+ Εγκαταστήστε μια πρόσφατη έκδοση του `ctypes` αν δεν το έχετε ήδη (αν έχετε την Python 2.5 δεν χρειάζεται να το εγκαταστήσετε ξεχωριστά).
+ PySWIP υποστηρίζει distutils, έτσι ώστε μετά από τα προηγούμενα βήματα είναι ικανοποιημένοι, απλά κάνετε: `python setup.py install`.
+ Για να ελέγξετε, κάντε τα εξής στο κέλυφος ::
$ Python
[... Info Python ...]
>>> Από pyswip.util PrologRunner εισαγωγής
>>> Προλόγου = PrologRunner ()
>>> Prolog.query ("assertz (πατέρα (Μιχαήλ, Ιωάννης))")
[{}]
Εάν παίρνετε ένα λάθος, όπως "libpl (από κοινού) δεν βρέθηκε." ή "Μοιραίο λάθος: δεν Πόρων βρέθηκε" να είστε σίγουροι ότι έχετε εγκαταστήσει SWI-Prolog ως βιβλιοθήκη μετοχή. Ελέγξτε προεπιλεγμένο κατάλογο της βιβλιοθήκης σας (συνήθως `` / usr / lib``) για την `` libpl.so``.
Τι νέο υπάρχει σε αυτήν την έκδοση:
· PySWIP δεν θα επικαλεστεί την (id του) λαβή functor του "= / 2".
· Ένα patch για να επιτρέψει PySWIP να εργαστούν για Mac OS X κρατείται.