GNU Prolog (64-bit) 1.4.3

Το GNU Prolog (64-bit) είναι ένας ισχυρός και δωρεάν μεταγλωττιστής Prolog που προσφέρει επίλυση περιορισμών σε πεπερασμένους τομείς. Αυτό το λογισμικό έχει σχεδιαστεί για προγραμματιστές που πρέπει να δημιουργήσουν πολύπλοκα προγράμματα με ευκολία. Το GNU Prolog δέχεται το Prolog με προγράμματα περιορισμού και παράγει εγγενή δυαδικά αρχεία, καθιστώντας το αυτόνομο και αποτελεσματικό.

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

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

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

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

Οι προκαθορισμένοι περιορισμοί περιλαμβάνουν αριθμητικούς περιορισμούς όπως πρόσθεση και αφαίρεση. Boolean περιορισμοί όπως AND/OR. συμβολικοί περιορισμοί όπως ταίριασμα συμβολοσειρών. Πραγματοποιημένοι περιορισμοί που σας επιτρέπουν να εκφράσετε λογικές συνθήκες χρησιμοποιώντας Boolean τελεστές. προκαθορισμένα ευρετικά απαρίθμησης που σας βοηθούν να βρείτε λύσεις γρήγορα εξερευνώντας διάφορες δυνατότητες συστηματικά.

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

Συνοψίζοντας, αν ψάχνετε για ένα ισχυρό αλλά δωρεάν εργαλείο που σας επιτρέπει να δημιουργείτε πολύπλοκα προγράμματα εύκολα ενώ συμμορφώνονται αυστηρά με τα βιομηχανικά πρότυπα, τότε μην κοιτάξετε πέρα ​​από τον πρόλογο GNU!