Logtalk

Screenshot Λογισμικό:
Logtalk
Στοιχεία Λογισμικού:
Εκδοχή: 3.38 επικαιροποιημένο
Ανεβάστε ημερομηνία: 4 May 20
Προγραμματιστής: Logtalk
Άδεια: Δωρεάν
Δημοτικότητα: 25
Μέγεθος: 20008 Kb

Rating: 4.0/5 (Total Votes: 4)


        Το Logtalk είναι μια αντικειμενοστρεφής γλώσσα λογικής προγραμματισμού που μπορεί να χρησιμοποιήσει τις περισσότερες εφαρμογές Prolog ως μεταγλωττιστή back-end. Ως γλώσσα πολλαπλών παραδειγμάτων, το Logtalk περιλαμβάνει υποστήριξη τόσο για πρωτότυπα όσο και για κλάσεις, πρωτόκολλα (interfaces), προγραμματισμό βασισμένο σε συστατικά μέσω της σύνθεσης με βάση την κατηγορία, προγραμματισμός που βασίζεται σε γεγονότα και προγραμματισμό πολλαπλών σπειρωμάτων υψηλού επιπέδου.
    

Τι είναι καινούργιο σε αυτή την έκδοση:

* ΒΕΛΤΙΩΜΕΝΟ: Αποφύγετε την παραπλανητική εξαφάνιση των προειδοποιήσεων της οδηγίας «meta_predicate / 1» όταν η πραγματική μετα-κλήση δεν μοιράζεται μεταβλητές με κεφάλι ρήτρας.


* ΒΕΛΤΙΩΜΕΝΗ: Να επιτρέπεται η χρήση εκφράσεων lambda σε κανόνες γραμματικής χωρίς να απαιτείται ένα περιτύλιγμα `call // 1`.


* ΣΤΑΘΕΡΟ: Σφάλμα βελτιστοποίησης κατά τη σύνταξη ενός μετα-επιχειρήματος κλεισίματος όταν ο προκύπτων στόχος είναι μια κλήση σε ενσωματωμένο predicat Prolog λόγω της ενσωμάτωσης του ορισμού του χρήστη για την πρόβλεψη.


* FIXED: Βελτιστοποίηση σφάλματος κατά τη σύνταξη ενός μετα-επιχειρήματος κλεισίματος όταν ο προκύπτων στόχος είναι μια κλήση σε ένα κατασκεύασμα ελέγχου Prolog `: / 2`.

Τι νέο υπάρχει έκδοση 3.19:

* ΠΡΟΣΘΗΚΗ: Υποστήριξη για τον ορισμό επιπλέον Prolog ενσωματωμένων χαρακτήρων για χνούδι
ελέγχους στόχων που είναι πάντα αληθινά ή ψευδείς στα αρχεία προσαρμογέα χρησιμοποιώντας το
σύμβολο άγκιστρου `'$ lgt_candidate_tautology_or_falsehood_goal_hook' / 1`.


* ADDED: Αντικειμενική ιδιότητα `module` για αντικείμενα που προκύπτουν από τη σύνταξη
των ενοτήτων Prolog.


* ΠΡΟΣΘΗΚΗ: Σφάλμα ευκολίας που ρίχνει τις ενσωματωμένες μεθόδους `syntax_error / 1` και
`system_error / 0`. Αυτές οι μέθοδοι πετούν τυπικούς όρους εξαίρεσης "error / 2"
και είναι ισοδύναμες με μια σειρά των κλήσεων μεθόδου `context / 1` και` throw / 1`.


* REMOVED: Υποστήριξη για το Logtalk 2.x `calls / 1`,` uses / 1`, και
«alias / 3» οδηγίες.


* ΑΦΑΙΡΕΣΗ: Υποστήριξη για καταργημένη δομή ελέγχου Logtalk 2.x `: / 1`.


