GNU Prolog (32-bit)

Screenshot Λογισμικό:
GNU Prolog (32-bit)
Στοιχεία Λογισμικού:
Εκδοχή: 1.4.3
Ανεβάστε ημερομηνία: 23 Jan 15
Προγραμματιστής: Daniel Diaz
Άδεια: Δωρεάν
Δημοτικότητα: 151
Μέγεθος: 4592 Kb

Rating: 1.0/5 (Total Votes: 2)

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 απαρίθμηση, και ο χρήστης μπορεί να καθορίσει τη δική του νέα περιορισμούς

Υποστηριζόμενα συστήματα λειτουργίας

Παρόμοια λογισμικά

Hollywood
Hollywood

28 May 15

Ozexe
Ozexe

25 Oct 15

pdScript
pdScript

25 Jan 15

Άλλο λογισμικό του προγραμματιστή Daniel Diaz

Σχόλια για GNU Prolog (32-bit)

Τα σχόλια δεν βρέθηκε
προσθήκη σχολίου
Ενεργοποιήστε τις εικόνες!
Αναζήτηση ανά κατηγορία