Logtalk

Logtalk είναι ένα open source object-oriented επέκταση της γλώσσας προγραμματισμού Prolog. Ενσωμάτωση Λογικός Προγραμματισμός με object-oriented και event-driven προγραμματισμό, είναι συμβατό με τις περισσότερες μεταγλωττιστές Prolog.
Logtalk υποστηρίζει και τα δύο πρωτότυπα και τάξεις. Επιπλέον, υποστηρίζει τον προγραμματισμό component-based μέσω της κατηγορίας με βάση τη σύνθεση

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

• Διαχωρισμός μεταξύ διασύνδεσης και της εφαρμογής:
• Κατηγορηματική οδηγίες (δηλώσεις) μπορεί να περιέχεται μέσα πρωτόκολλα (interfaces), η οποία μπορεί να εφαρμοστεί από οποιοδήποτε αντικείμενο.


• Παραμετρικές αντικείμενα:

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


• Υποστήριξη για τα δύο συστήματα ταξικά και πρωτότυπο βασίζονται:
• Μπορεί να έχετε, στην ίδια εφαρμογή, ταξικά ιεραρχίες (με συγκεκριμενοποίηση και εξειδίκευση σχέσεις) και πρωτότυπο βασίζονται σε ιεραρχίες (με επέκταση σχέσεις).


• Υποστήριξη για πολλαπλές ιεραρχίες αντικείμενο:
• Δεν χρειάζεται να περιοριστεί σε μία μόνο μακρά ιεραρχία ριζωμένη σε κάποια γενική αντικείμενο.


• Ιδιωτικά, προστατεύονται, και δημόσια κληρονομιά:
• Logtalk υποστηρίζει ιδιωτικό, προστατευμένο και δημόσια κληρονομιά με έναν τρόπο παρόμοιο με Γ. Επιπλέον, οποιαδήποτε σχέση οντότητα μπορεί να χαρακτηριστεί χρησιμοποιώντας μια λέξη πεδίο εφαρμογής.


• Ιδιωτικά, προστατεύονται, και κατηγορήματα κοινό αντικείμενο:
• Ορίστε το εύρος του αντικειμένου σας κατηγορήματα για να ταιριάζει με το σχεδιασμό του πρωτοκόλλου σας και αφήστε το σύστημα εκτέλεσης επιβάλουν τις επιλογές σας.


• Στατική και δυναμική αντικείμενα:
• Τα αντικείμενα μπορούν να είναι είτε στατική ή δυναμική. Τα στατικά αντικείμενα που ορίζονται σε αρχεία πηγαίου κώδικα που καταρτίζονται και φορτώνεται με τον ίδιο τρόπο όπως τα αρχεία Prolog. Δυναμική αντικείμενο μπορεί να είναι είτε ορίζεται σε αρχεία πηγαίου κώδικα ή δημιουργήθηκαν κατά το χρόνο εκτέλεσης.


• Στατική και δυναμική αντικείμενο κατηγορήματα:
• Κάθε στατικό αντικείμενο μπορεί να περιέχει τόσο στατικά όσο και δυναμικά κατηγορήματα.


• Μια προ-επεξεργαστή έτσι μπορούμε να χρησιμοποιήσουμε τυπική σύνταξη Prolog:
• Logtalk χρησιμοποιεί την τυπική σύνταξη Prolog με την προσθήκη λίγων φορέων και οδηγίες για την ομαλή καμπύλη εκμάθησης.


• προγραμματισμός Event-driven:
• κατηγορήματα μπορεί να εμμέσως όταν συμβαίνει ένα γεγονός κατασκοπεύουν, επιτρέποντας λύσεις προγραμματισμού που ελαχιστοποιούν την σύζευξη αντικείμενο. Επιπλέον, οι εκδηλώσεις παρέχουν υποστήριξη για την αντανάκλαση της συμπεριφοράς.


• προγραμματισμό Component-based:
• κατηγορήματα μπορούν να εγκλειστούν μέσα κατηγορίες, οι οποίες μπορούν να εισαχθούν από σχεδόν οποιοδήποτε αντικείμενο, χωρίς καμία επικάλυψη κωδικό και ανεξάρτητα από ιεραρχίες αντικειμένου. Έτσι, τα αντικείμενα μπορούν να καθοριστούν μέσω σύνθεση των κατηγοριών, τα οποία δρουν ως λεπτόκοκκο μονάδες κώδικα της επαναχρησιμοποίησης.


• υποστήριξη πολλαπλών κληρονομικότητα:
• Logtalk υποστηρίζει multi-κληρονομιά των δύο πρωτοκόλλου και την υλοποίηση. Ένα αντικείμενο μπορούν να εφαρμόσουν διάφορα πρωτόκολλα και να επεκτείνει, ειδικεύονται, ή υπόσταση διάφορα αντικείμενα. Οι συγκρούσεις πολλαπλών κληρονομικότητα λυθεί σιωπηρά από τους αλγορίθμους αναζήτησης Logtalk ρητά ή με τη χρήση κατηγόρημα οδηγίες.


• Καλές επιδόσεις:
• Κωδικός Logtalk καταρτίζεται με τις ίδιες τεχνικές που μπορείτε να χρησιμοποιήσετε για να γράψετε αποδοτικό κώδικα Prolog. Επιπλέον, είναι η μέθοδος αναζητήσεις αποθηκευτεί προσωρινά από την μηχανή εκτέλεσης Logtalk, βελτιώνοντας σημαντικά την απόδοση. Τα αποτελέσματα του τεστ για ορισμένες compilers Prolog είναι διαθέσιμες εδώ.


