GNU Prolog είναι ένα δωρεάν πρόγραμμα μεταγλώττισης Prolog με περιορισμό επίλυση πάνω από πεπερασμένα πεδία. GNU Prolog δέχεται Prolog με τα προγράμματα περιορισμού και παράγει εγγενών εκτελέσιμων (όπως GCC κάνει από μία πηγή C). Το λαμβανόμενο εκτελέσιμο συνέχεια stand-alone. Το μέγεθος αυτής της εκτελέσιμο μπορεί να είναι μικρή, δεδομένου GNU Prolog μπορεί να αποφύγει τη σύνδεση τον κωδικό του πιο αχρησιμοποίητο ενσωματωμένα κατηγορήματα. Οι παραστάσεις του GNU Prolog είναι πολύ ενθαρρυντικά (συγκρίσιμη με τα εμπορικά συστήματα). Εκτός από τη σύνταξη εγγενή κώδικα, GNU Prolog προσφέρει μια κλασική διερμηνέα (top-level) με ένα πρόγραμμα εντοπισμού σφαλμάτων.
Το τμήμα Prolog συμμορφώνεται με το πρότυπο ISO για την Prolog με πολλές προεκτάσεις πολύ χρήσιμο στην πράξη (καθολικές μεταβλητές, διεπαφή OS, και υποδοχές). GNU Prolog περιλαμβάνει επίσης έναν αποτελεσματικό περιορισμό λύτης πάνω πεπερασμένων πεδίων (FD). Αυτό ανοίγει περιορισμό λογικής προγραμματισμού για το χρήστη που συνδυάζει τη δύναμη του προγραμματισμού με περιορισμούς στην declarativity του λογικού προγραμματισμού. Τα χαρακτηριστικά γνωρίσματα περιλαμβάνουν συμμορφώνεται με το πρότυπο ISO για την Prolog, εγκατάσταση επεξεργασίας γραμμή κάτω από το διαδραστικό διερμηνέας με την ολοκλήρωση σε άτομα, αμφίδρομη διεπαφή μεταξύ Prolog και C, εγγενή κώδικα compiler παράγει αυτόνομα εκτελέσιμα, απλή γραμμή εντολών μεταγλώττισης δέχεται μια ποικιλία αρχείων, προκαθορισμένες περιορισμούς:. αριθμητική περιορισμούς, Boolean περιορισμούς, συμβολική περιορισμούς, και πραγμοποιείται περιορισμούς, προκαθορισμένες heuristics απαρίθμηση, και ο χρήστης μπορεί να καθορίσει τη δική του νέα περιορισμούς
Τα σχόλια δεν βρέθηκε