SWI-Prolog

Sponzorované odkazy:
Software screenshot:
SWI-Prolog
Podrobnosti Software:
Verze: 7.2.3 / 7.3.6-dev Aktualizováno
Datum uploadu: 1 Oct 15
Vývojka: Jan Wielemaker
Licence: Volný
Popularita: 29

Rating: 1.0/5 (Total Votes: 1)

Sponzorované odkazy:

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.

Podobný software

Komentáře k SWI-Prolog

Komentáře nebyl nalezen
Přidat komentář
Zapnout obrázky!