• στενή ενσωμάτωση με το πρότυπο ISO Prolog Πρότυπο:
• Logtalk έχει σχεδιαστεί για ομαλή ενσωμάτωση με οποιοδήποτε compiler Prolog που συμμορφώνεται ή ακολουθεί πιστά το πρότυπο ISO Prolog πρότυπο.


• Συμβατό με τα περισσότερα compilers Prolog:
• διεπαφές Logtalk με ένα συγκεκριμένο compiler Prolog μέσω ενός ελάχιστου αρχείο ρυθμίσεων προκειμένου να είναι συμβατή με σχεδόν οποιοδήποτε σύγχρονο compiler.


• Αυτόματη δημιουργία των XML αρχείων τεκμηρίωσης:
• Logtalk δημιουργεί αυτόματα ένα αρχείο τεκμηρίωσης σε μορφή XML για κάθε καταρτίζονται αντικείμενο, πρωτόκολλο, ή κατηγορία. Το σύστημα περιλαμβάνει όλα τα απαραίτητα XSL (Τ) αρχεία και τα σενάρια για τη μετατροπή των αρχείων που τεκμηριώνουν σε (X) HTML και PDF.
• Logtalk τρέχει σχεδόν σε οποιοδήποτε υπολογιστή με έναν μεταγλωττιστή Prolog (το κύριο περιβάλλον ανάπτυξης είναι ένα Apple PowerBook G4 τρέχει MacOS X). Η διεπαφή μεταξύ Logtalk και ένα συγκεκριμένο compiler Prolog επιτυγχάνεται μέσω ενός αρχείου ρυθμίσεων.
• Αυτό το αρχείο περιέχει κάποιες συγκεκριμένες Logtalk κατηγορήματα και εφαρμογές για το πρότυπο ISO Prolog κατηγορήματα δεν είναι διαθέσιμο στην compiler Prolog.


• Στο γράψιμο Logtalk έχω προσπαθήσει να ακολουθήσει το πρότυπο ISO Prolog όποτε αυτό είναι δυνατό. Ικανότητες που απαιτούνται από Logtalk που δεν ορίζονται στο Μέρος Ι του προτύπου ISO είναι τα εξής:


• πρόσβαση στα κύρια ιδιοτήτων (δυναμική, στατική, built_in):
• Με την προϋπόθεση ότι το αγαπημένο σας Prolog έχει αυτές τις δυνατότητες που αναφέρονται παραπάνω, κάνοντας ένα αρχείο ρυθμίσεων είναι πολύ εύκολη. Το πακέτο περιλαμβάνει Logtalk ήδη αρχεία ρυθμίσεων για τα πιο κοινά μεταγλωττιστές Prolog. Για βέλτιστη απόδοση, Logtalk απαιτεί ότι ο compiler Prolog υποστηρίζει πρώτο επιχείρημα ευρετηρίασης για στατικές και δυναμικές κώδικα.


• Logtalk Ανάπτυξη και δοκιμή διεξάγεται σήμερα χρησιμοποιώντας τα ακόλουθα μεταγλωττιστές Prolog (με αλφαβητική σειρά):
• GNU Prolog 1.2.18
• SWI Prolog 5.4.7
• ΥΑΡ 4.5.7
• Λόγω του ότι, αυτοί είναι πιθανώς καλύτερες επιλογές σας για τη λειτουργία Logtalk (με την προϋπόθεση ότι είστε ελεύθεροι να χρησιμοποιήσετε μία από αυτές compilers).


• Επιπλέον, Logtalk τρέχει με λίγο ή καθόλου τροποποιήσεις με τις ακόλουθες συντάκτες Prolog (με αλφαβητική σειρά):
• ALS Prolog 3.1
• Αμσί! Prolog 6.22 ~ 7.x
• BinProlog 8.x ~ 10.x
• Β-Prolog 4.0, 5.0, 6.x
• CIAO Prolog 1.10p5
• ECLiPSe 5,5 ~ 5,8
• ΑΝ / Prolog 5.x
• JIProlog 3.0.1-2
• K-Prolog 5.1.2a
• LPA MacProlog32 1,25
• LPA WinProlog32 4.0x
• MasterProlog 4.1
• Άνοιγμα Prolog 1.1b10
• PrologII 4.5
• QU-Prolog 6.7
• Quintus Prolog 3.3 ~ 3.5
• SICStus Prolog 3.8 ~ 3.12.x
• XSB 2.6 ~ 2.7

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