* ΑΦΑΙΡΕΣΗ: Υποστήριξη για την απόρριψη Logtalk 2.x `άγνωστο ',' singletons`,
`tmpdir` και` version` σημαίες μεταγλωττιστή.

Τι νέο υπάρχει στην έκδοση 3.14:

NEW: Υποστήριξη μεταβλητών _parameter_ παρέχοντας μια εναλλακτική λύση στο
`parameters / 2` και` this / 1` ενσωματωμένες μέθοδοι πρόσβασης στις παραμέτρους της οντότητας.
Οι μεταβλητές παραμέτρων είναι μεταβλητές που χρησιμοποιούνται στο παραμετρικό αναγνωριστικό οντότητας
που ξεκινούν και τελειώνουν με μια υπογράμμιση (`_VariableName_`). Οποιαδήποτε εμφάνιση
της μεταβλητής παραμέτρων σε μια ρήτρα οντότητας ενοποιείται σιωπηρά με το
οντότητα οντότητας. Αυτό επιτρέπει στις παραμέτρους της οντότητας να προστεθούν, να αναδιαμορφωθούν ή
χωρίς να απαιτούνται αλλαγές στις ρήτρες που αναφέρονται σε αυτές.
Οι μεταβλητές παραμέτρων υποστηρίζονται μόνο για τις παραμετρικές οντότητες που ορίζονται στο

Τι νέο υπάρχει στην έκδοση 3.13:

NEW: Υποστήριξη μεταγλωττιστή για εντοπισμό κλήσεων σε τοπικά static predates χωρίς αντίστοιχες ρήτρες )

Τι νέο υπάρχει στην έκδοση 3.11.1:

* ΒΕΛΤΙΩΜΕΝΕΣ: Προειδοποιητικά μηνύματα και μηνύματα σφαλμάτων για να τα καταστήσουν πιο ομοιόμορφα για να διευκολύνουν την ανάλυση από τους εκδότες και τους IDE και να αποφύγουν την εκτύπωση δυνητικά μεγάλων όρων.


* ΒΕΛΤΙΩΜΕΝΗ: Ο μεταγλωττιστής δεν χρειάζεται πλέον κλήσεις προς τη βάση δεδομένων και τα προγνωστικά ανακλάσεων όπου το πρώτο όρισμα είναι ένας όρος που μπορεί να τυλιχτεί με τον κατάλληλο κατά μονάδα τύπο χρησιμοποιώντας την κατασκευή ελέγχου παράκαμψης του μεταγλωττιστή `{} / 1`.


* ΒΕΛΤΙΩΜΕΝΗ: Έλεγχος σφαλμάτων του μεταγλωττιστή για κλήσεις βάσης δεδομένων και ανακλαστήρα, όπου το πρώτο όρισμα είναι ένας όρος κατάλληλος για την ενότητα.


* ΒΕΛΤΙΩΜΕΝΗ: Ελαχιστοποίηση του αριθμού επαναφορτιζόμενων αρχείων που ενεργοποιούνται από κλήσεις προς τα πρότυπα `logtalk_make / 0-1`.


* FIXED: Περίπτωση στην οποία τα «predictive_logalk_make / 0-1» θα αποτύχουν να επαναφορτώσουν ένα αρχείο του οποίου η σύνταξη δημιούργησε ένα σφάλμα μεταγλωττιστή.

Τι νέο υπάρχει στην έκδοση 3.11: p>

* ΑΛΛΑΓΗ: Το ενσωματωμένο πρόγευμα `current_event / 5` για να εμφανίζεται πάντα το πρώτο παράθυρο όταν ονομάζεται χωρίς σύνδεση.


