Logtalk

Screenshot Λογισμικό:
Logtalk
Στοιχεία Λογισμικού:
Εκδοχή: 3.03.0 επικαιροποιημένο
Ανεβάστε ημερομηνία: 11 Mar 16
Προγραμματιστής: Paulo Moura
Άδεια: Δωρεάν
Δημοτικότητα: 24

Rating: nan/5 (Total Votes: 0)

Prolog είναι μια γλώσσα λογικού προγραμματισμού γενικού σκοπού που κυκλοφόρησε το 1972, με πολύ λίγες ενημερώσεις από τότε.

Logtalk δημιουργήθηκε για να προσθέσει πιο σύγχρονα χαρακτηριστικά για να Prolog, κυρίως βελτιώσεις στην απόδοση, εκφράσεις λάμδα, κανόνες γραμματικής, βελτιωμένη σφάλματα μεταγλώττισης και προειδοποιώντας την υποβολή εκθέσεων.

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

Αυτό κάνει Logtalk μια καλύτερη, πιο κατάλληλη εναλλακτική λύση για Prolog στη σύγχρονη ημέρα AI και γλωσσολογία υπολογιστή σενάρια, ένα πολύ πιο ισχυρή γλώσσα πολυ-πρότυπο, κατάλληλο για event-driven και υψηλού επιπέδου multi-threading προγραμματισμό.

Σήμερα Logtalk σύνταξη εκτείνεται τυπική σύνταξη Prolog και μπορείτε να εκτελέσετε Logtalk στις ακόλουθες μεταγλωττιστές Prolog:

Β-Prolog

CxProlog

ECLiPSe

GNU Prolog

Lean Prolog

Qu-Prolog

SICStus Prolog

SWI Prolog

XSB