• Τροποποιημένο την αποστολή μηνυμάτων μηχανισμό για να καλέσετε την & quot? Πριν από & quot? χειριστές περίπτωση πριν από την εκτέλεση της μεθόδου αναζήτησης. Αυτή η αλλαγή δεν θα έχει αντίκτυπο σε υπάρχοντα κώδικα, αλλά επιτρέπει ορισμένες ενδιαφέρουσες εφαρμογές (π.χ. αποτύχει αντί να ρίχνουν μια εξαίρεση, όταν ένα μήνυμα δεν είναι κατανοητό).
• Περισσότερα συνεπή χειρισμό σημαίες compiler μεταξύ του καθορισμού τιμών σημαία κατά την κατάρτιση / φόρτωση ενός αρχείου και όταν χρησιμοποιείτε το set_logtalk_flag / 2 ενσωματωμένο κατηγόρημα: και στις δύο περιπτώσεις, η ρύθμιση του & quot? Smart_compilation & quot? σημαία για να απενεργοποιήσετε το & quot? καθαρό & quot? σημαία και ρύθμιση & quot? καθαρό & quot? σημαία για να απενεργοποιήσετε το & quot? smart_compilation & quot? σημαία. Επίσης, τον καθορισμό του & quot? Debug & quot? σημαία για να απενεργοποιήσετε τόσο το & quot? smart_compilation & quot? και & quot? καθαρό & quot? σημαίες.
• Επιτρέπει το μαλακό-cut κατασκεύασμα ελέγχου, (* - & gt?) / 2, όταν υποστηρίζεται εγγενώς από το back-end Prolog μεταγλωττιστή, που θα χρησιμοποιηθεί στο σώμα των κανόνων της γραμματικής (μετά από μια παρατήρηση από τον Daniel Diaz, ενώ συζητάμε GNU υποστήριξη Prolog για την κατασκευή μάρτυρα μαλακό-cut).
• Διορθώθηκε ένα bug Logtalk compiler όταν η & quot? Source_data & quot? σημαία είναι σχετικά με το back-end Prolog μεταγλωττιστές όπου δεν είναι δυνατόν να ανακτήσει τη θέση του όρου ανάγνωσης.
• Διορθώθηκε ένα σφάλμα κατά τη σύνταξη της meta_non_terminal / 1 της οδηγίας, όπου μόνο η πρώτη μετα-επιχείρημα θα επεξεργαστεί σωστά.
• Ενημέρωση του αρχείου config eclipse για να ανιχνεύσει όταν τρέχει σε Windows 64 συστήματα bits και να αγνοήσει μη-κατηγόρημα και μη-χειριστή εξαγωγές, όταν προ-επεξεργασία lib / 1 οδηγίες.
• Ενημέρωση το πλαίσιο δοκιμής μονάδα να εκτυπώσετε περισσότερα ενημερωτικά μηνύματα για τις δοκιμές απέτυχαν μονάδα.
• Προστέθηκε κατηγόρημα χωριστεί / 4 (για το διαχωρισμό ενός καταλόγου σε υποκαταλόγους με ένα δεδομένο μήκος) στο & quot? Listp & quot ;, & quot? Λίστα & quot ;, και & quot? Difflist & quot? οντότητες βιβλιοθήκη.
• Ενημέρωση & quot? CC & quot? παράδειγμα με έναν ορισμό για το κέλυφος 2 κατηγόρημα / για CxProlog.
• Άλλαξε τα ονόματα των αντικειμένων στο & quot? ΜΙ & quot? παράδειγμα για να αποφύγει τη σύγκρουση όνομα κατά την εκτέλεση των δοκιμών παράδειγμα μονάδας.
• Διορθώθηκε ένα σφάλμα στο πρόγραμμα εγκατάστασης των Windows που εμπόδισε την ανίχνευση Γιαπ 64 bits εκδόσεις. Χάρη στην Στεπάν Ipatov για την αναφορά σφάλματος.
• Διορθώθηκε ένα σφάλμα στο πρόγραμμα εγκατάστασης των Windows που απέτρεψε τους χρήστες από την προσαρμογή του καταλόγου εγκατάστασης. Χάρη στον Daniel Moniz για την αναφορά σφάλματος και να Gavin Lambert για τη διάγνωση του σφάλματος.
• Ενημέρωση το σενάριο εγκατάστασης των Windows για τον καλύτερο εντοπισμό των XSB και στην προεπιλογή για να εγκαταστήσετε μόνο τα αρχεία ανά χρήστη όταν εκτελείται από έναν χρήστη μη-admin σε έναν υπολογιστή όπου Logtalk είναι ήδη εγκατεστημένο.
• Προστέθηκε βασική υποστήριξη για το LaTeX & quot? Καταχωρήσεις & quot? Πακέτο. Προστέθηκε σημειώσεις για το quot &? Κόπηκαν & quot? και & quot? texmates & quot? Πακέτα LaTeX.
• Προστέθηκε σημειώσεις σχετικά με τον επεξεργαστή κειμένου Textastic iPad.
• Προστέθηκε βασικό χρωματισμό σύνταξη και αναδίπλωση κώδικα υποστήριξη για τον επεξεργαστή κειμένου UltraEdit.
• Ενημέρωση το TextMate δέσμη για να απενεργοποιήσετε τις αυτόματες περίπτωση οι διορθώσεις που εισάγονται στην υπό εξέλιξη έκδοση του TextMate 2.0.

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

• άλλαξε τη σημασιολογία της συμπλήρωσης κατηγορίες που θα επιτρέπουν την επιδιόρθωση και τα δύο κατηγόρημα δηλώσεις και κατηγόρημα ορισμούς συμπληρώνεται αντικείμενα. Αυτό επιτυγχάνεται με την εξασφάλιση ότι η δήλωση κατηγόρημα και ορισμός αναζητήσεις ξεκινούν από τις κατηγορίες πριν από τη συμπλήρωση ψάχνει μέσα στο ίδιο το αντικείμενο ή συμπληρώνεται μέσα των σχετικών φορέων της.
• Ενημέρωση της μεταγλώττισης Logtalk προκειμένου να δημιουργήσει μια προειδοποίηση κατά την κατάρτιση ενός συμπληρωματικού κατηγορία για μια συμπληρώνονται αντικείμενο που συντάχθηκε με τη στήριξη για τη συμπλήρωση των κατηγοριών απενεργοποιημένη.
• Διορθώθηκε ένα σφάλμα κατά την επεξεργασία της μετα-κλήσεις για μετα-κατηγορήματα όπου το πλαίσιο της κλήσης θα πρέπει να οριστεί σε & quot? Αυτό & quot? αντί του & quot? αποστολέα & quot? κάθε φορά που μια μετα-επιχείρημα ήταν ένα από τα :: / 2, {} / 1,

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