* ΠΡΟΣΘΗΚΗ: Υποστήριξη για την υπέρβαση του προεπιλεγμένου καταλόγου γρατσουνιών, καθορίζοντας
το ψευδώνυμο της βιβλιοθήκης `scratch_directory` σε ένα αρχείο προετοιμασίας του πρωτοκόλλου Prolog
(θεωρείται ότι φορτώνεται πριν από τη φόρτωση του Logtalk). Μετά από συζήτηση με
Douglas R. Miles σχετικά με την υποστήριξη εγκατάστασης Logtalk σε έναν κατάλογο μόνο για ανάγνωση
και την εκτέλεση πολλαπλών στιγμιότυπων Logtalk ταυτόχρονα χωρίς σύγκρουση.


* ADDED: Μια «context / 1» ενσωματωμένη μέθοδος εκτέλεσης περιβάλλοντος για την παροχή πρόσβασης
σε ένα περιβάλλον εντολής εκτέλεσης κλήσεων. Χρησιμοποιείται κυρίως για την παροχή προεπιλογής
σφάλμα κατά την παράλυση τύπων που ελέγχουν τα ευρήματα.


* ΠΡΟΣΘΗΚΗ: Υποστήριξη για την εκτύπωση μηνυμάτων τύπου `debug` και` debug (_) `. Αυτά τα
τα μηνύματα εκτυπώνονται μόνο, από προεπιλογή, όταν είναι ενεργοποιημένη η σημαία `debug`.


* ΠΡΟΣΘΕΤΗ: Η ιδιότητα `περιλαμβάνει (Αρχείο)` στο `logtalk :: loaded_file_property / 2`
επιτρέπουν την απαρίθμηση, με επιστροφή, όλων των αρχείων που περιλαμβάνονται από το a
(με οδηγίες `include / 1`).

Τι νέο υπάρχει στην έκδοση 3.10.7:

* RENAMED: Ο στόχος `logtalk_make / 1`` missing 'για `check'.


* ΠΡΟΣΘΗΚΗ: Υποστήριξη για την επέκταση στόχων `logtalk_make / 1` με καθορισμένο από τον χρήστη
ενεργειών που χρησιμοποιούν το νέο predicate πολλών αρχείων `logallk_make_target_action / 1`.


* ΠΡΟΣΘΗΚΗ: Ο έλεγχος χνούδι για ταυτολογία και τους στόχους οντότητας ψεύδους.
Επί του παρόντος ελέγχονται οι κλήσεις προς ενοποίηση, σύγκριση και τύπο Prolog
δοκιμάζοντας ενσωματωμένα πρότυπα. Προτεινόμενη από τον Barry Evans.

Τι είναι καινούργιο στην έκδοση 3.10.5:

* FIXED: ενσωματωμένες μεθόδους.

* FIXED: Αποτυχία του μεταγλωττιστή που προκύπτει από την εφαρμογή ελέγχων φορητότητας σε κλήσεις σε ενσωματωμένα πρότυπα και λειτουργίες του Prolog που βρίσκονται σε βοηθητικές παραγράφους (συνήθως δημιουργούνται από τον μηχανισμό επέκτασης).

Τι νέο υπάρχει; strong> στην έκδοση 3.10.3:

* ΒΕΛΤΙΩΜΕΝΗ: Απλοποιημένος κώδικας που δημιουργήθηκε για πολυλειτουργικά πρότυπα.


* FIXED: Η παλινδρόμηση σε προηγούμενη έκδοση στη σύνταξη του πολλαπλών αρχείων

Τι νέο υπάρχει στην έκδοση 3.09.1:

* ΠΡΟΣΘΗΚΗ: Υποστήριξη για το αντικείμενο 'number_of_rules / 1` και `number_of_user_rules / 1`
και ιδιότητες κατηγορίας.


* ΠΡΟΣΘΗΚΗ: Υποστήριξη για την ιδιότητα «number_of_rules / 1» predicate.


* ΠΡΟΣΘΗΚΗ: Ανίχνευση των οδηγιών «meta_predicate / 1» που καθορίζουν λανθασμένα ένα στόχο
meta-argument που είναι στην πραγματικότητα ένα κλείσιμο που μεταβιβάζεται στο meta-predicate «call / 2-N»
κλήσεις. Χάρη στον Arun Majumdar για την έκθεση.


