SWI-Prolog

Es ist nützlich, Logikprogrammierung Zwecke, künstliche Intelligenz und Computerlinguistik

Was ist neu in dieser Pressemitteilung:.

• Die neue dict Typ und Syntax bietet sowohl Zeit und Raum effizient Name-Wert-Karten mit einem angenehmen Syntax.
• Als Folge war es notwendig, um die Liste zu ersetzen Konstruktor (H, T), die durch das (ebenfalls in Verwendung durch Mercury) "[|]." (H, T). Das mag drastisch, aber in der Praxis wirkt sich nur ein paar Programme, vor allem zu tun Funktor (Term, F, A) auf Listen auswählen und dann die weitere Verarbeitung auf F == '.', A == 2. Um Listen mehr in eine Kurve Sonder Konstrukt ist [] immer noch die leere Liste, aber nicht mehr das gleiche wie "[]", ist also [] nicht Atom.
• Die Syntax & quot; ... & quot; wird nun auf die Strings abgebildet. Strings sind mit Eclipse kompatibel (Dank an Joachim Schimpf für alle Diskussionen). Traditionelle Code-Listen werden mit .... Die Flaggen double_quotes gebaut und back_quotes steuern dieses Verhalten.
• Dank Torbjorn Lager haben & quot wir; Pengines & quot ;, Prolog Engines auf dem Netz. Dies stellt eine generische API, um bequem auf einen Prolog-Server von JavaScript und anderen Prolog Fällen sprechen. Es aktiviert SWISH, SWI-Prolog in Ihrem Browser (http://swish.swi-prolog.org) sowie http://lpn.swi-prolog.org (Erfahren Prolog Now! Mit eingebetteten SWISH).
• Markus Triska hinzugefügt clp (b), die boolean Constraint-Solver, verbesserte seine CLP (FD) und war, bevor mehrere Verbesserungen an der Toplevel Umgang mit Einschränkungen.
• Dank Matt Lilley und Mike Elston, gibt es CQL eine DSL (Domain Specific Language) für den Umgang mit SQL. CQL in einer Umgebung, wo komplexe SQL-Datenbanken sind die Norm und unterstützt daher eine große Teilmenge von SQL und kann mit Tabellen mit Tausenden von Spalten und andere Sachen, dass die ocasional SQL Benutzer wird nicht erwartet, beschäftigen entwickelt.
• Matt Lilley verbesserte Netzwerkunterstützung deutlich, darunter viel bessere Unterstützung für SSL und allgemeine Unterstützung für HTTP und SOCKS-Proxy-Server.
• Viele Menschen haben vorgesehen Add-ons (Packungen), die auf SWI-Prolog-Version 7 verlassen.

Was ist neu in der Version 7.2.1 / 7.3.3-dev:

• Die neue dict Typ und Syntax bietet sowohl Zeit und Raum effizient Name-Wert-Karten mit einem angenehmen Syntax.
• Als Folge war es notwendig, um die Liste zu ersetzen Konstruktor (H, T), die durch das (ebenfalls in Verwendung durch Mercury) "[|]." (H, T). Das mag drastisch, aber in der Praxis wirkt sich nur ein paar Programme, vor allem zu tun Funktor (Term, F, A) auf Listen auswählen und dann die weitere Verarbeitung auf F == '.', A == 2. Um Listen mehr in eine Kurve Sonder Konstrukt ist [] immer noch die leere Liste, aber nicht mehr das gleiche wie "[]", ist also [] nicht Atom.
• Die Syntax & quot; ... & quot; wird nun auf die Strings abgebildet. Strings sind mit Eclipse kompatibel (Dank an Joachim Schimpf für alle Diskussionen). Traditionelle Code-Listen werden mit .... Die Flaggen double_quotes gebaut und back_quotes steuern dieses Verhalten.
• Dank Torbjorn Lager haben & quot wir; Pengines & quot ;, Prolog Engines auf dem Netz. Dies stellt eine generische API, um bequem auf einen Prolog-Server von JavaScript und anderen Prolog Fällen sprechen. Es aktiviert SWISH, SWI-Prolog in Ihrem Browser (http://swish.swi-prolog.org) sowie http://lpn.swi-prolog.org (Erfahren Prolog Now! Mit eingebetteten SWISH).
• Markus Triska hinzugefügt clp (b), die boolean Constraint-Solver, verbesserte seine CLP (FD) und war, bevor mehrere Verbesserungen an der Toplevel Umgang mit Einschränkungen.
• Dank Matt Lilley und Mike Elston, gibt es CQL eine DSL (Domain Specific Language) für den Umgang mit SQL. CQL in einer Umgebung, wo komplexe SQL-Datenbanken sind die Norm und unterstützt daher eine große Teilmenge von SQL und kann mit Tabellen mit Tausenden von Spalten und andere Sachen, dass die ocasional SQL Benutzer wird nicht erwartet, beschäftigen entwickelt.
• Matt Lilley verbesserte Netzwerkunterstützung deutlich, darunter viel bessere Unterstützung für SSL und allgemeine Unterstützung für HTTP und SOCKS-Proxy-Server.
• Viele Menschen haben vorgesehen Add-ons (Packungen), die auf SWI-Prolog-Version 7 verlassen.

Was ist neu in der Version 7.2.0 / 7.3.1-dev:

• Die neue dict Typ und Syntax bietet sowohl Zeit und Raum effizient Name-Wert-Karten mit einem angenehmen Syntax.
• Als Folge war es notwendig, um die Liste zu ersetzen Konstruktor (H, T), die durch das (ebenfalls in Verwendung durch Mercury) "[|]." (H, T). Das mag drastisch, aber in der Praxis wirkt sich nur ein paar Programme, vor allem zu tun Funktor (Term, F, A) auf Listen auswählen und dann die weitere Verarbeitung auf F == '.', A == 2. Um Listen mehr in eine Kurve Sonder Konstrukt ist [] immer noch die leere Liste, aber nicht mehr das gleiche wie "[]", ist also [] nicht Atom.
• Die Syntax & quot; ... & quot; wird nun auf die Strings abgebildet. Strings sind mit Eclipse kompatibel (Dank an Joachim Schimpf für alle Diskussionen). Traditionelle Code-Listen werden mit .... Die Flaggen double_quotes gebaut und back_quotes steuern dieses Verhalten.
• Dank Torbjorn Lager haben & quot wir; Pengines & quot ;, Prolog Engines auf dem Netz. Dies stellt eine generische API, um bequem auf einen Prolog-Server von JavaScript und anderen Prolog Fällen sprechen. Es aktiviert SWISH, SWI-Prolog in Ihrem Browser (http://swish.swi-prolog.org) sowie http://lpn.swi-prolog.org (Erfahren Prolog Now! Mit eingebetteten SWISH).
• Markus Triska hinzugefügt clp (b), die boolean Constraint-Solver, verbesserte seine CLP (FD) und war, bevor mehrere Verbesserungen an der Toplevel Umgang mit Einschränkungen.
• Dank Matt Lilley und Mike Elston, gibt es CQL eine DSL (Domain Specific Language) für den Umgang mit SQL. CQL in einer Umgebung, wo komplexe SQL-Datenbanken sind die Norm und unterstützt daher eine große Teilmenge von SQL und kann mit Tabellen mit Tausenden von Spalten und andere Sachen, dass die ocasional SQL Benutzer wird nicht erwartet, beschäftigen entwickelt.
• Matt Lilley verbesserte Netzwerkunterstützung deutlich, darunter viel bessere Unterstützung für SSL und allgemeine Unterstützung für HTTP und SOCKS-Proxy-Server.
• Viele Menschen haben vorgesehen Add-ons (Packungen), die auf SWI-Prolog-Version 7 verlassen.

Was ist neu in der Version 6.6.6 / 7.1.37:

• Verarbeitung von # !, verbindlich eine Datei auf einen Dolmetscher in Unix nicht mehr versucht, schlau zu Verarbeitungsoptionen, um den Dolmetscher zu sein. Der Effekt dieser Änderung hängt von den Unix-Versionen:. Einige nur übergeben Sie die erste Option, andere packen alle Optionen zu einer und wieder andere übergeben Sie die Optionen nach dem Bruch sie
• Der Prolog flag argv bietet nur Argumente, die nicht von Prolog verarbeitet wurden.
• Die init-Datei .plrc (pl.ini unter Windows) wird nicht mehr für die im Arbeitsverzeichnis aus Sicherheitsgründen durchsucht.

Was ist neu in der Version 6.6.6 / 7.1.31:

• Verarbeitung von # !, verbindlich eine Datei auf einen Dolmetscher in Unix nicht mehr versucht, schlau zu Verarbeitungsoptionen, um den Dolmetscher zu sein. Der Effekt dieser Änderung hängt von den Unix-Versionen:. Einige nur übergeben Sie die erste Option, andere packen alle Optionen zu einer und wieder andere übergeben Sie die Optionen nach dem Bruch sie
• Der Prolog flag argv bietet nur Argumente, die nicht von Prolog verarbeitet wurden.
• Die init-Datei .plrc (pl.ini unter Windows) wird nicht mehr für die im Arbeitsverzeichnis aus Sicherheitsgründen durchsucht.

Was ist neu in der Version 6.4.0:

• Aktualisiert die RDF-Bibliothek auf Version 3. Jeder, der Pflege über RDF wurde wahrscheinlich bereits mit der Entwicklerversion aus diesem Grund. Hinzugefügt schnelle Parser für ntriples, Turtle und Trig-Formate.
• Einführung quasi Angebot für reibungslose und sichere Einbeziehung von externen Sprachschnipsel
• Upgrade PlDoc, die gemeinsamen Abschlag Konstrukte anzunehmen.
• Viele Verbesserungen an den Entwicklungs-Tools, HTTP-Bibliotheken, clib Paket. usw. Bessere Unterstützung für Unix-Daemon-Prozesse (syslog, UID / GID-Management, etc.)
• Ein Anfang für locale Handling (Unterstützung Format / 3, insbesondere das Schreiben länderspezifisches großen Zahlen.
• Viele Sachen Stabilität:. Fest abstürzt, Portabilität Patches bauen Systemerweiterungen, usw.

Was ist neu in Version 6.2.0:

• Initial Version des `Pack 'Paket-Manager
• Bessere Quelldatei Handhabung, insbesondere bzgl. : - Schließen (File)
.
• Viele Korrekturen an den Debugger, die Verbesserung Quelle Handhabung und die Logik, die entscheidet, welche Ports werden ausgeblendet.
• Windows-Version jetzt zu bauen mit der MinGW-Compiler-Projekt, was zu 10-20% Beschleunigung. Erweiterungen swipl-win.exe Konsole:. Kopieren / Einfügen und Farbunterstützung

Was ist neu in der Version 6.0.0:

• Dynamische just-in-time-Indizierung für mehrere Argumente .
• Abstrahiert viele der Entwicklung APIs, die Unterstützung der PDT IDE.
• Viele Bereinigung, Bug-Fixes, etc.

Was ist neu in der Version 5.11.20:.

• Reduzierte Trail-Stack-Verbrauch
• Geben Sie Generations-Speicherbereinigungs.

Was ist neu in der Version 5.11.10:

• Reduzieren Trail-Stack-Nutzung. (teilweise)
• Geben Sie Generations-Speicherbereinigungs.

Was ist neu in der Version 5.11.9:

• Reduzieren Trail-Stack-Nutzung. (teilweise)
• Geben Sie Generations-Speicherbereinigungs.

Was ist neu in der Version 5.10.0:

• Alle Plattformen verwenden nun konsistente Namens. Die SWI-Prolog ausführbare heißt swipl, der Linker swipl-ld und die resouce-Dateimanager swipl-rc.
• New Stapelspeicher-Management, das auf basiert Stack-Verschiebung nicht die Aufteilung der Stapel dünn im virtuellen Adressraum. Diese Änderung ermöglicht eine viel bessere Skalierbarkeit in der Anzahl der Threads, so dass wir auch entfernt den alten Faden-Grenze von 100. Die Stack-Grenzen kann nun angehoben und zur Laufzeit mit set_prolog_stack / 2 reduziert werden.
• Die Standard-Stack-size-Grenzen sind nun pro Stapel 128 MB auf 32-Bit- und 256 MB auf 64-Bit-Hardware.
• Umfangreiche Leck und Stress-Tests haben eine Reihe von Lecks und Rennbedingungen festgelegt, so dass das System wesentlich robuster in 24x7-Server-Setup.
• Ein Anfang ist gemacht, um zu vermeiden, mit dem C-Stack für rekursiv in Begriffe. Dies ermöglicht die Verarbeitung viel tiefer verschachtelte Bedingungen und bietet eine saubere Ausnahme, wenn es nicht genügend Ressourcen, um den Begriff zu durchqueren. Es gibt noch viel zu tun in diesem Bereich.
• SWI-Prolog 5.10.0 stellt sicher Verweise auf Datenbankbegriffe (assertz / 2, recordz / 3) und Ströme (offen / 3).
• Die Anzahl der Variablen in Klauseln wird nun auf 1 Mrd. beschränkt; dies war 65535. Darüber hinaus bietet das System anmutigen Ausnahmen bei der Begegnung mit Ressource-Fehler oder versuchen, illegal Begriffe wie zyklische Geschäftsbedingungen geltend zu machen.
• Kompatibilität sowohl YAP und SICStus verbessert wird.

Was ist neu in der Version 5.8.2:

• CLEANUP: Durchführung und Dokumentation der Signalschnittstelle.
• FIXED:. Verwenden --nopce / - Stück für (dis) ermöglicht Grafiken
• FIXED: GC-bug; weglassen Strippen uwrite-Bit von Argument-Stack
• geändert: Entfernt den Prolog flag abort_with_exception; es wird nicht mehr verwendet.
• FIXED: Vermeiden Deadlock bei dem Versuch, nach einem schwerwiegenden Fehler zu beenden
.
• geändert: IS_SET / 1 verwendet jetzt sort / 2. Dadurch werden nicht freigegebene Variablen berücksichtigt verschiedene Elemente; die Reihenfolge N * log (N) und das Prädikat kann eine Ressource-Fehler zurück.
• FIXED: Nach: -.. Modul (x), führen Sie ziel Expansion relativ zu dem Modul x
• CLEANUP: Item # 547:. Richtig zitieren undefined Prädikate und Alternativen
• DOC: Klären Sie current_arithmetic_function / 1
.
• DOC: Für Verfügbarkeit snippit für C-Funktionen
• FIXED: Zurück Vereinfachung beschädigt variable Admin des Compilers. Auch hinzugefügt Testfall.
• FIXED: Fehler # 436: Vereinheitlichung eine Variable mit sich selbst erzeugt eine Referenzschleife
.

Was ist neu in Version 5.7.14:

• FIXED: Quer referencer zu unterscheiden: 0 in meta-Prädikat Erklärungen
• Reinigung: Mit meta_predicate für predsort / 3
• geändert: machen / 0 jetzt nur Scans nach Verweisen auf nicht definierte Prädikate in den Modulen, die sie enthalten. Die list_undefined / 0 noch sucht weltweit.
• Erweitert: CLP (FD):. Arc-konsistente global_cardinality / 2, wenn Paare sind zunächst Grund
• FIXED: Handle (Multifile) Prädikate für die einige Klauseln haben ihre Körper in einem anderen Modul und einige in der gleichen. Matt Lilley.
• ADDED:% [& # X3C; n & # X3e;] f-Format in format_time / 3, mit Bruchteilen von Sekunden zu tun. Verwendet durch neue Debug-Erweiterungen.
• ADDED: debug_message_context (+ | -Kontext), um zusätzlichen Kontext für die Debug-Nachrichten (wie ein Zeitstempel) festlegen
.
• FIXED: Stellen apply_macros tun ihr Ziel Expansion im Rahmen der Systemmodul
• Erweitert: CLP (FD): Schneller global_cardinality / 2, wenn Key-Num-Paare sind Grund
.
• FIXED: hand Operator-Priorität in der Antwort-Druck. Markus Triska.
• Erweitert: Verwenden Toplevel-Druckoptionen für Rest Ziele Bereinigung Umsetzung
• Erweitert: Stellen term_variables und term_attvars effizient, wenn eine Liste gegeben ist (insbesondere term_attvars (Term, []))
.
• Erweitert: Stellen aufgezeichnet Datenbank verwenden neuen Begriff-walker Code
• erweitert: Erstens Aufbau eines Skeletts zum Durchlaufen Begriffe mit einer einfachen Schleife, anstatt eine rekursive Prozedur. Jetzt im Einsatz für term_variables / 2 und damit verbundene Prädikate. Das Schema erscheint angemessen, aber das segmentierte Stapelcode muss deutlich optimiert werden. Wie, term_variables / 2 ist etwas langsamer (5%), aber es kann tief verschachtelten Begriffe mit viel weniger Speicher und ohne Stapelüberlauf zu behandeln.
• ADDED: term_attvars / 2 für eine bessere Unterstützung der copy_term / 3. Nach dem Gespräch mit Markus Triska.
• ADDED: del_attrs / 1 bis * alle * Attribute löschen. Vereinfacht copy_term / 3.

Was ist neu in Version 5.7.12:

• Performance-Verbesserung bei größeren Programmen ist zwischen 10 und 40 %, abhängig von der Programmierstil. Bemerkenswert ist der Gewinn des Constraint-Solver deutlich. Kleine Programme zeigen manchmal viel größere Beschleunigungen.
• Da 5.7.4, aktualisierte Modul-System
• Viele Bereinigung bei der Benennung und Modularisierung der Codebasis.