• Άλλαξε ο compiler να ληφθούν υπόψη οι χρήσεις / 2 οδηγία κατά την κατάρτιση των κλήσεων προς τον προβληματισμό ενσωματωμένες μεθόδους. Αυτή η αλλαγή επεκτείνει τη σημασιολογία των χρήσεων / 2 της οδηγίας και επιτρέπει την ευκολότερη μετάβαση από το απλό εφαρμογές Prolog να Logtalk.
• Ενημέρωση της εφαρμογής της / 2 ενσωματωμένη μέθοδο predicate_property, προσθέτοντας ένα πεδίο / 1 ακίνητο.
• Ενημέρωση της μεταγλώττισης Logtalk για να προσθέσετε πληροφορίες σχετικά με το όνομα του αρχείου προέλευσης, κατάλογο αρχείων πηγής, και τις επιλογές του αρχείου πηγή compiler για τα παραγόμενα αρχεία Prolog. Σε προηγούμενες εκδόσεις, η πληροφορία αυτή καταχωρίζεται μόνο όταν τοποθετείτε ένα αρχείο προέλευσης. Οι αλλαγές απλοποίηση εφαρμογές κτίριο όπου Logtalk βιβλιοθήκες είναι προ-μεταγλωττισμένα και προ-φορτωμένο.
• Ενημέρωση της μεταγλώττισης Logtalk για να εκτυπώσετε το όνομα του αντικειμένου γάντζο που χρησιμοποιούνται στην κατάρτιση των φακέλων πηγής όταν η & quot? Άγκιστρο & quot? σημαία compiler έχει οριστεί.
• Ενημέρωση το ενσωματωμένο πρόγραμμα εντοπισμού σφαλμάτων, ώστε να αποφεύγονται οι περιττές σημεία επιλογής που δημιουργήθηκε από back-end Prolog συντάκτες των οποίων υποχωρούν / 1 εφαρμογή αποτυγχάνει να επωφεληθούν από τη λογική ενημέρωση σημασιολογία να πραγματοποιείτε κλήσεις ντετερμινιστική.
• Διορθώθηκε ένα σφάλμα του χειριστή compiler εκτέλεσης Logtalk όπου απέτυχε να αποσυμπίληση εσωτερικά αναγνωριστικά οντότητα όταν ρίχνουν εξαιρέσεις ύπαρξη οντότητα.
• Ενημέρωση της Lean αρχείο config Prolog, προσθέτοντας δείκτη / 1 οδηγίες για ορισμένες από τις δυναμικές κατηγορημάτων που χρησιμοποιούνται από τους εσωτερικούς πίνακες Logtalk εκτέλεσης.
• Ενημέρωση των αρχείων ολοκλήρωση SWI-Prolog για να ελέγξετε τη διαθεσιμότητα της οδηγίας δείκτη / 1, η οποία έχει καταργηθεί από τη νέα πειραματική υποστήριξη SWI-Prolog για just-in-time πολλαπλών επιχείρημα ευρετηρίαση.
• Προστέθηκε κατηγορήματα υποακολουθία / 4 (για τη δημιουργία υπο-καταλόγου με ένα δεδομένο μήκος), υποκαθιστά / 4 (για την αντικατάσταση στοιχείων σε μια λίστα), και hamming_distance / 3 στη βιβλιοθήκη & quot? Listp & quot? και & quot? λίστα & quot? οντότητες.
• Προστέθηκε euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, και scalar_product / 3 κατηγορήματα στη βιβλιοθήκη & quot? Numberlistp & quot? και & quot? numberlist & quot? οντότητες.
• Διορθώθηκε κάποια ανόητα λάθη στον ορισμό του & quot? Χαρακτήρα & quot? αντικείμενο της βιβλιοθήκης κατηγορήματα is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, και is_hex_digit / 1.
• Ενημέρωση της βιβλιοθήκης & quot? All_loader.lgt & quot? αρχείο loader για να φορτώσετε και το & quot? meta_compiler_loader.lgt & quot? αρχείο φορτωτή.

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

