X-Prolog

Το X-Prolog είναι ένα ελαφρύ σύστημα Prolog που προορίζεται να διευκολύνει τον προγραμματισμό στο Prolog στο Android. Η εφαρμογή εκτελεί προγράμματα Prolog σε προβολή κειμένου, προβολή ιστού ή ως συνδεδεμένη υπηρεσία σε μια εφαρμογή πελάτη. Ένα δείγμα πελάτη είναι διαθέσιμο στη διεύθυνση https://github.com/xprolog/sample-client.

Λάβετε υπόψη ότι το Google Play περιορίζει τη χρήση της άδειας πρόσβασης όλων των αρχείων σε εφαρμογές που στοχεύουν Android 11 ή μεταγενέστερη έκδοση. Για να εγκαταστήσετε το X-Prolog με δικαίωμα πρόσβασης όλων των αρχείων, ανατρέξτε στη διεύθυνση https://github.com/xprolog/xp/releases.

έχετε εργαλείο;

Η εφαρμογή εξαρτάται από εργαλεία που ορίζονται από τον χρήστη για την επεξεργασία και την κατασκευή έργων. Τα εργαλεία είναι γραμμένα σε Prolog και είναι ορατά σε συσκευές με επιλογές προγραμματιστή. Η εφαρμογή και τα εργαλεία ανταλλάσσουν δεδομένα μέσω μεταβλητών μεταφοράς και μορφοποιημένης εξόδου. Αυτή η έκδοση περιλαμβάνει ασήμαντα εργαλεία που προορίζονται να επιδείξουν τη δυνατότητα εργαλείων της εφαρμογής.

Η εφαρμογή ορίζει σημεία επέκτασης στα οποία είναι διαθέσιμες οι μεταβλητές μεταφοράς (σε εργαλεία) και αναγνωρίζεται η μορφοποιημένη έξοδος (από εργαλεία). Ένα εργαλείο μπορεί να διαμορφωθεί ώστε να συνεισφέρει σε ένα ή περισσότερα σημεία επέκτασης καθορίζοντας έναν όρο περιβάλλοντος.

Ένας όρος περιβάλλοντος είναι όρος ανάγνωσης της μορφής

context(Name, FileTypes, Priority)

, όπου

Name

είναι το όνομα ενός σημείου επέκτασης,

FileTypes

είναι μια λίστα αποδεκτών τύπων αρχείων και η

Προτεραιότητα

είναι ένας ακέραιος αριθμός όχι μικρότερος από το μηδέν, η σημασία του οποίου ποικίλλει ανάλογα με το σημείο επέκτασης.

Αυτή η έκδοση ορίζει τρία σημεία επέκτασης:

build, edit

και

reconcile

, τα οποία επιτρέπουν στα εργαλεία να συνεισφέρουν, αντίστοιχα, στη δημιουργία έργων, στην επεξεργασία αρχείων πηγής και στη συμφωνία μοντέλων πηγής.

Για να δημιουργήσετε ένα έργο, ανοίξτε ένα αρχείο στον επάνω κατάλογο του έργου και κάντε κλικ στο

Δημιουργία

. Για να εξαγάγετε το έργο σε ένα αρχείο αντικειμένων με δυνατότητα εκτέλεσης στο τοπικό σύστημα αρχείων, κάντε κλικ στην επιλογή

Εξαγωγή

. Για να εκτελέσετε το αρχείο αντικειμένου, κάντε κλικ στο

Εκτέλεση

.

Ένα αρχείο θεωρείται αρχείο προέλευσης εάν υπάρχουν ένα ή περισσότερα εργαλεία που δημιουργούν το αρχείο, μετατρέποντάς το πιθανώς σε άλλο αρχείο προέλευσης. Αυτή η έκδοση περιλαμβάνει ένα μεμονωμένο εργαλείο δημιουργίας, το

Compile

, το οποίο μεταφράζει ένα αρχείο προέλευσης Prolog (.pl) σε αρχείο γρήγορης φόρτωσης (.ql).

Τα γνωστά ζητήματα περιλαμβάνουν έλεγχο συμβάντων, προβολή λογικής ενημέρωσης, αποδιδόμενες μεταβλητές μεταξύ άλλων.