* ΠΡΟΣΘΗΚΗ: Ανίχνευση ελλείψεων οδηγιών πεδίου ευρεσιτεχνίας παρουσία
Οδηγίες `mode / 2`.

Τι νέο υπάρχει στην έκδοση 3.09.0:

* CHANGED: home directory
όταν δεν βρίσκεται στον κατάλογο εκκίνησης ή στον κατάλογο χρηστών Logtalk.
Η ρύθμιση της σημαίας `settings_file` στον περιορισμό` περιορίζει τώρα την αναζήτηση
ένα αρχείο ρυθμίσεων στον κατάλογο χρηστών Logtalk και στον οικείο κατάλογο χρήστη.
Αυτές οι αλλαγές είναι χρήσιμες όταν μια ομάδα μοιράζεται μια εγκατάσταση Logtalk και με τις δύο
οι μεταβλητές περιβάλλοντος LOGTALKHOME και LOGTALKUSER που δείχνουν το
τον ίδιο κατάλογο. Χάρη στον Barry Evans για την πρόταση

Τι νέο υπάρχει στην έκδοση 3.08.0:

* ΑΛΛΑΓΗ: Βεβαιωθείτε ότι στα σφάλματα μεταγλωττιστή και τα προειδοποιητικά μηνύματα οι πληροφορίες αρχείων και γραμμών είναι πάντα η τελευταία γραμμή για το αναφερόμενο ζήτημα.

Τι νέο υπάρχει στην έκδοση 3.07.0:

* ΠΡΟΣΘΗΚΗ: Μια σημαία "unicode" μόνο για ανάγνωση για την περιγραφή του μεταγλωττιστή Prolog
υποστήριξη για το πρότυπο Unicode.


* ΠΡΟΣΘΗΚΗ: Υποστήριξη για τα στιγμιότυπα `++` (ground) και `--` (unbound)
(που δηλώνονται ως τελεστές προθέματος) για χρήση με το πρότυπο `mode / 2`
διευθυντικός.


* ΠΡΟΣΘΕΤΗ: Υποστήριξη για προδιαγραφές προσδιορισμού «one_or_error» σε `mode / 2`
κατευθυντήριες οδηγίες. Χρήσιμο για την τεκμηρίωση των προτύπων ελέγχου τύπου.


* ΒΕΛΤΙΩΜΕΝΗ: Ανίχνευση προσπαθεί να καλέσει υπαρξιακά ποσοτικοποιημένους στόχους εκτός του
πεδίο των κλήσεων «bagof / 3» και «setof / 3».


* FIXED: Κατά τη σύνταξη των οδηγιών `uses / 2`, μην δημιουργείτε μια ρήτρα σύνδεσης για το
χρήση χρόνου εκτέλεσης για ενσωματωμένα ευρήματα σε «χρήστη» όταν δεν ορίζεται κάποιο ψευδώνυμο.


* FIXED: Όταν προβάλλετε μια αποτυχία της σύνταξης ενός αρχείου στα γονικά αρχεία,
βεβαιωθείτε ότι οι πρόγονοι του αρχείου θα επαναφορτωθούν ξεκινώντας από τον κορυφαίο πρόγονο
από το μηχανισμό κατασκευής.


* FIXED: Αποφύγετε την επαναφόρτωση αρχείων όταν καλείτε `logtalk_make / 0` ή
`logtalk_make / 1` με τον στόχο` all`.


* FIXED: Ανίχνευση χαμένων χαρακτήρων στις κλήσεις `^^ / 1` κατά την κλήση
`logtalk_make / 1` με τον στόχο` missing`.

* FIXED: Σφάλμα στο API αντανάκλασης, όπου υπάρχουν κάποιες αξιόπιστες παραπομπές
οι πληροφορίες δεν καταγράφηκαν. Χάρη στον Edward Schwartz για την αναφορά σφάλματος.

Τι νέο υπάρχει στην έκδοση 3.06.2:

Αυτή η έκδοση συνεχίζει τις εργασίες βελτίωσης των εργαλείων ανάπτυξης η χορηγία της Kyndi, Inc. Περιλαμβάνει μια νέα έκδοση του εργαλείου wrapper για τη μεταφορά απλών εφαρμογών Prolog και βελτιώσεων και διορθώσεων για τα εργαλεία lgtunit και διαγραμμάτων. Περιλαμβάνει επίσης νέες δοκιμές μονάδων, επιδιορθώσεις μεταγλωττιστή και τεκμηρίωσης και μια ενημερωμένη έκδοση συμβατότητας για το Lean Prolog.

Τι νέο υπάρχει στην έκδοση 3.04.1:

* FIXED: Σφάλμα μεταγλωττιστή όπου ένα predicate που επεκτάθηκε με όρους καλώντας τη μέθοδο 'compile_aux_clauses / 1` θα μπορούσε να αναφερθεί εσφαλμένα ως ασυμβίβαστη.