• Άλλαξε ο compiler να ληφθούν υπόψη οι χρήσεις / 2 οδηγία κατά την κατάρτιση κλήσεις προς τις ενσωματωμένες μεθόδους βάση δεδομένων. Αυτή η αλλαγή επεκτείνει τη σημασιολογία των χρήσεων / 2 της οδηγίας και επιτρέπει την ευκολότερη μετάβαση από το απλό εφαρμογές Prolog να Logtalk.
• Προστέθηκε πειραματική υποστήριξη για τη χρήση ενός προτύπου κατηγόρημα ως επιχείρημα για την coinductive / 1 της οδηγίας. Αυτό το πρότυπο επιτρέπει τον προσδιορισμό των οποίων τα επιχειρήματα έχουν νόημα για coinductive επιτυχία. Βασισμένο σε παρόμοια λειτουργικότητα εντοπίσει στη DRA μετα-διερμηνέα Feliks Kluzniak του.
• Βελτιωμένη υποστήριξη για τον εντοπισμό σφαλμάτων coinductive κατηγορήματα όταν χρησιμοποιούν το Logtalk ενσωματωμένο πρόγραμμα εντοπισμού σφαλμάτων.
• Αφαιρέθηκε υποστήριξη coinduction για CxProlog. Η τρέχουσα έκδοση του compiler στερείται ένα μαλακό-cut ενσωματωμένο κατηγόρημα ή κατασκεύασμα ελέγχου, που απαιτείται τώρα από την πειραματική εφαρμογή coinduction.
• αρθεί ένα μακροχρόνιο περιορισμό που εμπόδισε τον ορισμό των χρηστών των κατηγορημάτων περιτύλιγμα για την bagof / 3 και setof / 3 ενσωματωμένες μεθόδους όποτε το επιχείρημα στόχος μπορεί να χρησιμοποιήσει το ^ / 2 υπαρξιακό προσδιορισμό της.
• Προστέθηκε υποστήριξη για την & quot? ^ & Quot? μετα-κατηγόρημα μετα-επιχείρημα προσδιοριστή λειτουργία προτείνεται από τον Jan Wielemaker και βρέθηκε σε SWI-Prolog 05.11.25. Αυτή η λειτουργία προσδιοριστής είναι χρήσιμη κατά τον καθορισμό περιτυλίγματα για τις / 3 και setof / 3 ενσωματωμένες μεθόδους bagof όποτε το επιχείρημα στόχος μπορεί να χρησιμοποιήσει το ^ / 2 υπαρξιακό προσδιορισμό της.
• Προστέθηκε & quot? Prolog_compiler & quot? και & quot? prolog_loader & quot? compiler flags, τα οποία επιτρέπουν την διέλευση επιλογές για το back-end Prolog μεταγλωττιστή ενσωματωμένα κατηγορήματα, τα οποία καταρτίζουν στο δίσκο και να φορτώσει ένα (το οποίο καταρτίζεται) σημαία Prolog. Η προεπιλεγμένη τιμή και για τις δύο σημαίες είναι η κενή λίστα.
• Διορθώθηκε ένα σφάλμα κατά την κατάρτιση των κλήσεων σε Prolog ιδιόκτητο ενσωματωμένο μετα-κατηγορήματα όπου ο compiler Logtalk θα μπορούσε να επιχειρήσει να επεξεργαστούν μη επιχειρήματα μετα- ως στόχους. Αυτό το σφάλμα εκδηλώθηκε μόνο με μερικά back-end Prolog compilers όπως έκλειψη.
• Διορθώθηκε ένα σφάλμα κατά την επεξεργασία του υπό όρους οδηγίες σύνταξης.
• Διορθώθηκε ένα bug που εμπόδιζε περνώντας ψευδώνυμο / 3 οδηγίες σχετικά με τις κλήσεις προς τον create_object / 4, create_category / 4, και create_protocol / 3 ενσωματωμένα κατηγορήματα.
• Αφαιρέθηκε από το ενσωματωμένο αντικείμενο & quot? Logtalk & quot? οι decompile_predicate_head / 4 και decompile_predicate_indicator / 4 καταργηθεί μεθόδους.
• καταργήσει την υποστήριξη για τη μεγάλη αποδοκιμάζεται Logtalk metapredicate / 1 της οδηγίας.
• Διορθώθηκε ένα bug απόδοση όταν caching κλήσεις στην κατηγορία κατηγορήματα όπου οι προσωρινά αποθηκευμένες καταχωρήσεις θα μπορούσαν να είναι πιο συγκεκριμένες από ό, τι είναι απαραίτητο όταν εργάζεστε με παραμετρικές κατηγορίες.
• Βελτιωμένη προσωρινή αποθήκευση & quot? Σούπερ & quot? καλεί μέσα από τα πρωτότυπα. Προηγουμένως, όλοι οι προσωρινά αποθηκευμένες καταχωρήσεις θα πρέπει να εξειδικεύεται από την αξία του & quot? Αυτο & quot? προκειμένου να λάβει δεόντως υπόψη τις ειδικές περιπτώσεις κατά τις οποίες ένα αντικείμενο δύο instantiates και ειδικεύεται άλλα αντικείμενα.
• Ενημέρωση της μεταγλώττισης Logtalk για να ενεργοποιήσετε δηλώσεις του φορέα εκμετάλλευσης που βρέθηκαν στο κατηγόρημα οδηγίες πεδίο εφαρμογής κατά την κατάρτιση των φορέων που περιέχουν τις οδηγίες.
• Βελτιωμένη η απόδοση του coinductive κατηγορημάτων όταν χρησιμοποιούν το back-end Prolog compilers όπως SICStus Prolog που δεν παρέχουν τη δομή ελέγχου μαλακό-cut, αλλά παρέχουν το μαλακό κοπής ενσωματωμένη στην μετα-κατηγόρημα (αν / 3).
• Διορθώθηκε ένα bug όπου μια πλαστή έκθεση των προειδοποιήσεων συλλογή / φόρτωσης μπορεί να εκτυπωθεί, όταν συντάχθηκε ένα αρχείο προέλευσης / φορτωμένο με τη σημαία compiler & quot? Έκθεση & quot? απενεργοποιημένο.
• Προστέθηκε μια & quot? Streamvars & quot? αντικείμενο της βιβλιοθήκης, που προέρχεται από την υφιστάμενη & quot? assignvars & quot? βιβλιοθήκη κατηγορίας, διαθέτει υποστήριξη για την προσθήκη και την ανάκτηση όρους (που μπορεί να είναι μεταβλητές) από ένα & quot? ρεύμα & quot? μεταβλητή.
• Ενημέρωση & quot? Coinduction & quot? παράδειγμα, εκμεταλλευόμενοι την αυξημένη coinductive / 1 της οδηγίας και τη διεύρυνση του αριθμού των μεμονωμένων παραδειγμάτων που μπορούν να εκτελεστούν χρησιμοποιώντας SICStus Prolog. Προστέθηκε ένα μοντέλο ελέγχου παράδειγμα, χρησιμοποιώντας coinduction, coroutining, και τους περιορισμούς, εισφέρει Νέδα Saeedloei.
• Ενημέρωση της quot &? Metapredicates & quot? παράδειγμα με δείγμα κώδικα που απεικονίζει πώς να καθορίσει τις συσκευασίες των / 3 και setof / 3 ενσωματωμένες μεθόδους bagof όταν η μετα-επιχείρημα μπορεί να περιέχει υπαρξιακά ειδική μεταβλητές.
• Ενημέρωση & quot? CC & quot? παράδειγμα, η διόρθωση κατηγόρημα ορισμοί για αρκετές back-end Prolog μεταγλωττιστές και προσθέτοντας μερικές βασικές δοκιμές μονάδα.
• Ενημέρωση της quot &? Κωδικοποιήσεις & quot? παράδειγμα με περιορισμένη υποστήριξη για Lean Prolog.
• Προστέθηκε εγγραφές που λείπουν για την meta_non_terminal / 1 της οδηγίας και για την κλήση // Ν μη-τερματικό προς το & quot? Βοήθεια & quot? παράδειγμα.
• Προστέθηκε μια μονάδα ανάλυσης για PDDL 3.0 αρχεία, συνέβαλε από τον Robert Sasak.
• Κωδικός Προστέθηκε υποστήριξη αναδίπλωση με τον επεξεργαστή κειμένου SubEthaEdit. Προστέθηκε αναδίπλωση κώδικα υποστήριξη για προϋποθέτει την κατάρτιση μπλοκ προς τους συντάκτες κειμένου Κέιτ, ο Vim, και TextMate.
• Ενημέρωση τα σενάρια ένταξης προκειμένου να φορτώσετε το αρχείο μονοπάτια βιβλιοθήκη πριν από τη φόρτωση του Logtalk compiler / runtime. Η αλλαγή αυτή έχει ως στόχο να απλοποιήσει τη φόρτωση της βιβλιοθήκης και το παράδειγμα αρχεία από τα αρχεία ρυθμίσεων. Επιπλέον, να κοιτάζουμε τον κατάλογο εγκατάστασης Logtalk στο $ HOME / μετοχή, όταν η μεταβλητή LOGTALKHOME περιβάλλον δεν έχει οριστεί. Ευχαριστίες VAtor Σάντος Κόστα για την πρόταση.
• Ενημέρωση του προγράμματος εγκατάστασης των Windows, προκειμένου να υποστηρίξει Lean Prolog και τον εντοπισμό YAP 64 bits εκδόσεις.

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

