GNU Prolog είναι μια δωρεάν Prolog compiler με περιορισμό την επίλυση με πεπερασμένα πεδία που αναπτύχθηκε από τον Daniel Diaz. GNU Prolog δέχεται Prolog περιορισμό προγράμματα και παράγει native δυαδικά αρχεία (όπως ο gcc από C προέλευσης). Το παραγόμενο εκτελέσιμο αρχείο είναι στη συνέχεια, stand-alone.
Το μέγεθος του αυτό το εκτελέσιμο μπορεί να είναι αρκετά μικρό, αφού GNU Prolog να αποφύγετε να συνδέσετε τον κώδικα πιο αχρησιμοποίητο ενσωματωμένα κατηγορήματα. Οι παραστάσεις του GNU Prolog είναι πολύ ενθαρρυντικά (συγκρίσιμη με τα εμπορικά συστήματα). Δίπλα από την εγγενή κώδικα κατάρτιση, GNU Prolog προσφέρει μια κλασική διαδραστικός διερμηνέας (top-level) με ένα πρόγραμμα εντοπισμού σφαλμάτων.
Η Prolog μέρος συμμορφώνεται με το πρότυπο ISO για την Prolog με πολλές επεκτάσεις πολύ χρήσιμο στην πράξη (global μεταβλητές, OS interface, sockets).GNU Prolog περιλαμβάνει επίσης ένα αποτελεσματικό περιορισμό επίλυση με Πεπερασμένα πεδία (FD). Αυτό ανοίγει contraint λογικού προγραμματισμού για το χρήστη που συνδυάζει τη δύναμη του προγραμματισμού περιορισμών στην declarativity του λογικού προγραμματισμού.
Κύρια χαρακτηριστικά γνωρίσματα:
- Prolog σύστημα:
- συμμορφώνεται με το πρότυπο ISO για την Prolog (floating point αριθμούς, ρεύματα, δυναμικό κώδικα).
- πολλές επεκτάσεις: global μεταβλητές, definite clause grammars (DCG), υποδοχές διασύνδεσης, περιβάλλον λειτουργικού συστήματος
- περισσότερα από 300 Prolog ενσωματωμένα κατηγορήματα.
- Prolog πρόγραμμα εντοπισμού σφαλμάτων και χαμηλού επιπέδου WAM πρόγραμμα εντοπισμού σφαλμάτων.
- γραμμή επεξεργασίας για τις εγκαταστάσεις κάτω από το διαδραστικό διερμηνέα με την ολοκλήρωση άτομα.
- ισχυρή αμφίδρομη διεπαφή μεταξύ Prolog και C.
- Compiler:
- εγγενή κώδικα του μεταγλωττιστή να παράγει αυτόνομο εκτελέσιμα αρχεία.
- απλό command-line μεταγλωττιστής δέχεται μια μεγάλη ποικιλία αρχείων: Prolog αρχεία, αρχεία Γ, WAM αρχεία,...
- άμεση γενιά συνέλευση κώδικα και 15 φορές πιο γρήγορα από ό, wamcc gcc.
- οι περισσότεροι από αχρησιμοποίητες ενσωματωμένα κατηγορήματα δεν συνδέονται (να μειώσει το μέγεθος των εκτελέσιμων).
- καταρτίζονται κατηγορήματα (native-κώδικα), όσο πιο γρήγορα wamcc κατά μέσο όρο.
- διαβούλευση με κατηγορήματα (byte-code) 5 φορές πιο γρήγορα από ό, wamcc.
- Περιορισμός solver:
- FD μεταβλητές ενσωματωθεί με την Prolog περιβάλλον (πλήρης συμβατότητα με Prolog μεταβλητές και ακέραιοι). Δεν υπάρχει ανάγκη για ρητή FD δηλώσεις.
- πολύ αποτελεσματικό FD solver (συγκρίσιμη με την εμπορική λύτες).
- υψηλού επιπέδου περιορισμών μπορεί να περιγραφεί από την άποψη του απλού αρχέτυπα.
- πολλές προκαθορισμένες περιορισμούς: αριθμητική περιορισμούς, boolean περιορισμούς, συμβολική περιορισμούς, πραγμοποιημένη περιορισμούς,...
- αρκετές προκαθορισμένες απαρίθμηση ιδιοκατασκευές.
- ο χρήστης μπορεί να καθορίσει το δικό νέους περιορισμούς.
- περισσότερα από 50 FD ενσωματωμένο περιορισμοί/κατηγορήματα.
Σχόλια