* FIXED: Οι κλήσεις στο ενσωματωμένο predicatate 'threaded_notify / 1` από το pseudo-object' χρήστη 'δεν πρέπει να απαιτούν δεσμευμένο όρισμα όπως στην τεκμηρίωση.


* FIXED: Οι κλήσεις προς τα ενσωματωμένα predicakty `object_property / 2` and category_property / 2` με ιδιότητες` number_of_clauses / 1` ή `number_of_user_clauses / 1` είναι καθοριστικά.

νέα στην έκδοση 3.03.0:

* ΠΡΟΣΘΗΚΗ: Υποστήριξη νέου στόχου `logtalk_make / 1`,` missing ', για την απαρίθμηση ελλειπουσών οντοτήτων και ευρετηρίων. Διατίθεται επίσης χρησιμοποιώντας τη συντόμευση `{?}`.

* ΠΡΟΣΘΗΚΗ: Υποστήριξη ενός νέου στόχου `logtalk_make / 1`, 'circular', για την απαρίθμηση των κυκλικών αναφορών (λαμβάνοντας υπόψη τους στόχους αποστολής μηνυμάτων) μεταξύ ζευγών και τριγώνων αντικειμένων. Διατίθεται επίσης χρησιμοποιώντας τη συντόμευση `{@}`.

* ΒΕΛΤΙΩΜΕΝΟ: Προσθέστε ένα hash καταλόγου στα ενδιάμεσα ονόματα αρχείων Prolog για να αποφύγετε τις συγκρούσεις ονόματος αρχείου κατά τη συλλογή όλων των ενδιάμεσων αρχείων στον ίδιο κατάλογο για την ενσωμάτωση. Επί του παρόντος απαιτεί ECLiPSe, GNU
Prolog, JIProlog, Quintus Prolog, SICStus Prolog, SWI-Prolog, XSB ή YAP ως τον μεταγλωττιστή backend.

* FIXED: Meta-predicate βελτιστοποίηση κλήσης σφάλμα όταν ένα μετα-επιχείρημα είναι είτε ένα προ-compiled κλείσιμο ή ένα κλείσιμο για ένα στόχο που ονομάζεται στο πλαίσιο της
'χρήστη' ψευδο-αντικείμενο. Επίσης, εφαρμόστε αυστηρότερο έλεγχο σφαλμάτων στο κλείσιμο μετα-παραμέτρων.

* FIXED: Αρκετή εκτύπωση των παραμετρικών αναγνωριστικών κατηγορίας αντικειμένων και παραμέτρων σε σφάλματα και προειδοποιητικά μηνύματα.

Τι νέο υπάρχει στην έκδοση 3.02.2:

* ΣΤΑΘΕΡΟ: Σφάλμα κατά την ανίχνευση σφαλμάτων σε εκφράσεις lambda χρησιμοποιώντας το `true / 0` ως λάμδα
στόχος. Χάρη στον Μπόρις Βασιλέφ για την αναφορά σφάλματος.


