GNU Prolog (64-bit)

Περιγραφή

Το GNU Prolog είναι ένας δωρεάν μεταγλωττιστής Prolog με επίλυση περιορισμών σε πεπερασμένους τομείς. Το GNU Prolog δέχεται το Prolog με προγράμματα περιορισμού και παράγει εγγενή δυαδικά αρχεία (όπως το gcc από μια πηγή C). Το εκτελέσιμο που λαμβάνεται είναι στη συνέχεια αυτόνομο. Το μέγεθος αυτού του εκτελέσιμου αρχείου μπορεί να είναι μικρό, καθώς το GNU Prolog μπορεί να αποφύγει τη σύνδεση του κώδικα των περισσότερων ενσωματωμένων κατηγορημάτων που δεν χρησιμοποιούνται. Οι επιδόσεις του GNU Prolog είναι πολύ ενθαρρυντικές (συγκρίσιμες με εμπορικά συστήματα). Εκτός από τη συλλογή εγγενούς κώδικα, το GNU Prolog προσφέρει έναν κλασικό διερμηνέα (ανώτερου επιπέδου) με έναν εντοπισμό σφαλμάτων.

Το τμήμα Prolog συμμορφώνεται με το πρότυπο ISO για την Prolog με πολλές επεκτάσεις πολύ χρήσιμες στην πράξη (καθολικές μεταβλητές, διεπαφή λειτουργικού συστήματος και υποδοχές). Το GNU Prolog περιλαμβάνει επίσης μια αποτελεσματική λύση περιορισμών σε πεπερασμένους τομείς (FD). Αυτό ανοίγει τον λογικό προγραμματισμό περιορισμών στον χρήστη συνδυάζοντας τη δύναμη του προγραμματισμού περιορισμών με τη δηλωτικότητα του λογικού προγραμματισμού. Τα χαρακτηριστικά περιλαμβάνουν συμμόρφωση με το πρότυπο ISO για Prolog, δυνατότητα επεξεργασίας γραμμής κάτω από τον διαδραστικό διερμηνέα με ολοκλήρωση σε άτομα, διεπαφή αμφίδρομης σύνδεσης μεταξύ Prolog και C, μεταγλωττιστής εγγενούς κώδικα που παράγει αυτόνομα εκτελέσιμα, απλός μεταγλωττιστής γραμμής εντολών που δέχεται μια ποικιλία αρχείων, προκαθορισμένα περιορισμοί: αριθμητικοί περιορισμοί, Boolean περιορισμοί, συμβολικοί περιορισμοί και πραγματοποιημένοι περιορισμοί, προκαθορισμένα ευρετικά απαρίθμησης και ο χρήστης μπορεί να ορίσει τους δικούς του νέους περιορισμούς.