GNU Prolog (32-bit) 1.4.3

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

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

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

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

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

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

Χαρακτηριστικά:

- Συμμορφώνεται με το πρότυπο ISO για πρόλογο

- Εγκατάσταση επεξεργασίας γραμμής υπό διαδραστικό διερμηνέα με συμπλήρωση σε άτομα

- Αμφίδρομη διεπαφή μεταξύ προλόγου και C

- Μεταγλωττιστής εγγενούς κώδικα που παράγει αυτόνομα εκτελέσιμα

- Απλός μεταγλωττιστής γραμμής εντολών που δέχεται διάφορα αρχεία

- Προκαθορισμένοι περιορισμοί: αριθμητικοί περιορισμοί, Boolean περιορισμοί, συμβολικοί περιορισμοί, πραγματοποιημένοι περιορισμοί.

- Προκαθορισμένα ευρετικά απαρίθμησης.

- Νέοι περιορισμοί που καθορίζονται από το χρήστη

Συνοψίζοντας:

Αν ψάχνετε για έναν ισχυρό αλλά δωρεάν μεταγλωττιστή προλόγου με επίλυση περιορισμών σε πεπερασμένους τομείς, τότε μην κοιτάξετε πέρα ​​από τον πρόλογο GNU 32-bit! Με το μικρό του μέγεθος αλλά και τις εντυπωσιακές δυνατότητες απόδοσης σε συνδυασμό με μια διαισθητική διεπαφή χρήστη κάνουν αυτό το πρόγραμμα τέλειο όχι μόνο για αρχάριους αλλά και για έμπειρους προγραμματιστές!