• Προστέθηκε πειραματική υποστήριξη για Lean Prolog
• Άλλαξε την αναφορά σφάλματος από τον compiler Logtalk και εκτέλεσης. Όλοι οι όροι εξαίρεσης χρησιμοποιούν τώρα, όποτε είναι δυνατόν, το σφάλμα (Error, logtalk (Goal, Entity))
• μορφή. Άλλαξε το εσωτερικό σφάλμα έλεγχο για χρήση, όποτε είναι εφικτό, το νέο «$ lgt_must_be '/ 2-3 εσωτερικές κατηγορήματα.
• Προστέθηκε ένα & quot? Βελτιστοποίηση & quot? σημαία, του οποίου η προεπιλεγμένη τιμή είναι & quot? για & quot ;. Αυτή η σημαία επιτρέπει στο χρήστη να απενεργοποιήσετε τα υφιστάμενα βελτιστοποιήσεις για π.χ. εργασίες εντοπισμού σφαλμάτων (η
• που εφαρμόζονται σήμερα βελτιστοποιήσεις περιλαμβάνουν την αφαίρεση των περιττών κλήσεων σε πραγματικό / 0 από το σώμα των ρητρών καταρτίζονται κατηγόρημα και την απομάκρυνση του
• περιττές κλήσεις προς (=) / 2 από το σώμα των ρητρών που προκύπτουν από την επέκταση των κανόνων της γραμματικής).
• Προστέθηκε ένα & quot? Source_data & quot? σημαία, του οποίου η προεπιλεγμένη τιμή είναι & quot? για & quot ;. Με αυτή η σημαία οριστεί σε & quot? Για & quot ;, Logtalk θα κρατήσει τις πληροφορίες που αποδίδεται με τη λειτουργία / 2,
• Πληροφορίες / 1-2, χρησιμοποιεί / 2, και use_module / 2 οδηγίες συν τα δεδομένα θέσης της πηγής (συμπεριλαμβανομένων των ονομάτων αρχείων πηγή και αριθμούς γραμμή), χρήσιμη τόσο για τον εντοπισμό σφαλμάτων
• και για ενοποίηση με τα εργαλεία ανάπτυξης. Αυτή η σημαία μπορεί να απενεργοποιηθεί, ώστε να παράγουν πιο συμπαγή κώδικα. Η parameter_names / 1 αντικείμενο και
• κατηγορία ακίνητο αποσύρεται, προκειμένου να αποφευχθεί ο πλεονασμός.
• Εφαρμόζεται προστατεύονται / 1 και του ιδιωτικού / 1 ακίνητα για τα αντικείμενα, τα πρωτόκολλα και τις κατηγορίες. Μαζί με το κοινό / 1 ακίνητο, αυτές οι ιδιότητες
• επιτρέπει τη λίστα των κατηγορημάτων που δηλώθηκαν στην οντότητα να έχουν πρόσβαση για ανακλαστικές υπολογισμούς. Υλοποιήθηκε δηλώνει / 2, ορίζει / 2, περιλαμβάνει / 3,
• και παρέχει / 3 ιδιότητες για την πρόσβαση στις ιδιότητες των κατηγορημάτων δηλώνεται και να ορίζεται μέσα σε μια οντότητα. Δήλωση ιδιότητες περιλαμβάνουν line_count / 1, τον αριθμό γραμμής της οδηγίας πεδίο κατηγόρημα. Ορισμός ιδιοτήτων περιλαμβάνουν line_count / 1, ο αριθμός της γραμμής του επικεφαλής της πρώτης
• ρήτρα για το κατηγόρημα, και number_of_clauses / 1, ο αριθμός των ρητρών για το κατηγόρημα. Επίσης εφαρμόζονται πειραματικές χρήσεις / 3 και use_module / 3 ιδιότητες.
• Προστέθηκε ένα ακίνητο κατηγόρημα, redefined_from / 1, που επιτρέπει την υποβολή ερωτημάτων σχετικά με το αντικείμενο ή την κατηγορία που περιέχει έναν ορισμό κατηγόρημα που επαναπροσδιορίζεται.
• Προστέθηκε loaded_file / 3 κατηγόρημα για το & quot? Logtalk & quot? ενσωματωμένο αντικείμενο, το οποίο συμπληρώνει την υπάρχουσα loaded_file / 2 κατηγόρημα και παρέχει πρόσβαση στο
• ρητή επιλογές που χρησιμοποιείται όταν το αρχείο συντάχθηκε και φορτώνονται.
• Εφαρμόζεται υποστήριξη μεταγλωττιστή για την meta_non_terminal / 1 της οδηγίας και την κλήση // Ν ενσωματωμένο σε μη-τερματικό.
• Απλοποιημένη την κατάρτιση των κανόνων γραμματικής, αφαιρώντας την υποστήριξη για την αντιμετώπιση των μη-τερματικό πεδίο εφαρμογής και την ύπαρξη σφαλμάτων κατά κανόνα γραμματικής
• επίπεδο αντί του επιπέδου κατηγόρημα. Αν και αυτό το χαρακτηριστικό θα μπορούσε να είναι χρήσιμη κατά τον εντοπισμό σφαλμάτων των κανόνων της γραμματικής, που περιέπλεξε την ολοκλήρωση της Logtalk με Prolog μητρική εργαλεία ανάπτυξης.
• Ενημέρωση της μεταγλώττισης Logtalk για να σώσει τις θέσεις ρήτρα οντότητα και θέτει τις πληροφορίες αυτές στη διάθεση του back-end Prolog μεταγλωττιστές.
• Ενημέρωση της μεταγλώττισης Logtalk προκειμένου να αποφευχθεί η δημιουργία περιττών διατάξεων εσωτερικού catchall για τη δήλωση κατηγόρημα και τραπέζια ορισμός για δυναμικές οντότητες.
• Ενημέρωση της μεταγλώττισης Logtalk ώστε να αποκλείει τη χρήση multifile κατηγορήματα για το σπάσιμο αντικείμενο ενθυλάκωση. Μια κύρια δήλωση
• οντότητα πρέπει να υπάρχει, που περιέχει τόσο το πεδίο εφαρμογής και multifile οδηγία για το κατηγόρημα. Εξάλλου, ο ρήτρες για multifile
• Πρόσωπο :: functor / arity χωρίς μια αντίστοιχη multifile / 1 οδηγία θα οδηγήσει τώρα σε ένα σφάλμα μεταγλώττισης αντί απλά μια προειδοποίηση.
• Αφαιρέθηκε ο περιορισμός Logtalk compiler που ανάγκασε discontiguous / 1 και δυναμικές / 1 οδηγίες να προηγείται κλήσεις προς τις δηλωθείσες κατηγορήματα.
• Βελτιωμένη η έκθεση Logtalk compiler της misspelt κλήσεις προς μη-τερματικά στους κανόνες της γραμματικής.
• Να επιτρέπεται η χρήση του:. / 1 ​​κατασκευή ελέγχου στο σώμα των κανόνων γραμματικής
• Κατά την αποσφαλμάτωση μηνύματα που αναφέρονται σε χρήσεις / 2 των οδηγιών, το μήνυμα τώρα εκτυπώνεται σιωπηρά προσόντα όπως στον πηγαίο κώδικα γραμμένο από τον χρήστη.
• αλλάξει τις εσωτερικές κατηγορούμενα που χρησιμοποιούνται για την εφαρμογή των built-in multi-threading κατηγορήματα, προκειμένου να διευκολυνθεί η ενσωμάτωση με