YAP

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

  • βελτιωθεί:
  • Αλλαγές στους όρος ετικέτες που χρησιμοποιούνται κατά τη σύνταξη μεταγλωττισμένο κώδικα για να βοηθήσει στην ελαχιστοποίηση του μεγέθους των παραγόμενων ενδιάμεσων αρχείων Prolog που χρησιμοποιούν αυτές τις ετικέτες για να αποφασίσει πότε να διακοσμήσετε καταρτίζονται όρους με δεδομένα θέσης πηγή (προς το παρόν, μόνο SWI-Prolog εκμεταλλεύεται το δεδομένα θέσης).
  • ΣΤΑΘΕΡΑ:
  • Ένα αρχείο μπορεί να έχει περισσότερα από ένα γονέα αρχείο.

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

  • βελτιωθεί:
  • Αλλαγές στους όρος ετικέτες που χρησιμοποιούνται κατά τη σύνταξη μεταγλωττισμένο κώδικα για να βοηθήσει στην ελαχιστοποίηση του μεγέθους των παραγόμενων ενδιάμεσων αρχείων Prolog που χρησιμοποιούν αυτές τις ετικέτες για να αποφασίσει πότε να διακοσμήσετε καταρτίζονται όρους με δεδομένα θέσης πηγή (προς το παρόν, μόνο SWI-Prolog εκμεταλλεύεται το δεδομένα θέσης).
  • ΣΤΑΘΕΡΑ:
  • Ένα αρχείο μπορεί να έχει περισσότερα από ένα γονέα αρχείο.

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

  • βελτιωθεί:
  • Αλλαγές στους όρος ετικέτες που χρησιμοποιούνται κατά τη σύνταξη μεταγλωττισμένο κώδικα για να βοηθήσει στην ελαχιστοποίηση του μεγέθους των παραγόμενων ενδιάμεσων αρχείων Prolog που χρησιμοποιούν αυτές τις ετικέτες για να αποφασίσει πότε να διακοσμήσετε καταρτίζονται όρους με δεδομένα θέσης πηγή (προς το παρόν, μόνο SWI-Prolog εκμεταλλεύεται το δεδομένα θέσης).
  • ΣΤΑΘΕΡΑ:
  • Ένα αρχείο μπορεί να έχει περισσότερα από ένα γονέα αρχείο.

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

  • βελτιωθεί:
  • Αλλαγές στους όρος ετικέτες που χρησιμοποιούνται κατά τη σύνταξη μεταγλωττισμένο κώδικα για να βοηθήσει στην ελαχιστοποίηση του μεγέθους των παραγόμενων ενδιάμεσων αρχείων Prolog που χρησιμοποιούν αυτές τις ετικέτες για να αποφασίσει πότε να διακοσμήσετε καταρτίζονται όρους με δεδομένα θέσης πηγή (προς το παρόν, μόνο SWI-Prolog εκμεταλλεύεται το δεδομένα θέσης).
  • ΣΤΑΘΕΡΑ:
  • Ένα αρχείο μπορεί να έχει περισσότερα από ένα γονέα αρχείο.

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

  • βελτιωθεί:
  • Αλλαγές στους όρος ετικέτες που χρησιμοποιούνται κατά τη σύνταξη μεταγλωττισμένο κώδικα για να βοηθήσει στην ελαχιστοποίηση του μεγέθους των παραγόμενων ενδιάμεσων αρχείων Prolog που χρησιμοποιούν αυτές τις ετικέτες για να αποφασίσει πότε να διακοσμήσετε καταρτίζονται όρους με δεδομένα θέσης πηγή (προς το παρόν, μόνο SWI-Prolog εκμεταλλεύεται το δεδομένα θέσης).
  • ΣΤΑΘΕΡΑ:
  • Ένα αρχείο μπορεί να έχει περισσότερα από ένα γονέα αρχείο.

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

  • βελτιωθεί:
  • Αλλαγές στους όρος ετικέτες που χρησιμοποιούνται κατά τη σύνταξη μεταγλωττισμένο κώδικα για να βοηθήσει στην ελαχιστοποίηση του μεγέθους των παραγόμενων ενδιάμεσων αρχείων Prolog που χρησιμοποιούν αυτές τις ετικέτες για να αποφασίσει πότε να διακοσμήσετε καταρτίζονται όρους με δεδομένα θέσης πηγή (προς το παρόν, μόνο SWI-Prolog εκμεταλλεύεται το δεδομένα θέσης).
  • ΣΤΑΘΕΡΑ:
  • Ένα αρχείο μπορεί να έχει περισσότερα από ένα γονέα αρχείο.

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

  • Διορθώθηκε ένα σφάλμα στη σύνταξη του 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? Mi & quot? παράδειγμα για να αποφευχθεί μια σύγκρουση όνομα κατά την εκτέλεση των δοκιμών παράδειγμα μονάδας.
  • Διορθώθηκε ένα σφάλμα στο πρόγραμμα εγκατάστασης των Windows που εμπόδισε την ανίχνευση της YAP 64 bits εκδόσεις. Χάρη στην Stepan Ipatov για την αναφορά σφάλματος.

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

  • Αυτή η έκδοση αλλάζει τη σημασιολογία της συμπλήρωσης των κατηγοριών, επιτρέποντας η χρήση του να επιδιορθώσει υπάρχοντα κώδικα αντικειμένου, διορθώνει δύο σφάλματα κατά την επεξεργασία της μετα-κλήσεις, επιτρέπει ανοικτούς καταλόγους των τερματικών σταθμών στο σώμα των κανόνων DCG, προσθέτει δύο νέα παραδείγματα, και βελτιώνει την υποστήριξη για τον επεξεργαστή Vim κειμένου και για Πληθωρικός ctags.

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

  • Διορθώθηκε ένα σφάλμα στο πρόγραμμα χειρισμού Logtalk compiler runtime όπου απέτυχε να αποσυνθέσει εσωτερική αναγνωριστικά οντότητα όταν ρίχνουν εξαιρέσεις ύπαρξη οντότητα.
  • Ενημέρωση του Lean αρχείο ρυθμίσεων 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? αρχείο του φορτωτή για να φορτώσει και το & quot? meta_compiler_loader.lgt & quot? αρχείο φορτωτή.

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

  • Βελτιστοποιημένη η επεξεργασία των δηλώσεων χειριστή κατά την κατάρτιση αρχεία προέλευσης και δυναμικά τη δημιουργία νέων επιχειρήσεων.
  • Ενημέρωση του compiler Logtalk να χρησιμοποιήσετε τα & quot? Ενότητες & quot? σημαία compiler όταν γίνεται έλεγχος για Prolog υποστήριξη μονάδας, έτσι αποφεύγουν προβλήματα συλλογή με back-end Prolog μεταγλωττιστές που δεν υποστηρίζουν το σύστημα της μονάδας, αλλά εξακολουθεί να καθορίσει (:). / 2 ως ενσωματωμένο κατασκεύασμα ελέγχου ή κατηγόρημα
  • απομακρυσμένης υποστήριξης για την & quot? Startup_message & quot? σημαία compiler & quot? σημαίες (compact) & quot? και & quot? σημαίες (φλύαρη) & quot? τιμές, αντικαθίστανται από ένα ενιαίο αξίας, & quot? σημαίες & quot ;, το οποίο αντιστοιχεί στο παλιό & quot? σημαίες (compact) & quot? αξία.
  • Διορθώθηκε ένα σφάλμα κατά τη χρήση op 3 οδηγίες / με τις create_protocol / 3, create_object / 4, και create_category / 4 ενσωματωμένα κατηγορήματα, όπου οι δηλώσεις τοπικό φορέα θα είναι ορατή έξω από τα νέα πρόσωπα.
  • Διορθώθηκε ένα bug όπου δημιουργώντας μια νέα δυναμική εταιρεία κατά το χρόνο εκτέλεσης θα καθορίσει μια που δεν χρησιμοποιούνται πλέον λογιστικής δυναμική κατηγόρημα που δεν θα καταργηθεί όταν η οικονομική οντότητα έχει καταργηθεί.
  • Διορθώθηκε ένα bug compiler όπου ένας & quot? Σούπερ & quot? καλέστε μέσα από ένα αντικείμενο που η ίδια instantiates μόνο και δεν ειδικεύονται σε κάποιο αντικείμενο, θα ρίξει μια εξαίρεση, αντί της αποτυχίας.
  • Ενημέρωση & quot? Αναφοράς & quot? παράδειγμα με σκοπό την προστασία έναντι εξαιρέσεις αριθμητική κατά τον υπολογισμό του συνολικού αριθμού των κλήσεων ανά δευτερόλεπτο για κάθε δοκιμή. Μείωσε τον αριθμό των επαναλήψεων αναφοράς δοκιμής κατά την εκτέλεση των δοκιμών μονάδα για να αποφευχθεί η χρονοβόρα φορές υπολογιστών με αργή back-end Prolog μεταγλωττιστές.