* FIXED: Το predicate 'logtalk_make / 1` θα επιτύχει (μετά την εκτύπωση μιας προειδοποίησης
μήνυμα) όταν ονομάζεται με ένα παράγων χωρίς παράσταση ή με ένα μη έγκυρο όρισμα αντί για
έλλειψη. στο
δημιουργούνται ενδιάμεσα αρχεία Prolog χρησιμοποιώντας ένα predicate πολλαπλών αρχείων για ένα καλύτερο
ενσωματώνοντας την εμπειρία. Συγκεκριμένα, καθιστά ευκολότερο να γίνεται αυξητική ενσωμάτωση.


* ΒΕΛΤΙΩΜΕΝΗ: Τα πρότυπα κάνουν τώρα επίσης να φορτώσετε τα γονικά αρχεία των αρχείων
σφάλματα σύνταξης ή φόρτωσης. Αυτό εξασφαλίζει ότι όταν ένα ελαττωματικό αρχείο ακυρώνει το
τη σύνταξη όλων των αρχείων σε ένα αρχείο φορτωτή, τα αρχεία που αναγράφονται μετά την ελαττωματική
το αρχείο θα συνταχθεί όταν το ελαττωματικό αρχείο είναι σταθερό και τα πρότυπα κάνουν

Τι νέο υπάρχει στην έκδοση 3.02.1:

* ΒΕΛΤΙΩΜΕΝΗ: Οι εγγραφές του πίνακα εκτέλεσης για φορτωμένα αρχεία προστίθενται τώρα στα δημιουργούμενα ενδιάμεσα αρχεία Prolog χρησιμοποιώντας ένα predicate πολλαπλών αρχείων για μια καλύτερη εμπειρία ενσωμάτωσης. Συγκεκριμένα, καθιστά ευκολότερο να γίνεται αυξητική ενσωμάτωση.
 * ΒΕΛΤΙΩΜΕΝΗ: Τα πρόβατα κάνουν τώρα επίσης να φορτώσετε εκ νέου τα γονικά αρχεία των αρχείων με σφάλματα κατά τη συμπλήρωση ή τη φόρτωση. Αυτό εξασφαλίζει ότι, όταν ένα ελαττωματικό αρχείο ακυρώνει την κατάρτιση όλων των αρχείων σε ένα αρχείο φορτωτή, τα αρχεία που αναγράφονται μετά το ελαττωματικό αρχείο θα συνταχθούν όταν το ελαττωματικό αρχείο είναι διορθωμένο και ονομάζονται τα πρόβατα της σειράς.

Τι νέο υπάρχει στην έκδοση 3.01.2:

Αυτή η έκδοση ολοκληρώνει την εφαρμογή στατικής σύνδεσης. προσθέτει υποστήριξη για τη χρήση ονομάτων αρχείων, όπως είναι με τα πρότυπα σύνταξης και φόρτωσης. διορθώνει σφάλματα μεταγλωττιστή. περιλαμβάνει ενημερώσεις τεκμηρίωσης. βελτιώνει τα εργαλεία εντοπισμού σφαλμάτων, δοκιμών και τεκμηρίωσης. προσθέτει ένα νέο σύνολο δοκιμών μονάδων για τον έλεγχο της συμμόρφωσης του Prolog με τα επίσημα και de facto πρότυπα. ενημερώνει τον χρωματισμό σύνταξης για όλους τους υποστηριζόμενους συντάκτες κειμένων και τους ενισχυτές σύνταξης. και περιλαμβάνει ενημερώσεις συμβατότητας για ECLiPSe, JIProlog και YAP.

Απαιτήσεις :

Συμβατός μεταγλωττιστής Prolog.

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

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

Logtalk
Logtalk

3 May 15

Σχόλια για Logtalk

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