Εργαλεία
• υψηλού επιπέδου εντοπισμού σφαλμάτων που απαιτούν αντίστροφη μεταγλώττιση του παραγόμενου κώδικα Prolog.
• Διορθώθηκε ένα bug εισήχθη στην Logtalk 2.42.4 που αφορά την κατάρτιση των κατηγορημάτων οντότητας που απαιτούν συγχρονισμένη κατηγορήματα. Αυτό το σφάλμα οδήγησαν σε εκκλήσεις
• να γίνει αντί στις μη συγχρονισμένες μορφές των κατηγορημάτων, η οποία θα εκδηλωθεί σε τυχαίες αστοχίες των στόχων νήμα.
• Διορθώθηκε μια μακροχρόνια σφάλμα όπου ένα runtime-καταρτίζονται μετα-κλήση σε μια κατηγορία, θα πρέπει να καταρτιστούν ως μια πρόσκληση για ένα κατηγόρημα του αντικειμένου
• εισαγωγή της κατηγορίας αντί ως μια κλήση σε μια τοπική κατηγορία κατηγόρημα.
• Διορθώθηκε μια μακροχρόνια bug όπου οι αξίες σημαία οντότητα που τοπικά χρησιμοποιώντας το set_logtalk_flag / 2 οδηγία θα αποτύχει να σωθεί στην επιχείρηση
• μεταγλωττισμένο κώδικα.
• Διορθώθηκε μια μακροχρόνια σφάλμα όταν καταργήσει μια δυναμική κατηγόρημα σε μια μη-πρωτότυπο αντικείμενο, όπου η κατάργηση / 1 μέθοδος θα πετύχει χωρίς
• το κατηγόρημα είναι πράγματι καταργηθεί.
• Διορθώθηκε ένα σφάλμα στον καθορισμό του σωστού πλαισίου εκτέλεσης κατά την κλήση μιας μετα-επιχείρημα που απαιτεί μια συλλογή χρόνου εκτέλεσης στο πλαίσιο της
• & quot? Αποστολέα & quot?.
• Διορθώθηκε ένα σφάλμα κατά τη σύνταξη της ρητής προσόντα κλήσεις με την ενότητα μετα-κατηγορήματα όταν ο τίτλος της μονάδας θα πρέπει να πέφτει από το
• καταρτίζονται κλήση. Σημειώστε ότι αυτές οι προσκλήσεις θα χρησιμοποιήσει Logtalk μετα-κατηγόρημα σημασιολογία (δηλαδή οι μετα-επιχειρήματα θα κληθούν στο πλαίσιο της
• καλούντος) αντί για το συνηθισμένο ενότητα Prolog μετα-κατηγόρημα σημασιολογία.
• Διορθώθηκε ένα bug όπου οι στοίβες coinduction δεν είχε προετοιμαστεί κατά τη χρήση του

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

