SWI-Prolog

Je to užitečné logické účely programování, umělé inteligence a matematickou lingvistiku

Co je nového v této verzi:.

• Nový typ dict a syntax poskytuje čase i prostoru efektivní název-hodnota mapy s příjemnou syntaxi.
• V důsledku toho bylo nutné vyměnit seznamu konstruktoru (H, T), na němž (také v použití rtuťovou) "[|]". (H, T). To se může zdát drastické, ale v praxi se týká pouze několik programů, a to zejména tím funktor (Term, F, A) na seznamech a poté výběrem další zpracování na F == '.', A == 2. Chcete-li seznam více na A speciální konstrukce, [], je stále prázdný seznam, ale už ne stejný jako "[]", tj, [], není na atomu.
• Syntaxe & quot; ... & quot; je nyní mapován na řetězce. Řetězce jsou kompatibilní s Eclipse (díky Joachim Schimpf pro všechny diskuse). Tradiční číselníků jsou konstruovány s využitím .... vlajek double_quotes a back_quotes řídit toto chování.
• Díky Torbjörn Lager, máme & quot; quot ;, Pengines a Prolog motory na webu. To poskytuje obecný API pro pohodlně mluvit na Prolog server z JavaScriptu a jiných případech Prolog. To umožnilo SWISH, SWI-Prolog ve svém prohlížeči (http://swish.swi-prolog.org), stejně jako http://lpn.swi-prolog.org (Další Prolog teď! S vloženým svištění).
• Markus Triska přidán CLP (b) je boolean omezení solver, zlepšil jeho CLP (FD) a byl před několika vylepšení toplevel zabývající se omezeními.
• Díky Matt Lilley a Mike Elston, tam je CQL, DSL (Domain Specific Language) pro práci s SQL. CQL je vyvinuta v prostředí, kde složité SQL databází jsou normou, a proto podporuje velký podmnožinou SQL a umí poradit s tabulkami s tisíci sloupů a dalších věcí, že ocasional SQL uživatel nebude očekávat.
• Matt Lilley lepší podporou práce v síti výrazně, včetně hodně lepší podporu pro SSL a obecnou podporu pro HTTP a SOCKS proxy servery.
• Mnoho lidí za předpokladu, doplňky (balíky), které spoléhají na SWI-Prolog verze 7.

Co je nového ve verzi 7.2.1 / 7.3.3-dev:

• Nový typ dict a syntax poskytuje čase i prostoru efektivní název-hodnota mapy s příjemnou syntaxi.
• V důsledku toho bylo nutné vyměnit seznamu konstruktoru (H, T), na němž (také v použití rtuťovou) "[|]". (H, T). To se může zdát drastické, ale v praxi se týká pouze několik programů, a to zejména tím funktor (Term, F, A) na seznamech a poté výběrem další zpracování na F == '.', A == 2. Chcete-li seznam více na A speciální konstrukce, [], je stále prázdný seznam, ale už ne stejný jako "[]", tj, [], není na atomu.
• Syntaxe & quot; ... & quot; je nyní mapován na řetězce. Řetězce jsou kompatibilní s Eclipse (díky Joachim Schimpf pro všechny diskuse). Tradiční číselníků jsou konstruovány s využitím .... vlajek double_quotes a back_quotes řídit toto chování.
• Díky Torbjörn Lager, máme & quot; quot ;, Pengines a Prolog motory na webu. To poskytuje obecný API pro pohodlně mluvit na Prolog server z JavaScriptu a jiných případech Prolog. To umožnilo SWISH, SWI-Prolog ve svém prohlížeči (http://swish.swi-prolog.org), stejně jako http://lpn.swi-prolog.org (Další Prolog teď! S vloženým svištění).
• Markus Triska přidán CLP (b) je boolean omezení solver, zlepšil jeho CLP (FD) a byl před několika vylepšení toplevel zabývající se omezeními.
• Díky Matt Lilley a Mike Elston, tam je CQL, DSL (Domain Specific Language) pro práci s SQL. CQL je vyvinuta v prostředí, kde složité SQL databází jsou normou, a proto podporuje velký podmnožinou SQL a umí poradit s tabulkami s tisíci sloupů a dalších věcí, že ocasional SQL uživatel nebude očekávat.
• Matt Lilley lepší podporou práce v síti výrazně, včetně hodně lepší podporu pro SSL a obecnou podporu pro HTTP a SOCKS proxy servery.
• Mnoho lidí za předpokladu, doplňky (balíky), které spoléhají na SWI-Prolog verze 7.

Co je nového ve verzi 7.2.0 / 7.3.1-dev:

• Nový typ dict a syntax poskytuje čase i prostoru efektivní název-hodnota mapy s příjemnou syntaxi.
• V důsledku toho bylo nutné vyměnit seznamu konstruktoru (H, T), na němž (také v použití rtuťovou) "[|]". (H, T). To se může zdát drastické, ale v praxi se týká pouze několik programů, a to zejména tím funktor (Term, F, A) na seznamech a poté výběrem další zpracování na F == '.', A == 2. Chcete-li seznam více na A speciální konstrukce, [], je stále prázdný seznam, ale už ne stejný jako "[]", tj, [], není na atomu.
• Syntaxe & quot; ... & quot; je nyní mapován na řetězce. Řetězce jsou kompatibilní s Eclipse (díky Joachim Schimpf pro všechny diskuse). Tradiční číselníků jsou konstruovány s využitím .... vlajek double_quotes a back_quotes řídit toto chování.
• Díky Torbjörn Lager, máme & quot; quot ;, Pengines a Prolog motory na webu. To poskytuje obecný API pro pohodlně mluvit na Prolog server z JavaScriptu a jiných případech Prolog. To umožnilo SWISH, SWI-Prolog ve svém prohlížeči (http://swish.swi-prolog.org), stejně jako http://lpn.swi-prolog.org (Další Prolog teď! S vloženým svištění).
• Markus Triska přidán CLP (b) je boolean omezení solver, zlepšil jeho CLP (FD) a byl před několika vylepšení toplevel zabývající se omezeními.
• Díky Matt Lilley a Mike Elston, tam je CQL, DSL (Domain Specific Language) pro práci s SQL. CQL je vyvinuta v prostředí, kde složité SQL databází jsou normou, a proto podporuje velký podmnožinou SQL a umí poradit s tabulkami s tisíci sloupů a dalších věcí, že ocasional SQL uživatel nebude očekávat.
• Matt Lilley lepší podporou práce v síti výrazně, včetně hodně lepší podporu pro SSL a obecnou podporu pro HTTP a SOCKS proxy servery.
• Mnoho lidí za předpokladu, doplňky (balíky), které spoléhají na SWI-Prolog verze 7.

Co je nového ve verzi 6.6.6 / 07.01.37:

• Zpracování # !, vázání soubor na tlumočníka v Unixu již se snaží být chytrý o možnostech zpracování na tlumočníka. Dopad této změny závisí na verzích Unixu:. Někteří procházet pouze první možnost, jiní zabalte všechny možnosti do jednoho a přesto jiní projít volby po jejich lámání
• Prolog vlajka argv stanoví pouze argumenty, které nebyly zpracovány Prolog.
• init soubor .plrc (pl.ini na Windows), již není hledán v pracovním adresáři z bezpečnostních důvodů.

Co je nového ve verzi 6.6.6 / 01.07.31:

• Zpracování # !, vázání soubor na tlumočníka v Unixu již se snaží být chytrý o možnostech zpracování na tlumočníka. Dopad této změny závisí na verzích Unixu:. Někteří procházet pouze první možnost, jiní zabalte všechny možnosti do jednoho a přesto jiní projít volby po jejich lámání
• Prolog vlajka argv stanoví pouze argumenty, které nebyly zpracovány Prolog.
• init soubor .plrc (pl.ini na Windows), již není hledán v pracovním adresáři z bezpečnostních důvodů.

Co je nového ve verzi 6.4.0:

• Aktualizováno knihovna RDF na verzi 3. Každý, kdo péči o RBP byl pravděpodobně již používáte vývojářskou verzi z tohoto důvodu. Přidány rychlé analyzátory pro ntriples, želva a Trig formátů.
• Úvod do kvazi cenové nabídky pro hladký a bezpečný zapojení externích jazykových úryvků
• Upgrade PlDoc přijmout společnou srážky konstrukce.
• Mnoho vylepšení vývojových nástrojů, HTTP knihoven, clib balíčku. atd. Lepší podpora pro Unix démon procesy (syslog, UID / GID řízení, apod.)
• A začátek pro manipulaci s národní prostředí (podporující formát / 3, a to zejména psaní specifická pro národní prostředí velká celá čísla.
• Spousta stability věcí:. pevné pády, přenositelnost záplaty, vybudovat vylepšení systému, etc

Co je nového ve verzi 6.2.0:

• Počáteční verze `pack" správce balíčků
• Lepší práce zdrojový soubor, a to zejména wrt. : - Zahrnují (souboru)
.
• Mnoho oprav ladicí program, zlepšující ovladatelnost zdroje a logiku, která rozhoduje, na kterých jsou porty skryté.
• Windows verze nyní sestavit pomocí kompilátoru projekt MinGW, což má za následek 10-20% zrychlení. Vylepšení se swipl-win.exe konzole:. Kopírovat / vložit a barevnou podporu

Co je nového ve verzi 6.0.0:

• Dynamic just-in-time indexování na několika argumentech .
• abstrahuje mnoha rozvojových API, podporuje IDE PDT.
• Spousta vyčištění, opravy chyb, atd.

Co je nového ve verzi 5.11.20:.

• Snížení spotřeby trail-stack
• Poskytovat generační odvoz odpadu.

Co je nového ve verzi 5.11.10:

• Snížit spotřebu trail-stack. (částečně)
• Poskytovat generační odvoz odpadu.

Co je nového ve verzi 5.11.9:

• Snížit spotřebu trail-stack. (částečně)
• Poskytovat generační odvoz odpadu.

Co je nového ve verzi 5.10.0:

• Všechny platformy nyní využívají konzistentní pojmenování. SWI-Prolog spustitelný je nazýván swipl, linker swipl-ld a správce Resouce-file swipl-rc.
• New stack správy paměti, který je založen na zásobníku pro posun, spíše než přidělování komíny řídce ve virtuálním adresového-prostoru. Tato změna umožňuje mnohem lepší škálovatelnost počtu nití, a tak jsme také odstranili staré vlákno-limit počtu 100. stohového limity mohou nyní být zvýšen a redukuje za běhu pomocí set_prolog_stack / 2.
• výchozí stack-size-limity se nyní 128MB na stohu na 32-bit a 256 MB na 64bitovém hardwaru.
• Rozsáhlý únik a stres-testování mají pevnou řadu úniků a závodních podmínkách, čímž se systém mnohem robustnější v nastavení 24x7 serveru.
• A již začalo, aby se zabránilo používání C-stack rekurzi do termínů. To umožňuje zpracování mnohem hlouběji vnořené výrazy a poskytuje čistý výjimku, pokud existují dostatečné zdroje přejít termín. Tam je ještě mnoho udělat v této oblasti.
• SWI-Prolog 5.10.0 představuje bezpečné odkazy na databázové podmínkami (assertz / 2, Recordz / 3) a toky (otevření / 3).
• Počet proměnných v ustanovení je nyní omezena na 1,000,000,000; to bylo 65535. Kromě toho systém poskytuje ladné výjimky když narazí na zdroje chyby, nebo se snaží prosazovat nelegální pojmy jako jsou cyklické podmínek.
• Kompatibilita jak YAP a SICStus je zvýšena.

Co je nového ve verzi 5.8.2:

• Čistění: Provedení a dokumentace rozhraní signálu.
• OPRAVA:. Použijte --nopce / - PCE pro (DIS), což umožňuje grafiky
• OPRAVA: GC-bug; vynechat odstraňování uwrite-bit z argumentů zásobníku
• Změněno: Odstraněno prolog vlajky abort_with_exception; se již nepoužívá.
• OPRAVA: Vyhněte se patovou situaci při pokusu o opuštění po fatální chybě
.
• Změněno: is_set / 1 nyní používá druh / 2. V důsledku toho, non-sdílená proměnné jsou považovány za různé prvky; objednávka je N * log (N) a predikát může vrátit využívání zdrojů chybu.
• OPRAVA: Po: -.. modulu (x), provádět na cíl expanze vzhledem k modulu x
• CLEANUP: Item # 547:. Řádně citovat nedefinované predikáty a alternativy
• DOC: Objasnit current_arithmetic_function / 1
.
• DOC: Zajistit dostupnost snippit pro C-funkcí
• OPRAVA: Předchozí zjednodušení poškozené variabilní admin kompilátor. Také přidal test případ.
• OPRAVENO: Chyba # 436: sjednocení proměnnou s sebou vytváří referenční smyčku
.

Co je nového ve verzi 5.7.14:

• OPRAVA: cross-referencer rozlišovat: 0 V meta-přívlastkových prohlášení
• Čistění: Použijte meta_predicate pro predsort / 3
• Změněno: Značka / 0 nyní kontroluje pouze pro odkazy na nedefinované predikáty v modulech, které je obsahují. List_undefined / 0 stále hledá po celém světě.
• Rozšířené: CLP (FD):. Arc-konzistentní global_cardinality / 2-li páry jsou zpočátku zem
• OPRAVA: Handle (multifile) vypovídá, pro něž některé doložky mají své tělo v jiném modulu, a někteří ve stejný. Matt Lilley.
• NOVÉ:% [& # x3c; n & # x3e;] formát f format_time / 3 zabývat se zlomky sekundy. Používá novými rozšířeními ladění.
• NOVÉ: debug_message_context (+ | -Context) specifikovat další kontext pro chybové zprávy (jako například časové razítko)
.
• OPRAVA: Zajistěte apply_macros dělat svou expanzi cíl v rámci modulu systému
• Rozšířené: CLP (FD): Rychlejší global_cardinality / 2, pokud Key-Num páry jsou pozemní
.
• OPRAVA: rukojeť obsluhy-priority v odpověď tisku. Markus Tříska.
• Rozšířené: Možnosti toplevel tisku použít pro zbytkových cíle, implementace vyčištění
• Rozšířené: Udělej term_variables a term_attvars účinné, pokud je uveden seznam (zejména term_attvars (Term, []))
.
• Rozšířené: Udělej nahrané databáze používat nový kód termín chodítko
• Rozšířené: První nastavení kostry pro přecházení výrazy pomocí jednoduchého smyčky spíše než rekurzivní postup. Nyní v použití pro term_variables / 2 a související výroky. Schéma se jeví jako dostatečné, ale segmentového stack kód musí být podstatně optimalizovány. Jak je, term_variables / 2 je o něco pomalejší (5%), ale to může zvládnout hluboce vnořených podmínky s mnohem menší pamětí a bez přetečení fronty.
• NOVÉ: term_attvars / 2 pro lepší podporu copy_term / 3. Po projednání s Markusem Triska.
• NOVÉ: del_attrs / 1 pro vymazání * všechny * atributy. Zjednodušuje copy_term / 3.

Co je nového ve verzi 5.7.12:

• zlepšení výkonnosti na větších programů je mezi 10 a 40 %, v závislosti na styl programování. Pozoruhodně Omezení řešitelé výrazně profitovat. Malé programy, někdy vykazují mnohem větší speedups.
• Vzhledem k tomu, 5.7.4, aktualizovaný systém modul
• Hodně úklid v pojmenování a modularizovat codebase.