SWI-Prolog

Είναι χρήσιμο σκοπό τη λογική του προγραμματισμού, της τεχνητής νοημοσύνης και υπολογιστική γλωσσολογία

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

• Η νέου τύπου dict και το συντακτικό παρέχει δύο χάρτες χρόνου και του χώρου αποτελεσματική ονόματος-τιμής, με ευχάριστη σύνταξη.
• Κατά συνέπεια, ήταν αναγκαίο να αντικαταστήσει τον κατασκευαστή λίστα (H, T) με το (επίσης σε χρήση από τον Ερμή) «[|]». (H, T). Αυτό μπορεί να φαίνεται δραματική, αλλά στην πράξη επηρεάζει μόνο μερικά προγράμματα, κυρίως κάνοντας functor (Term, F, Α) σχετικά με τους καταλόγους και, στη συνέχεια, επιλέγοντας περαιτέρω επεξεργασία F == '.', A == 2. Για να ενεργοποιήσετε λίστες περισσότερο σε μια ειδική κατασκευή, [], εξακολουθεί να είναι η κενή λίστα, αλλά δεν είναι πλέον το ίδιο με το «[]», δηλαδή, [] δεν είναι σε άτομο.
• Η σύνταξη & quot? ... & quot? τώρα αντιστοιχίζονται με χορδές. Χορδές είναι συμβατά με ECLiPSe (χάρη στον Joachim Schimpf για όλες τις συζητήσεις). Παραδοσιακά κωδικό κατάλογοι καταρτίζονται με τη χρήση .... Οι σημαίες double_quotes και back_quotes ρυθμίσετε αυτή τη συμπεριφορά.
• Χάρη σε Torbjorn Lager, έχουμε & quot? Pengines & quot ;, κινητήρες Prolog στο διαδίκτυο. Αυτό παρέχει ένα γενικό API για να μιλήσει άνετα σε ένα διακομιστή Prolog από JavaScript και άλλες περιπτώσεις Prolog. Επέτρεψε SWISH, SWI-Prolog στο φυλλομετρητή σας (http://swish.swi-prolog.org), καθώς και http://lpn.swi-prolog.org (Prolog Μάθετε τώρα! Ενσωματωμένο με SWISH).
• Ο Markus Triska προστίθεται CLP (β), το boolean περιορισμό λύτης, βελτίωσε CLP του (FD) και ήταν πριν από αρκετές βελτιώσεις στο πιο ψηλό επίπεδο που ασχολούνται με περιορισμούς.
• Χάρη στον Matt ϋΙΙβγ και ο Mike Elston, υπάρχει CQL, μια DSL (Domain συγκεκριμένης γλώσσας) για την αντιμετώπιση SQL. CQL αναπτύσσεται σε ένα περιβάλλον όπου πολύπλοκες βάσεις δεδομένων SQL είναι ο κανόνας και ως εκ τούτου, υποστηρίζει ένα μεγάλο υποσύνολο της SQL και μπορεί να ασχοληθεί με τους πίνακες με χιλιάδες στήλες και άλλα πράγματα ότι η ocasional χρήστης SQL δεν θα περίμενε κανείς.
• Ματ ϋΙΙβγ βελτιωμένη υποστήριξη δικτύωσης σημαντικά, συμπεριλαμβανομένων των πολύ καλύτερη υποστήριξη για SSL και γενικότερη υποστήριξη τόσο HTTP και κάλτσες διακομιστές μεσολάβησης.
• Πολλοί άνθρωποι έχουν παράσχει add-ons (πακέτα) που βασίζονται σε SWI-Prolog έκδοση 7.

Τι είναι καινούργιο στην έκδοση 7.2.1 / 7.3.3-dev:

• Ο νέος τύπος dict και το συντακτικό παρέχει δύο χάρτες χρόνου και του χώρου αποτελεσματική ονόματος-τιμής, με ευχάριστη σύνταξη.
• Κατά συνέπεια, ήταν αναγκαίο να αντικαταστήσει τον κατασκευαστή λίστα (H, T) με το (επίσης σε χρήση από τον Ερμή) «[|]». (H, T). Αυτό μπορεί να φαίνεται δραματική, αλλά στην πράξη επηρεάζει μόνο μερικά προγράμματα, κυρίως κάνοντας functor (Term, F, Α) σχετικά με τους καταλόγους και, στη συνέχεια, επιλέγοντας περαιτέρω επεξεργασία F == '.', A == 2. Για να ενεργοποιήσετε λίστες περισσότερο σε μια ειδική κατασκευή, [], εξακολουθεί να είναι η κενή λίστα, αλλά δεν είναι πλέον το ίδιο με το «[]», δηλαδή, [] δεν είναι σε άτομο.
• Η σύνταξη & quot? ... & quot? τώρα αντιστοιχίζονται με χορδές. Χορδές είναι συμβατά με ECLiPSe (χάρη στον Joachim Schimpf για όλες τις συζητήσεις). Παραδοσιακά κωδικό κατάλογοι καταρτίζονται με τη χρήση .... Οι σημαίες double_quotes και back_quotes ρυθμίσετε αυτή τη συμπεριφορά.
• Χάρη σε Torbjorn Lager, έχουμε & quot? Pengines & quot ;, κινητήρες Prolog στο διαδίκτυο. Αυτό παρέχει ένα γενικό API για να μιλήσει άνετα σε ένα διακομιστή Prolog από JavaScript και άλλες περιπτώσεις Prolog. Επέτρεψε SWISH, SWI-Prolog στο φυλλομετρητή σας (http://swish.swi-prolog.org), καθώς και http://lpn.swi-prolog.org (Prolog Μάθετε τώρα! Ενσωματωμένο με SWISH).
• Ο Markus Triska προστίθεται CLP (β), το boolean περιορισμό λύτης, βελτίωσε CLP του (FD) και ήταν πριν από αρκετές βελτιώσεις στο πιο ψηλό επίπεδο που ασχολούνται με περιορισμούς.
• Χάρη στον Matt ϋΙΙβγ και ο Mike Elston, υπάρχει CQL, μια DSL (Domain συγκεκριμένης γλώσσας) για την αντιμετώπιση SQL. CQL αναπτύσσεται σε ένα περιβάλλον όπου πολύπλοκες βάσεις δεδομένων SQL είναι ο κανόνας και ως εκ τούτου, υποστηρίζει ένα μεγάλο υποσύνολο της SQL και μπορεί να ασχοληθεί με τους πίνακες με χιλιάδες στήλες και άλλα πράγματα ότι η ocasional χρήστης SQL δεν θα περίμενε κανείς.
• Ματ ϋΙΙβγ βελτιωμένη υποστήριξη δικτύωσης σημαντικά, συμπεριλαμβανομένων των πολύ καλύτερη υποστήριξη για SSL και γενικότερη υποστήριξη τόσο HTTP και κάλτσες διακομιστές μεσολάβησης.
• Πολλοί άνθρωποι έχουν παράσχει add-ons (πακέτα) που βασίζονται σε SWI-Prolog έκδοση 7.

Τι είναι καινούργιο στην έκδοση 7.2.0 / 7.3.1-dev:

• Ο νέος τύπος dict και το συντακτικό παρέχει δύο χάρτες χρόνου και του χώρου αποτελεσματική ονόματος-τιμής, με ευχάριστη σύνταξη.
• Κατά συνέπεια, ήταν αναγκαίο να αντικαταστήσει τον κατασκευαστή λίστα (H, T) με το (επίσης σε χρήση από τον Ερμή) «[|]». (H, T). Αυτό μπορεί να φαίνεται δραματική, αλλά στην πράξη επηρεάζει μόνο μερικά προγράμματα, κυρίως κάνοντας functor (Term, F, Α) σχετικά με τους καταλόγους και, στη συνέχεια, επιλέγοντας περαιτέρω επεξεργασία F == '.', A == 2. Για να ενεργοποιήσετε λίστες περισσότερο σε μια ειδική κατασκευή, [], εξακολουθεί να είναι η κενή λίστα, αλλά δεν είναι πλέον το ίδιο με το «[]», δηλαδή, [] δεν είναι σε άτομο.
• Η σύνταξη & quot? ... & quot? τώρα αντιστοιχίζονται με χορδές. Χορδές είναι συμβατά με ECLiPSe (χάρη στον Joachim Schimpf για όλες τις συζητήσεις). Παραδοσιακά κωδικό κατάλογοι καταρτίζονται με τη χρήση .... Οι σημαίες double_quotes και back_quotes ρυθμίσετε αυτή τη συμπεριφορά.
• Χάρη σε Torbjorn Lager, έχουμε & quot? Pengines & quot ;, κινητήρες Prolog στο διαδίκτυο. Αυτό παρέχει ένα γενικό API για να μιλήσει άνετα σε ένα διακομιστή Prolog από JavaScript και άλλες περιπτώσεις Prolog. Επέτρεψε SWISH, SWI-Prolog στο φυλλομετρητή σας (http://swish.swi-prolog.org), καθώς και http://lpn.swi-prolog.org (Prolog Μάθετε τώρα! Ενσωματωμένο με SWISH).
• Ο Markus Triska προστίθεται CLP (β), το boolean περιορισμό λύτης, βελτίωσε CLP του (FD) και ήταν πριν από αρκετές βελτιώσεις στο πιο ψηλό επίπεδο που ασχολούνται με περιορισμούς.
• Χάρη στον Matt ϋΙΙβγ και ο Mike Elston, υπάρχει CQL, μια DSL (Domain συγκεκριμένης γλώσσας) για την αντιμετώπιση SQL. CQL αναπτύσσεται σε ένα περιβάλλον όπου πολύπλοκες βάσεις δεδομένων SQL είναι ο κανόνας και ως εκ τούτου, υποστηρίζει ένα μεγάλο υποσύνολο της SQL και μπορεί να ασχοληθεί με τους πίνακες με χιλιάδες στήλες και άλλα πράγματα ότι η ocasional χρήστης SQL δεν θα περίμενε κανείς.
• Ματ ϋΙΙβγ βελτιωμένη υποστήριξη δικτύωσης σημαντικά, συμπεριλαμβανομένων των πολύ καλύτερη υποστήριξη για SSL και γενικότερη υποστήριξη τόσο HTTP και κάλτσες διακομιστές μεσολάβησης.
• Πολλοί άνθρωποι έχουν παράσχει add-ons (πακέτα) που βασίζονται σε SWI-Prolog έκδοση 7.

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

• Επεξεργασία # !, δέσμευσης ένα αρχείο σε διερμηνέα σε Unix δεν είναι πλέον προσπαθεί να είναι έξυπνος για τις επιλογές επεξεργασίας στον διερμηνέα. Η επίδραση αυτής της αλλαγής εξαρτάται από τις εκδόσεις Unix.: Μερικοί μόνο να περάσει την πρώτη επιλογή, άλλες συσκευάζουν για όλες τις επιλογές σε μία και ακόμα άλλοι περνούν τις επιλογές, μετά το σπάσιμο τους
• Η Prolog σημαία argv παρέχει μόνο επιχειρήματα που δεν έχουν υποστεί επεξεργασία από την Prolog.
• Η .plrc αρχείο init (pl.ini στα Windows) δεν είναι πλέον αναζητείται στον κατάλογο εργασίας για λόγους ασφαλείας.

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

• Επεξεργασία # !, δέσμευσης ένα αρχείο σε διερμηνέα σε Unix δεν είναι πλέον προσπαθεί να είναι έξυπνος για τις επιλογές επεξεργασίας στον διερμηνέα. Η επίδραση αυτής της αλλαγής εξαρτάται από τις εκδόσεις Unix.: Μερικοί μόνο να περάσει την πρώτη επιλογή, άλλες συσκευάζουν για όλες τις επιλογές σε μία και ακόμα άλλοι περνούν τις επιλογές, μετά το σπάσιμο τους
• Η Prolog σημαία argv παρέχει μόνο επιχειρήματα που δεν έχουν υποστεί επεξεργασία από την Prolog.
• Η .plrc αρχείο init (pl.ini στα Windows) δεν είναι πλέον αναζητείται στον κατάλογο εργασίας για λόγους ασφαλείας.

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

• Ενημέρωση της βιβλιοθήκης του RDF για την έκδοση 3. Όποιος φροντίδα για RDF πιθανότατα χρησιμοποιούν ήδη την υπό εξέλιξη έκδοση για το λόγο αυτό. Προστέθηκε γρήγορα αναλυτών για ntriples, χελώνα και τριγωνομετρική μορφή.
• Εισαγωγή των οιονεί προσφορά για την ομαλή και ασφαλή ενσωμάτωση της δημιουργίας ενός εξωτερικά γλώσσας
• Αναβάθμιση PlDoc να αποδεχθεί τις δομές κοινή markdown.
• Πολλές βελτιώσεις στα εργαλεία ανάπτυξης, βιβλιοθήκες HTTP, πακέτο clib. κ.λπ. Καλύτερη υποστήριξη για τις διεργασίες των δαιμόνων Unix (syslog, UID / GID διαχείρισης, κλπ.)
• Μια αρχή για το χειρισμό της τοπικής ρύθμισης (υποστήριξη φορμά / 3, και ιδίως το γράψιμο της τοπικής ρύθμισης συγκεκριμένων μεγάλων ακεραίων.
• Πολλά πράγματα σταθερότητα:. κολλάει σταθερά, φορητότητα μπαλώματα, να χτίσουν βελτιώσεις του συστήματος, κλπ

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

• Η αρχική έκδοση του πακέτου «διαχειριστή πακέτων`
• Καλύτερη διαχείριση αρχείων πηγή, και ιδίως wrt. : - Περιλαμβάνουν (Αρχείο)
.
• Πολλές διορθώσεις στο πρόγραμμα εντοπισμού σφαλμάτων, βελτιώνοντας το κράτημα πηγή και τη λογική που αποφασίζει για τα οποία είναι κρυμμένα λιμάνια.
• την έκδοση των Windows που χρησιμοποιούν σήμερα την κατασκευή του έργου compiler MinGW, με αποτέλεσμα την επιτάχυνση 10-20%. Βελτιώσεις σε swipl-win.exe κονσόλα:. Copy / paste και υποστήριξη χρώματος

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

• Δυναμική just-in-time ευρετηρίαση σε πολλαπλά επιχειρήματα .
• αποσπάται πολλά από τα APIs ανάπτυξης, τη στήριξη της IDE PDT.
• Πολλά καθαρισμού, bug-διορθώσεις, κλπ.

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

• Μειωμένη χρήση ίχνος στοίβας
• Δώστε γενεών συλλογή των απορριμμάτων.

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

• Μείωση της χρήσης ίχνος στοίβας. (εν μέρει)
• Δώστε γενεών συλλογή των απορριμμάτων.

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

• Μείωση της χρήσης ίχνος στοίβας. (εν μέρει)
• Δώστε γενεών συλλογή των απορριμμάτων.

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

• Όλες οι πλατφόρμες χρησιμοποιούν πλέον συνεπείς ονομασίας. Το εκτελέσιμο SWI-Prolog ονομάζεται swipl, ο συνδετήρας swipl-LD και ο διαχειριστής πόρο αρχείο swipl-RC.
• Νέα στοίβα διαχείρισης μνήμης που βασίζεται στη στοίβα-μετατόπιση, αντί της κατανομής των στοίβες αραιά στον εικονικό χώρο διευθύνσεων. Η αλλαγή αυτή επιτρέπει την πολύ καλύτερη επεκτασιμότητα του αριθμού των νημάτων, έτσι ώστε να αφαιρεθεί επίσης το παλιό όριο νημάτων 100. Τα στοίβα όρια μπορούν πλέον να ανυψωθεί και να μειωθεί κατά το χρόνο εκτέλεσης χρησιμοποιώντας set_prolog_stack / 2.
• Το προεπιλεγμένο μέγεθος στοίβας όρια είναι πλέον 128MB ανά στοίβα σε 32-bit και 256Mb σε 64-bit υλικό.
• Εκτεταμένη διαρροή και το άγχος δοκιμών έχουν σταθερό αριθμό των διαρροών και συνθήκες του αγώνα, καθιστώντας το σύστημα πολύ πιο ισχυρή στην ρύθμιση του διακομιστή 24x7.
• Η αρχή έχει γίνει για να αποφύγετε τη χρήση της C-stack για την αναδρομική σε όρους. Αυτό επιτρέπει την επεξεργασία πολύ πιο βαθιά ένθετα όρους και παρέχει ένα καθαρό εξαίρεση, αν δεν υπάρχουν επαρκείς πόροι για να διασχίσει τον όρο. Υπάρχουν ακόμη πολλά να κάνουμε σε αυτόν τον τομέα.
• SWI-Prolog 5.10.0 εισάγει ασφαλή αναφορές σε όρους της βάσης δεδομένων (assertz / 2, recordz / 3) και ρέματα (ανοίγει / 3).
• Ο αριθμός των μεταβλητών σε ρήτρες περιορίζεται πλέον σε 1.000.000.000? Αυτό ήταν το 65535. Επιπλέον, το σύστημα παρέχει χαριτωμένη εξαιρέσεις όταν συναντούν τους πόρους λάθη ή προσπαθεί να διεκδικήσει την παράνομη όρους όπως κυκλική άποψη.
• Συμβατότητα τόσο YAP και SICStus ενισχύεται.

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

• Εκκαθάριση: Εφαρμογή και τεκμηρίωση της διεπαφής σήματος.
• ΣΤΑΘΕΡΑ:. Χρησιμοποιήστε --nopce / - PCE για (DIS) επιτρέποντας γραφικών
• ΣΤΑΘΕΡΑ: GC-bug? παραλείπουν απογύμνωση uwrite-bit από την στοίβα επιχείρημα
• ενημέρωση: Αφαιρέθηκε το προλόγου σημαία abort_with_exception? αυτό δεν χρησιμοποιείται πλέον.
• ΣΤΑΘΕΡΑ: αποφευχθεί το αδιέξοδο, ενώ προσπαθεί να βγείτε μετά από ένα μοιραίο λάθος
.
• ενημέρωση: is_set / 1 χρησιμοποιεί τώρα το είδος / 2. Ως αποτέλεσμα, οι μη κοινές μεταβλητές θεωρούνται διαφορετικά στοιχεία? η σειρά είναι Ν * log (N) και το κατηγόρημα μπορεί να επιστρέψει μια πηγή σφαλμάτων.
• ΣΤΑΘΕΡΑ: Μετά: -.. ενότητα (x), εκτελέστε γκολ-επέκταση σε σχέση με την ενότητα χ
• Εκκαθάριση: Θέση # 547:. Σωστά αναφέρετε απροσδιόριστο κατηγορήματα και τις εναλλακτικές λύσεις
• DOC: Αποσαφήνιση current_arithmetic_function / 1
.
• DOC: Παροχή διαθεσιμότητα snippit για το C-λειτουργίες
• ΣΤΑΘΕΡΑ: Προηγούμενη κατεστραμμένη απλούστευση μεταβλητή διαχειριστή του compiler. Επίσης πρόσθεσε δοκιμή περίπτωση.
• ΣΤΑΘΕΡΑ: Σφάλμα # 436: ενοποιώντας μια μεταβλητή με το ίδιο δημιουργεί ένα βρόχο αναφοράς
.

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

• ΣΤΑΘΕΡΑ: διασταυρώσεως για τη διάκριση: από 0 στις δηλώσεις μετα-κατηγόρημα
• Εκκαθάριση: Χρήση meta_predicate για predsort / 3
• ενημέρωση: κάνει / 0 σαρώνει τώρα μόνο για τις αναφορές σε απροσδιόριστες κατηγορήματα στις ενότητες που τα περιέχουν. Η list_undefined / 0 εξακολουθεί να ψάχνει σε παγκόσμιο επίπεδο.
• ΕΝΙΣΧΥΜΕΝΗ: CLP (FD):. Arc-συνεπής global_cardinality / 2 ζεύγη εάν είναι αρχικά έδαφος
• ΣΤΑΘΕΡΑ: Λαβή (multifile) κατηγορήματα για τα οποία ορισμένες ρήτρες έχουν το σώμα τους σε μια άλλη ενότητα και κάποια στην ίδια. Ματ ϋΙΙβγ.
• Προστέθηκε:% [& # X3C? n & # x3e?] Format f για να format_time / 3 για να ασχοληθεί με κλάσματα του δευτερολέπτου. Χρησιμοποιείται από νέες επεκτάσεις εντοπισμού σφαλμάτων.
• Προστέθηκε: debug_message_context (+ | -Context) για να καθορίσετε πρόσθετες πλαίσιο για μηνύματα εντοπισμού σφαλμάτων (όπως μια σφραγίδα χρόνου)
.
• ΣΤΑΘΕΡΑ: Κάντε apply_macros κάνει επέκταση του στόχου της, στο πλαίσιο της ενότητας συστήματος
• ΕΝΙΣΧΥΜΕΝΗ: CLP (FD): Ταχύτερη global_cardinality / 2 αν Key-Num ζευγάρια είναι έδαφος
.
• ΣΤΑΘΕΡΑ: χειριστεί χειριστή προτεραιότητα στην εκτύπωση απάντηση. Markus Triska.
• Ενισχυμένη: Χρήση επιλογών εκτύπωσης για toplevel υπολειμματική τους στόχους, την εφαρμογή καθαρισμού
• Ενισχυμένη: Κάντε term_variables και term_attvars αποτελεσματική αν δε δοθεί (κυρίως term_attvars (Term, []))
.
• Ενισχυμένη: Κάντε καταγράφονται βάσεων δεδομένων χρησιμοποιούν νέος κώδικας όρος στράτα
• Ενισχυμένη: Πρώτη εγκατάσταση ενός σκελετού για τη διάσχιση όρους, χρησιμοποιώντας ένα απλό βρόχο και όχι μια αναδρομική διαδικασία. Τώρα που χρησιμοποιούνται για term_variables / 2 και των σχετικών κατηγορήματα. Το σχήμα φαίνεται επαρκής, αλλά η κατά διαστήματα κωδικό στοίβα πρέπει να βελτιστοποιηθεί σημαντικά. Οπως είναι, term_variables / 2 είναι ελαφρώς πιο αργή (5%), αλλά αυτό μπορεί να χειριστεί βαθιά ένθετη όροι με πολύ λιγότερη μνήμη και χωρίς υπερχειλίσεις στοίβας.
• Προστέθηκε: term_attvars / 2 για την καλύτερη υποστήριξη των copy_term / 3. Μετά από συζήτηση με τον Markus Triska.
• Προστέθηκε: del_attrs / 1 για να διαγράψετε όλα τα χαρακτηριστικά * *. Απλοποιεί copy_term / 3.

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

• Η βελτίωση της επίδοσης σε μεγαλύτερα προγράμματα είναι μεταξύ 10 και 40 %, ανάλογα με το ύφος προγραμματισμού. Αξίζει να σημειωθεί ότι οι λύτες περιορισμό επωφεληθούν σημαντικά. Μικρά προγράμματα δείχνουν μερικές φορές πολύ μεγαλύτερες επιταχύνσεις.
• Από το 5.7.4, ενημερωμένο σύστημα μονάδα
• Πολλά καθαρισμού στην ονοματοδοσία και αρθρωματοποίηση αρχικό πηγαίο κώδικα.