• Αυτή η έκδοση περιλαμβάνει compiler, εκτέλεσης, και πολυ- threading βελτίωσης των επιδόσεων, βελτιώνει τα μηνύματα σφάλματος των μεταγλωττιστών για τις συγχρονισμένες / 1 και δυναμικές / 1 οδηγίες, προσθέτει υποστήριξη για τη διατήρηση των πληροφοριών πεδίο του χειριστή και να εξάγει αυτές τις πληροφορίες στον δημιουργούνται αυτόματα XML αρχείων που τεκμηριώνουν, προσθέτει νέα κατηγορήματα χρησιμότητα με το αντικείμενο logtalk, βελτιώνει αρκετά προγραμματισμός παραδείγματα, περιλαμβάνει μια λύση για ένα πρόγραμμα απεγκατάστασης σφάλμα SWI-Prolog για τα Windows, και διαθέτει ενημερώσεις φορητότητα για Qu-Prolog, SICStus Prolog, SWI-Prolog, XSB, και Κόσρε.

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

• Αυτή η έκδοση προσθέτει υποστήριξη για την κλήση δυναμική κατηγορήματα στο πλαίσιο & quot? αυτό & quot? μέσα από τις κατηγορίες, προσθέτει υποστήριξη για προ-μεταγλωττισμένα κεφάλια ρήτρα, περιλαμβάνει διορθώσεις και βελτιώσεις στο ενσωματωμένο πρόγραμμα εντοπισμού σφαλμάτων, περιλαμβάνει βελτιωμένες βιβλιοθήκες και παραδείγματα, προσθέτει υποστήριξη για indexicals όταν χρησιμοποιούν το SICStus Prolog CLP (FD) βιβλιοθήκη, προσθέτει ένα πειραματικό παράδειγμα χρησιμοποιώντας αποδίδεται μεταβλητές μέσα αντικείμενα και κατηγορίες, και διαθέτει ενημερώσεις για φορητότητα έκλειψη, το GNU Prolog, SICStus Prolog, και SWI-Prolog.

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

• Αυτή η έκδοση βελτιώνει την κατάρτιση των προσκλήσεων για την ενότητα κατηγορήματα , βελτιώνει τον έλεγχο των μετα-επιχειρήματα μετα-κατηγόρημα κλήσεις, βελτιώνει την υποστήριξη για εκφράσεις λάμδα, περιλαμβάνει μια βελτιστοποίηση compiler για κλήσεις στη βιβλιοθήκη μετα-κατηγορήματα, προσθέτει νέες βιβλιοθήκες για καταγραφή συμβάντων, που εργάζονται με χρονική διάστημα σχέσεις, και χρησιμοποιώντας μετρητές ακέραιος, βελτιώνει υπάρχοντα παραδείγματα και βιβλιοθήκες, προσθέτει υποστήριξη για τη χρήση του πακέτου SyntaxHighlighter JavaScript-based, και διαθέτει ενημερώσεις φορητότητα για το GNU Prolog, Qu-Prolog, SICStus Prolog, SWI-Prolog, και XSB.

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

• Αυτή η έκδοση προσθέτει υποστήριξη για νέα μετα-κατηγόρημα λειτουργία δείκτες, επιτρέποντας υποστήριξη για περισσότερες Prolog ιδιόκτητο ενσωματωμένο στη μετα-κατηγορήματα.
• Υποστήριξη προστέθηκε για τον εντοπισμό και την καταγγελία της εξαφάνισης δυναμικές / 1 και discontiguous / 1 οδηγίες.
• Μια νέα σημαία πανί προστέθηκε.
• Δύο μετα-κατηγόρημα σφάλματα σύνταξη διορθώθηκαν.
• Μερικά από τα παραδείγματα έχουν ενημερωθεί.
• Φορητότητα ενημερώσεις έγιναν για Β-Prolog, SICStus Prolog, SWI-Prolog, XSB, και Κόσρε.