Τι είναι καινούργιο στην έκδοση 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, οι οποίες επιτρέπουν πέρασμα επιλογές για το back-end Prolog compiler ενσωματωμένα κατηγορήματα που συγκεντρώνουν στο δίσκο και να φορτώσει ένα (συνταχθεί) Prolog σημαία. Η προεπιλεγμένη τιμή και για τις δύο σημαίες είναι η κενή λίστα.
  • Διορθώθηκε ένα σφάλμα κατά την κατάρτιση κλήσεις σε Prolog ιδιόκτητο ενσωματωμένο μετα-κατηγορήματα, όπου ο compiler Logtalk θα μπορούσε να επιχειρήσει να επεξεργάζονται μη μετα-επιχειρήματα ως στόχους. Αυτό το σφάλμα εκδηλώθηκε μόνο με μερικά back-end Prolog compilers όπως Eclipse.
  • Διορθώθηκε ένα σφάλμα κατά την επεξεργασία των οδηγιών προϋποθέτει την κατάρτιση.
  • Διορθώθηκε ένα bug που εμπόδιζε περνώντας ψευδώνυμο 3 οδηγίες / για κλήσεις προς το create_object / 4, create_category / 4 / και 3 ενσωματωμένα κατηγορήματα create_protocol.
  • Αφαιρέθηκε από το ενσωματωμένο αντικείμενο & quot? Logtalk & quot? οι decompile_predicate_head / 4 και decompile_predicate_indicator / 4 καταργηθεί μεθόδους.
  • απομακρυσμένης υποστήριξης για τη μεγάλη καταργηθεί Logtalk metapredicate / 1 της οδηγίας.
  • Διορθώθηκε ένα bug απόδοση όταν caching κλήσεις προς κατηγορήματα κατηγορία όπου οι προσωρινά αποθηκευμένες καταχωρήσεις θα μπορούσε να είναι πιο συγκεκριμένες από ό, τι είναι απαραίτητο όταν εργάζεστε με παραμετρικές κατηγορίες.
  • Βελτιωμένη προσωρινή αποθήκευση & quot? Σούπερ & quot? καλεί μέσα από πρωτότυπα. Προηγουμένως, όλοι οι προσωρινά αποθηκευμένες καταχωρήσεις θα εξειδικεύεται από την αξία των & quot? Αυτο & quot? προκειμένου να αντιμετωπιστούν κατάλληλα με τις ειδικές περιπτώσεις όπου ένα αντικείμενο δύο instantiates και ειδικεύεται άλλα αντικείμενα.
  • Ενημέρωση του compiler Logtalk να ενεργοποιήσετε οποιεσδήποτε δηλώσεις του φορέα εκμετάλλευσης βρίσκονται στην κατηγόρημα οδηγίες πεδίο κατά τη διάρκεια της κατάρτισης των φορέων που περιέχουν τις οδηγίες.
  • Βελτιωμένη η απόδοση του coinductive κατηγορημάτων όταν χρησιμοποιούν το back-end compilers Prolog, όπως SICStus Prolog που δεν παρέχουν τη δομή ελέγχου μαλακό-cut, αλλά παρέχουν το μαλακό-cut ενσωματωμένο μετα-κατηγόρημα (αν / 3).
  • Διορθώθηκε ένα bug όπου θα μπορούσε να εκτυπωθεί μια πλαστή έκθεση των προειδοποιήσεων σύνταξης / φόρτωσης, όταν ένα αρχείο προέλευσης συντάχθηκε / φορτωμένο με τον compiler σημαία & quot? Έκθεσης & quot? απενεργοποιημένο.
  • Προστέθηκε μια & quot? Streamvars & quot? αντικειμένου βιβλιοθήκης, που προέρχεται από την υφιστάμενη & quot? assignvars & quot? κατηγορία της βιβλιοθήκης, το οποίο διαθέτει υποστήριξη για την προσθήκη και την ανάκτηση όρους (που μπορεί να είναι μεταβλητές) από & quot? ρεύμα & quot? μεταβλητή.
  • Ενημέρωση & quot? Coinduction & quot? παράδειγμα, εκμεταλλευόμενοι την αυξημένη coinductive οδηγία / 1 και τη διεύρυνση του αριθμού των μεμονωμένων παραδειγμάτων που μπορούν να εκτελεστούν χρησιμοποιώντας SICStus Prolog. Προστέθηκε ένα μοντέλο ελέγχου παράδειγμα, χρησιμοποιώντας coinduction, coroutining, και τους περιορισμούς.
  • Ενημέρωση & quot? Metapredicates & quot? παράδειγμα με δείγμα κώδικα που απεικονίζουν το πώς να καθορίσει περιτυλίγματα για τις / 3 και setof / 3 ενσωματωμένες μεθόδους bagof όταν η μετα-επιχείρημα μπορεί να περιέχει υπαρξιακά ειδική μεταβλητές.
  • Ενημέρωση το & quot? CC & quot? παράδειγμα, τη διόρθωση κατηγόρημα ορισμούς για διάφορες back-end Prolog compilers και προσθέτοντας κάποιες βασικές δοκιμές μονάδα.
  • Ενημέρωση & quot? Κωδικοποιήσεις & quot? παράδειγμα με περιορισμένη υποστήριξη για Lean Prolog.
  • Προστέθηκε λείπουν εγγραφές για την meta_non_terminal οδηγία / 1 και για την κλήση // Ν μη τερματικό για το & quot? Βοηθήσει & quot? παράδειγμα.
  • Προστέθηκε ένα αναλυτή για PDDL 3.0 αρχεία, εισφέρει Robert Sasak.
  • Κωδικός Προστέθηκε αναδίπλωση στήριξη στον επεξεργαστή κειμένου SubEthaEdit. Προστέθηκε κωδικός πτυσσόμενα υποστήριξη για υπό όρους μπλοκ σύνταξη με τα προγράμματα επεξεργασίας κειμένου Kate, Vim, και TextMate.
  • Ενημέρωση τα σενάρια ένταξης προκειμένου να φορτώσει το αρχείο μονοπάτια της βιβλιοθήκης πριν από τη φόρτωση του Logtalk compiler / runtime. Η αλλαγή αυτή έχει ως στόχο να απλοποιήσει τη φόρτωση της βιβλιοθήκης και παράδειγμα αρχεία από τα αρχεία ρυθμίσεων. Επιπλέον, επίσης, να αναζητήσετε τον κατάλογο εγκατάστασης Logtalk στο $ HOME / μετοχή, όταν η μεταβλητή περιβάλλοντος LOGTALKHOME δεν ορίζεται.
  • Ενημέρωση του προγράμματος εγκατάστασης των Windows, προκειμένου να στηρίξει Lean Prolog και τον εντοπισμό YAP 64 bits εκδόσεις.

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

  • Προστέθηκε πειραματική υποστήριξη για Lean Prolog
  • Αφαιρέθηκε ο περιορισμός Logtalk compiler που ανάγκασε discontiguous / 1 και δυναμική / 1 οδηγίες να προηγείται κλήσεις προς τις δηλωθείσες κατηγορήματα.
  • Βελτιωμένη η έκθεση Logtalk compiler της misspelt κλήσεις προς μη τερματικά στους κανόνες της γραμματικής.
  • Να επιτρέπεται η χρήση του:. Έλεγχος / 1 κατασκευάσει στο σώμα των κανόνων γραμματικής
  • Όταν τον εντοπισμό σφαλμάτων μηνύματα που αναφέρονται στο χρήσεων / 2 των οδηγιών, το μήνυμα είναι τώρα τυπώνεται εμμέσως προσόντα όπως στον πηγαίο κώδικα γραμμένο από τον χρήστη.
  • Άλλαξε τα εσωτερικά κατηγορήματα που χρησιμοποιούνται για την εφαρμογή του ενσωματωμένα κατηγορήματα multi-threading, προκειμένου να διευκολυνθεί η ενσωμάτωση με υψηλού επιπέδου εργαλεία εντοπισμού σφαλμάτων που απαιτούν μεταγλώττιση του παραγόμενου κώδικα Prolog.
  • Διορθώθηκε ένα σφάλμα στη βιβλιοθήκη υποστήριξη για τις δοκιμές μονάδα, & quot?. Lgtunit & quot ;, όπου οι δοκιμές για εξαιρέσεις θα δεχθεί οποιαδήποτε όρος εξαίρεση, καθώς σύμφωνα με τις προδιαγραφές της δοκιμής μονάδα
  • Ενημέρωση το & quot? CC & quot? παράδειγμα, με διορθώσεις σφαλμάτων και βελτιώσεις για ECLiPSe εισφέρει Joachim Schimpf, με μια αποτύπωση bug για την εφαρμογή SWI-Prolog του expand_path / 2 κατηγόρημα (που προκύπτουν από τις πρόσφατες αλλαγές στον SWI-Prolog absolute_file_name / 3 ενσωματωμένο κατηγόρημα), και με ένας ορισμός για την command_line_arguments / 1 κατηγόρημα για B-Prolog.
  • Ενημέρωση & quot? Coinduction & quot? παράδειγμα, προσθέτοντας κάποια πιο μεμονωμένα παραδείγματα.
  • Ενημέρωση το & quot? Xml_parser & quot? συμβολή προκειμένου να επιλύσετε φορητότητα ζητήματα με το GNU Prolog.
  • Διορθώστε ένα σφάλμα σε ορισμένες σενάρια κελύφους όπου & quot? # / Bin / bash & quot? χρησιμοποιήθηκε αντί του & quot? #! / bin / bash & quot ;. Χάρη στη Γιώργος Αδαμόπουλος για την αναφορά σφάλματος.
  • Ενημέρωση του προγράμματος Setup Inno GUI των Windows σενάριο εγκατάστασης, προκειμένου να επιτρέψει την πλήρη εγκατάσταση από τους χρήστες μη-διαχειριστή.
  • Προστέθηκε χρωματισμό σύνταξης υποστήριξη για την οδηγία ISO Prolog περιλαμβάνουν / 1 σε όλες τις υποστηριζόμενες προγράμματα επεξεργασίας κειμένου και επισημάνσεις σύνταξη.
  • Διόρθωση κάποια σφάλματα στην καρτέλα ενεργοποιεί τα αποσπάσματα Gedit Logtalk που εμπόδισε τη χρήση τους.
  • Άλλαξε πίσω στη χρήση XEP αντί FOP κατά την παραγωγή των εκδόσεων PDF των εγχειριδίων χρήστη και τον Αναφορά ως FOP περικόπτει το περιεχόμενο ορισμένων από τις σελίδες.

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

  • Προστέθηκε μια entity_prefix / 2 κατηγόρημα και δύο σύνολα κατηγορήματα χρησιμότητα, decompile_predicate_heads / 2-4 και decompile_predicate_indicators / 2-4, με το & quot? logtalk & quot? ενσωματωμένο αντικείμενο. Σηματοδότησε την decompile_predicate_head / 4 και decompile_predicate_indicator / 4 ως ξεπερασμένο.
  • Προστέθηκε υποστήριξη για τη διατήρηση των πληροφοριών δυνατότητες στους φορείς εκμετάλλευσης που δηλώθηκαν με τη χρήση των οδηγιών πεδίου κατά τη διάρκεια της μεταγλώττισης. Προστέθηκε πληροφορίες σχετικά οντότητα δηλώνονται φορείς στην XML τεκμηρίωση των αρχείων. Ενημερώθηκε τους κείμενο, PDF, και (Χ) σενάρια μετατροπή HTML για να εκτυπώσετε τις πληροφορίες του φορέα.
  • Εφαρμοσμένη αρκετά χαμηλού επιπέδου βελτιστοποιήσεις στην Logtalk compiler / runtime.
  • Μεταφέρθηκε οι εσωτερικές κατηγορήματα που κατασκευάζουν και να αποκτήσετε πρόσβαση στο πλαίσιο εκτέλεσης κατηγόρημα από τον compiler στα αρχεία ρυθμίσεων Prolog, προκειμένου να στηρίξει πρόστιμο ρύθμισης απόδοσης που είναι Prolog compiler εξαρτάται.
  • Ενημέρωση της εφαρμογής του σπείρωμα / 1 multi-threading ενσωματωμένο κατηγόρημα για να χρησιμοποιήσετε ένα μικρό βελτιστοποίηση των επιδόσεων με βάση τις term_variables / 2 ενσωματωμένο κατηγόρημα που προτείνεται από τον Timon Van Overveldt. Αυτή η βελτιστοποίηση έχει ως στόχο να μειώσει τις περιττές αντιγραφή και ενοποίηση των όρων. Επιπλέον, αντικαταστήστε τη χρήση του setup_call_cleanup / 3 ενσωματωμένο κατηγόρημα με το / 3 ενσωματωμένο κατηγόρημα αλιευμάτων μέσω της απλοποίησης χειρισμό των δύο master και slave κλωστές, η οποία βελτιώνει επίσης την απόδοση.
  • Διορθώθηκε ένα σφάλμα κατά την εκτέλεση του σπείρωμα / 1 multi-threading ενσωματωμένο κατηγόρημα όπου η αποτυχία από τον χρήστη να ορίσει ανεξάρτητους στόχους, όταν προσπαθούν να χρησιμοποιήσουν ανεξάρτητη και-παραλληλισμού θα οδηγήσει σε θέματα ζόμπι.
  • Περισσότερα κατατοπιστική όσον αφορά την εξαίρεση, όταν προσπαθεί να κηρύξει συγχρονισμένη κατηγόρημα ως δυναμική ή μια δυναμική κατηγόρημα όπως συγχρονισμένη.
  • Ενημέρωση του αρχείου config XSB, προκειμένου να στηρίξει την κατάρτιση των ενοτήτων ως αντικείμενα. Προστέθηκε έναν ορισμό για το χαμένο setup_call_catcher_cleanup / 4 ενσωματωμένο κατηγόρημα. XSB 3.3 (ή νεότερη έκδοση) είναι τώρα απαιτούνται για τη συμβατότητα με Logtalk.
  • Ενημέρωση του αρχείου config SWI-Prolog προκειμένου να παρέχουν περιορισμένη υποστήριξη για τον / 1 ιδιόκτητο οδηγία arithmetic_function (οι αριθμητικές λειτουργίες μεταγλώττιση ως παγκόσμια αντί οι τοπικές στα αντικείμενα ή τις κατηγορίες που καθορίζει τους).
  • Ενημέρωση του αρχείου config YAP προκειμένου να αγνοήσει την / 1 της οδηγίας style_check και να ερμηνεύσει την yap_flag / οδηγία 2 ως / 2 της οδηγίας set_prolog_flag.
  • Άλλαξε το προεπιλεγμένο επεξεργαστή XSL-FO (που χρησιμοποιείται για να δημιουργήσει τις εκδόσεις PDF των εγχειριδίων χρήστη και αναφοράς) από XEP να FOP.
  • Ενημέρωση το & quot? Xml_parser & quot? συμβολή προκειμένου να επιλύσετε φορητότητα ζητήματα με Qu-Prolog, SICStus Prolog, και XSB.
  • Ενημέρωση & quot? Κωδικοποιήσεις & quot? παράδειγμα, προκειμένου να διασφαλιστεί ότι η δεν υπάρχει κενό πριν από το / 1 της οδηγίας κωδικοποίηση.
  • Ενημέρωση & quot? Attvars & quot? παράδειγμα προκειμένου να στηρίξει Β-Prolog και XSB. Επίσης πρόσθεσε υποστήριξη για τη χρήση που αποδίδονται μεταβλητές μέσα Logtalk παραμετρικών αντικειμένων και παραμετρική κατηγορίες. Χάρη στις Ιαν Wielemaker, VAtor Santos Costa, και Bart Demoen για την ανατροφοδότηση και την υλοποίηση προτάσεων.
  • Ενημέρωση & quot? Profilers & quot? παράδειγμα με την προκαταρκτική υποστήριξη για τις αλλαγές στην εκτέλεση προφίλ στο SICStus Prolog 4.2 έκδοση.
  • Ενημέρωση το & quot? Επέκταση & quot? παράδειγμα με περισσότερες δείγμα κώδικα για το πώς να συνδυάσει ορίζοντα, και τους ορισμούς του στόχου-επέκτασης από διαφορετικές άγκιστρα αντικείμενα.
  • Ενημέρωση & quot? Coinduction & quot? Παραδείγματος χάριν, προσθέτοντας ένα πειραματικό keysort / 2 coinductive κατηγόρημα. Χάρη στις Ιαν Burse για την πρόταση.
  • Ενημέρωση & quot? Τακ & quot? multi-threading παράδειγμα όπου ένας λείπει περικοπή θα οδηγήσει σε γρήγορη εξάντληση της τοπικής στοίβα όταν χρησιμοποιούν το SWI-Prolog λόγω της δημιουργίας ενός πολύ μεγάλου αριθμού των περιττών σημείων επιλογής.
  • Ενημέρωση & quot? Mtbatch & quot? multi-threading παράδειγμα, προκειμένου να παρέχει ευρύτερη συγκριτική αξιολόγηση των & quot? τακ & quot? παράδειγμα.
  • Ενημέρωση της portfile MacPorts και το σενάριο που θα ενημερώνει για να αφαιρέσετε τον υπολογισμό της το MD5 checksum, το οποίο καταργείται σταδιακά από MacPorts.
  • Ενημέρωση του προγράμματος Setup Inno GUI των Windows σενάριο εγκατάστασης για να επιλύσετε ένα σφάλμα σχετικά με τις εγκαταστάτες SWI-Prolog Windows όπου η διαδικασία απεγκατάστασης αποτύχει να διαγράψετε τα κλειδιά SWI-Prolog από το μητρώο των Windows.

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

  • Να επιτρέπεται η δυναμική κατηγορήματα που δηλώνονται σε μια κατηγορία που θα ονομάζεται σε & quot? αυτό το & quot? από εντός της κατηγορίας. Σε προηγούμενες εκδόσεις, σε τέτοιου είδους κλήσεις θα οδηγήσει σε ένα σφάλμα μεταγλώττισης, αναγκάζοντας αυτά τα κατηγορήματα που θα ονομάζεται στο & quot? Αυτο & quot? (Χρησιμοποιώντας το μήνυμα :: / 1 αποστολή κατασκεύασμα ελέγχου).
  • Προστέθηκε Logtalk compiler υποστήριξη για προ-μεταγλωττισμένα κεφάλια ρήτρα (με τη χρήση του {} κατασκεύασμα ελέγχου / 1). Αυτό το χαρακτηριστικό είναι κυρίως χρήσιμο όταν χρησιμοποιούν το μηχανισμό όρο-επέκτασης.
  • Διορθώθηκε ένα σφάλμα στον κώδικα που απλοποιεί τις ρήτρες κατηγόρημα που δημιουργούνται από την κατάρτιση των κανόνων γραμματικής. Ο κώδικας θα βρόχου, όταν ένας κανόνας της γραμματικής περιείχε ένα μετα-μεταβλητή, την οποία η Logtalk compiler έπρεπε (αλλά επί του παρόντος δεν) έκθεση ως παράνομη (η κατασκευή κλήσης / 1 ελέγχου θα πρέπει να χρησιμοποιούνται αντί για την υπόθεση αυτή).
  • Απλοποιημένη η συλλογή των κλήσεων στο πλαίσιο της ψευδο-αντικείμενο & quot? Χρήστη & quot?.
  • Προστέθηκε μια εντολή πρόγραμμα εντοπισμού σφαλμάτων & quot? P & quot? στην Logtalk ενσωματωμένο πρόγραμμα εντοπισμού σφαλμάτων. Αυτή η εντολή εκτυπώνει την τρέχουσα στόχο χρησιμοποιώντας το κατηγόρημα εκτύπωσης / 1 όταν θα είναι διαθέσιμα. Μετονομάστηκε την εντολή εντοπισμού σφαλμάτων & quot? Q & quot? σε & quot? Q & quot ;. Διορθώθηκε ένα σφάλμα, όπου η εντολή πρόγραμμα εντοπισμού σφαλμάτων & quot? Ν & quot? δεν θα αναγνωρίζεται. Άλλαξε την εντολή εντοπισμού σφαλμάτων & quot? D & quot? να παραθέσω την άποψη όταν είναι απαραίτητο.
  • Προστέθηκε μια μερική εφαρμογή του predicate_property / 2 κατηγόρημα ISO Prolog στο αρχείο config Eclipse.
  • Ενημέρωση του αρχείου config SWI-Prolog για να αφαιρέσετε την λανθασμένη δήλωση των βιβλιοθηκών μετα-κατηγορήματα dde_register_service / 2, ώρα / 1, και όταν / 2 ως ενσωματωμένο μετα-κατηγορήματα.
  • Εφαρμοσμένη μια λύση bug στα & quot? Σημαίες & quot? συνεισφορά που διατίθενται από το συντάκτη του, Θεόφραστος Mantadelis. Επιλύσετε ένα ζήτημα συμβατότητας με το GNU Prolog.
  • Προστέθηκε μια memberchk / 2 κατηγόρημα στη βιβλιοθήκη & quot? SETP & quot? πρωτόκολλο και & quot? ορίσετε & quot? αντικείμενο. Προστέθηκε κατηγορήματα is_control / 1, is_newline / 1, και is_end_of_line / 1 στη βιβλιοθήκη & quot? Characterp & quot? και & quot? χαρακτήρα & quot? οντότητες.
  • Προστέθηκε ένα πειραματικό παράδειγμα χρήσης αποδίδεται μεταβλητές μέσα Logtalk αντικείμενα και κατηγορίες. Επί του παρόντος, απαιτεί τη χρήση YAP ή SWI-Prolog ως back-end Prolog compiler.
  • Προστέθηκε υποστήριξη για indexicals στο & quot? Περιορισμούς / sicstus & quot? παράδειγμα.
  • Επέκταση & quot? Συνέδρους & quot? παράδειγμα με την εφαρμογή δείγμα ενός εξουσιοδοτούντος χρησιμοποιώντας μια παραμετρική αντικείμενο.
  • Επέκταση & quot? Dynpred & quot? παράδειγμα για να δείξουμε πώς να καθορίσει κατηγορήματα κατηγορία που χειρίζονται δυναμικά κατηγορήματα στο πλαίσιο του & quot? αυτό το & quot? και στο πλαίσιο του & quot? αυτο & quot?.
  • Προστέθηκε μια wall_time / 1 κατηγόρημα στο & quot? CC & quot? παράδειγμα.
  • Ενημέρωση η επισήμανση σύνταξης αρχεία δοκιμής, προσθέτοντας λείπουν αλήθεια / 0 και αποτυγχάνουν / 0 δομές ελέγχου.

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

  • Ενημέρωση του compiler Logtalk προκειμένου να επιτραπεί ο έλεγχος για ιδιοτήτων των μονάδων κατηγόρημα χωρίς να απαιτείται εισαγωγή των κατηγορήματα σε & quot? χρήστη & quot? (Σημειώστε, ωστόσο, ότι η μονάδα θα πρέπει και πάλι να φορτωθεί πριν από τη σύνταξη των αρχείων προέλευσης καλώντας τα κατηγορήματα ενότητα).
  • Ενημέρωση του compiler Logtalk, προκειμένου να ελέγξει μεταγλώττιση χρόνο αρχικοποιείται επιχειρήματα κλείσιμο της κλήσης / 2-N στόχους για κοινά σφάλματα προγραμματισμού.
  • Ενημέρωση του compiler Logtalk, προκειμένου να δημιουργήσει τις προειδοποιήσεις για τις εκφράσεις λάμδα με μεταβλητές που δεν έχουν δηλωθεί είτε ως ελεύθερες μεταβλητές ή οι παράμετροι λάμδα ή με μεταβλητές που δηλώνονται ως δύο ελεύθερες μεταβλητές και οι παράμετροι λάμδα. Χάρη στις Ιαν Burse για την υποβολή προτάσεων αυτών των ελέγχων λογική.
  • Ενημέρωση του χρόνου εκτέλεσης Logtalk προκειμένου να υποστηρίξει τη χρήση του & # X3C? & # X3C? / 2 ελέγχου κατασκευάσει το κλείσιμο μετα-επιχειρήματα της μετα-κατηγορήματα
  • .
  • Προστέθηκε υποστήριξη για την κατάρτιση Δωρεάν / Γκολ κλήσεις έκφρασης λάμδα (από την αυτόματη δημιουργία ενός βοηθητικού κατηγόρημα όποτε αυτό είναι δυνατό).
  • Προστέθηκε μια compile_aux_clauses / 1 δημόσιες μέθοδο, η οποία βασίζεται σε ένα κατηγόρημα με το ίδιο όνομα σε SWI-Prolog, με το ενσωματωμένο αντικείμενο & quot? Logtalk & quot ;. Αυτή η μέθοδος καλείται συνήθως από goal_expansion / 2 γάντζους, προκειμένου να καταρτίσει βοηθητικό ρήτρες που δημιουργούνται για την υποστήριξη επεκτάθηκε στόχο.
  • Προστέθηκε η μετα-κατηγόρημα αγνοούν / 1, που υλοποιείται από ορισμένους compilers Prolog ως ενσωματωμένο κατηγόρημα, ως Logtalk ενσωματωμένη μέθοδο.
  • Ενημέρωση του αρχείου config SWI-Prolog, προκειμένου να εμποδίσει την αυτόματη φόρτωση των βιβλιοθηκών της μονάδας όταν επερώτηση κατηγόρημα ιδιότητες από Logtalk.
  • Ενημέρωση του Qu-Prolog, SICStus Prolog, και τα αρχεία ρυθμίσεων XSB προκειμένου να διαθέσει το κατηγόρημα term_variables / 2 ως ISO ενσωματωμένο κατηγόρημα.
  • Ενημέρωση τα σενάρια ένταξης Qu-Prolog για να διπλασιάσει την αξία μέγεθος σωρού για την κατάρτιση του Logtalk compiler / runtime, την επίλυση ενός εκκίνηση συντριβή.
  • αποκατασταθεί η εντολή-αρχείο MacOS X για το GNU Prolog (ανέβηκε από το & quot? Scripts / MacOSX / command_files / μη υποστηριζόμενο & quot? Φάκελο).
  • Προστέθηκε κατηγορήματα findall_member / 4-5 με το αντικείμενο βιβλιοθήκη & quot? Meta & quot? (Με βάση το σχέδιο Prolog πρόταση βιβλιοθήκη Richard O'Keefe του). Αφαιρέθηκε δήλωση και ορισμός των κατηγορημάτων απαιτητών / 1 και αγνοούν / 1 από τις οντότητες βιβλιοθήκη & quot? METAP & quot? και & quot? meta & quot? (Απαιτητών / 1 είναι ένα ενσωματωμένο κατηγόρημα σε όλες τις υποστηριζόμενες μεταγλωττιστές Prolog? Αγνοήσει / 1 είναι πλέον μια Logtalk ενσωματωμένη μέθοδο)
  • .
  • Προστέθηκε ένα αντικείμενο βιβλιοθήκης, & quot? Meta_compiler & quot ;, που μπορούν να χρησιμοποιηθούν ως αντικείμενο γάντζο για να επεκτείνει τις κλήσεις προς τα μετα-κατηγορήματα που ορίζονται στο αντικείμενο βιβλιοθήκη & quot? Meta & quot? προκειμένου να αποφευχθούν τα γενικά έξοδα μετα-κλήση. Στις περιπτώσεις κατά τις οποίες δεν μπορεί να βελτιστοποιηθεί η κλήση μετα-κατηγόρημα, η προεπιλεγμένη ορισμός για το & quot? Meta & quot? Χρησιμοποιείται αντικείμενο. Χρησιμοποιώντας δομές ελέγχου, όπως μετα-επιχειρήματα δεν είναι (ακόμα). Έργο σε εξέλιξη.
  • Προστέθηκε ένα πρωτόκολλο, & quot? Loggingp & quot ;, και την κατηγορία και το αντικείμενο υλοποιήσεις, & quot? Υλοτομία & quot? και & quot?. καταγραφικό & quot ;, δηλώνοντας και ορίζει τις βασικές λειτουργίες για την καταγραφή γεγονότων στα αρχεία στη βιβλιοθήκη
  • Προστέθηκε ένα πρωτόκολλο, & quot? Intervalp & quot ;, και ένα αντικείμενο, & quot? Διαστήματος & quot ;, δηλώνοντας και τον καθορισμό των βασικών χρονικών σχέσεων διάστημα στη βιβλιοθήκη (με βάση το έργο του James F. Allen Διάστημα Άλγεβρα)
  • .
  • Προστέθηκε μια κατηγορία εφαρμογή που ονομάζεται μετρητές ακέραιος, & quot?. Μετρητές & quot ;, στη βιβλιοθήκη
  • Προστέθηκε κατηγορήματα proper_prefix / 2 και proper_suffix / 2 στις οντότητες βιβλιοθήκη & quot? Listp & quot ;, & quot? Κατάλογος & quot ;, και & quot? Difflist & quot?.
  • Προστέθηκε κατηγόρημα μεταφορά / 2 με το αντικείμενο βιβλιοθήκη & quot? Ζεύγη & quot?.
  • Προστέθηκε δύο ψευδο-παραδείγματα για τους σκοπούς της δοκιμής, & quot? Lambdas_compiled & quot? και & quot? metapredicates_compiled & quot ;, που κάνουν χρήση του νέου αντικειμένου βιβλιοθήκης
  • & quot? Meta_compiler & quot?.
  • Ενημέρωση το & quot? Επέκταση & quot? παράδειγμα για να δείξουμε πώς να καθορίσει και να συνδυάσετε αντικείμενα γάντζο.
  • Προστέθηκε υποστήριξη για τη χρήση του πακέτου SyntaxHighlighter (έκδοση 3.0.83 ή αργότερα) από τον Alex Γκορμπατσώφ με τον πηγαίο κώδικα Logtalk.
  • Προστέθηκε λείπει χρωματισμό σύνταξης του άλλου / 0 όρους της οδηγίας σύνταξη με την υποστήριξη GNU Πηγή-highlight highlighter.
  • Προστέθηκε μια σημείωση για την υποστήριξη επεξεργασίας κειμένου Logtalk διατίθεται στην ελεύθερη MacOS X Kod επεξεργαστή κειμένου.
  • Προστέθηκε χρωματισμό σύνταξης υποστήριξη για τη νέα αγνοούν / 1 ενσωματωμένη μέθοδο για όλες τις υποστηριζόμενες προγράμματα επεξεργασίας κειμένου και επισημάνσεις σύνταξη.

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

  • Προστέθηκε υποστήριξη για τον compiler Logtalk για τον εντοπισμό και την υποβολή εκθέσεων λείπει δυναμικές οδηγίες / 1 κατηγόρημα / 1 και discontiguous.
  • Προστέθηκε μια νέα σημαία πανί, & quot? Missing_directives & quot ;, με μια προκαθορισμένη τιμή των & quot? Προειδοποίηση & quot ;, σε όλα τα αρχεία ρυθμίσεων. Αυτή η σημαία επιτρέπει την εκτύπωση των προειδοποιήσεων compiler για τα εξαφανισμένα δυναμική / 1, discontiguous / 1, και Multifile / 1 κατηγόρημα οδηγίες.
  • Προστέθηκε υποστήριξη για νέους δείκτες λειτουργία πρότυπο μετα-κατηγόρημα: (/) για ένα δείκτη κατηγόρημα, [/] για μια λίστα των κατηγόρημα δεικτών, και [0] για μια λίστα των στόχων
  • .
  • Διορθώθηκε ένα σφάλμα στο μεταγλωττιστή Logtalk κατά τον έλεγχο κεφάλια ρήτρα μετα-κατηγόρημα για σφάλματα, όταν το & quot? :: & Quot? Ένδειξη λειτουργίας μετα-επιχείρημα αυτό εξακολουθεί να ερμηνευθεί ως & quot? 0 & quot?.
  • Διορθώθηκε ένα σφάλμα στο χειρισμό του κλεισίματος (στη μετα-κλήσεις) που χρησιμοποιούνται για την κατασκευή κλήσεις προς έλεγχο κατασκευάσματα ή ενσωματωμένα κατηγορήματα που θα μπορούσε να οδηγήσει σε καλώντας κάποια μετα-επιχειρήματα σε λάθος πλαίσιο. Χάρη στην Ulrich Neumerkel για την απεικονίζει παράδειγμα στην λίστα SWI-Prolog.
  • Ενημέρωση του compiler Logtalk προκειμένου να αποφευχθούν οι προειδοποιήσεις εκτύπωση περίπου λείπουν αναφορές στο & quot? Επέκταση & quot? και & quot? παρακολούθησης & quot? ενσωματωμένη πρωτόκολλα κατά τη σύνταξη ενότητες ως αντικείμενα.
  • Επαναφορά των αλλαγών στην έκδοση 2.39.2 που επέτρεψε την ψευδο-αντικείμενο & quot? Χρήστη & quot? να περιέχει ουσιαστικά τον ορισμό όλων των Prolog ενσωματωμένα κατηγορήματα. Αυτό θα μπορούσε να οδηγήσει σε διαφορετικά αποτελέσματα ανάλογα με το back-end Prolog compiler, ειδικά όταν καλώντας μετα-κατηγορήματα στο πλαίσιο του & quot? Χρήστη & quot?.
  • Διορθώθηκε ένα bug στο SWI-Prolog & quot? Swihooks.lgt & quot? αρχείο που οδήγησε σε μια ψευδή μήνυμα σφάλματος σχετικά με μη έγκυρο σημαία Logtalk όταν διαβούλευση με ένα αρχείο Prolog όταν υπάρχει ένα αρχείο προέλευσης Logtalk με το ίδιο όνομα στον ίδιο κατάλογο.
  • Προστέθηκε λείπει υποστήριξη για ιδιόκτητο ενσωματωμένο μετα-κατηγορήματα στην Β-Prolog, SICStus Prolog, SWI-Prolog, XSB, και τα αρχεία YAP config.
  • Ενημέρωση της SICStus Prolog, SWI-Prolog, και τα αρχεία YAP ρυθμίσεων, ώστε να παρακάμψετε τις μετα-κατηγόρημα πρότυπα για το συμβουλεύονται / 1 και load_files / 2 ενσωματωμένα κατηγορήματα.
  • Προστέθηκε μια εφαρμογή ενός map_reduce / 5 μετα-κατηγόρημα με το αντικείμενο βιβλιοθήκη & quot? Meta & quot?.
  • Προστέθηκε μια εφαρμογή ενός command_line_arguments / 1 κατηγόρημα στο & quot? CC & quot? παράδειγμα.
  • Ενημέρωση & quot? Λάμδα & quot? και & quot? metapredicates & quot? παραδείγματα, που απεικονίζουν το πώς να υπολογίσει τους αριθμούς Fibonacci χρησιμοποιώντας μια πτυχή αριστερά μετα-κατηγόρημα. Ενημερώθηκε η & quot? Metapredicates & quot? παράδειγμα με ένα παράδειγμα χρήσης της map_reduce / 5 μετα-κατηγόρημα.
  • Ενημέρωση & quot? Problog & quot? παράδειγμα, προσθέτοντας προκαταρκτική υποστήριξη για τη νέα σύνταξη σχολιασμένη διαχωρισμούς.
  • Προστέθηκε μια & quot? Μαγεία & quot? στοιχείο στο αρχείο mime-type Logtalk για τον κοινόχρηστο freedesktop.org mime-info βάση δεδομένων.

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

  • Προστέθηκε μια εφαρμογή της επίμονης σημαίες αντικειμένου
  • Προστέθηκε ένα νέο ζευγάρι ενσωματωμένα κατηγορήματα, conforms_to_protocol / 2-3, για την εφαρμογή της μεταβατικό κλείσιμο της σχέσης εφαρμογή του πρωτοκόλλου.
  • Προστέθηκε μια πειραματική οδηγία, το σχολιασμό / 1, για την υποστήριξη της ενσωμάτωσης Logtalk με άλλες γλώσσες όπως ProbLog και ΧΡ.

















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

Gauche
Gauche

13 May 15

Poly/ML
Poly/ML

12 May 15

Classify.js
Classify.js

12 May 15

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

Logtalk
Logtalk

14 Apr 15

Σχόλια για Logtalk

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