SWI-Prolog

Det är användbara logikprogrammeringsändamål, artificiell intelligens och datorlingvistik

Vad är nytt i den här versionen.

• nya dict typ och syntax ger både tid och rum effektiv namnvärde kartor med en trevlig syntax.
• Som en följd var det nödvändigt att ersätta listan konstruktören (H, T) av (även används av Mercury) [|] ". (H, T). Det kan tyckas drastiskt, men i praktiken påverkar endast ett fåtal program, särskilt gör funktor (Term, F, A) på listor och sedan välja ytterligare bearbetning på F == '.', A == 2. För att slå listor mer till en speciell konstruktion är [] fortfarande den tomma listan, men inte längre på samma sätt som "[]", är det vill säga [] inte på atom.
• Syntaxen & quot; ... & quot; nu mappas till strängar. Strängar är kompatibla med Eclipse (tack vare Joachim Schimpf för alla diskussioner). Traditionella kod-listor är konstruerade med hjälp av .... De flaggor double_quotes och back_quotes styra beteendet.
• Tack vare Torbjörn Lager, har & quot vi; Pengines & quot ;, Prolog motorer på webben. Detta ger en generisk API för att prata bekvämt med en Prolog-server från JavaScript och andra Prolog instanser. Det aktiverade SWISH, SWI-Prolog i din webbläsare (http://swish.swi-prolog.org) samt http://lpn.swi-prolog.org (Läs Prolog nu! Med inbyggd SWISH).
• Markus Triska lagt clp (b), Boolean tvång solver, förbättrades hans clp (fd) och var innan flera förbättringar av högsta nivån som behandlar begränsningar.
• Tack vare Matt Lilley och Mike Elston finns CQL, en DSL (Domain Specific Language) för att hantera SQL. CQL utvecklas i en miljö där komplexa SQL-databaser är normen och stödjer därför en stor delmängd av SQL och kan ta itu med tabeller med tusentals kolumner och andra saker som ocasional SQL användaren inte förväntar sig.
• Matt Lilley förbättrade nätverksstöd avsevärt, bland annat bättre stöd för SSL och allmänt stöd för både HTTP och strumpor proxyservrar.
• Många människor har lämnat tillägg (förpackningar) som är beroende av SWI-Prolog version 7.

Vad är nytt i version 7.2.1 / 7.3.3-dev:

• Den nya dict typ och syntax ger både tid och utrymmeseffektiv namnvärde kartor med en trevlig syntax.
• Som en följd var det nödvändigt att ersätta listan konstruktören (H, T) av (även används av Mercury) [|] ". (H, T). Det kan tyckas drastiskt, men i praktiken påverkar endast ett fåtal program, särskilt gör funktor (Term, F, A) på listor och sedan välja ytterligare bearbetning på F == '.', A == 2. För att slå listor mer till en speciell konstruktion är [] fortfarande den tomma listan, men inte längre på samma sätt som "[]", är det vill säga [] inte på atom.
• Syntaxen & quot; ... & quot; nu mappas till strängar. Strängar är kompatibla med Eclipse (tack vare Joachim Schimpf för alla diskussioner). Traditionella kod-listor är konstruerade med hjälp av .... De flaggor double_quotes och back_quotes styra beteendet.
• Tack vare Torbjörn Lager, har & quot vi; Pengines & quot ;, Prolog motorer på webben. Detta ger en generisk API för att prata bekvämt med en Prolog-server från JavaScript och andra Prolog instanser. Det aktiverade SWISH, SWI-Prolog i din webbläsare (http://swish.swi-prolog.org) samt http://lpn.swi-prolog.org (Läs Prolog nu! Med inbyggd SWISH).
• Markus Triska lagt clp (b), Boolean tvång solver, förbättrades hans clp (fd) och var innan flera förbättringar av högsta nivån som behandlar begränsningar.
• Tack vare Matt Lilley och Mike Elston finns CQL, en DSL (Domain Specific Language) för att hantera SQL. CQL utvecklas i en miljö där komplexa SQL-databaser är normen och stödjer därför en stor delmängd av SQL och kan ta itu med tabeller med tusentals kolumner och andra saker som ocasional SQL användaren inte förväntar sig.
• Matt Lilley förbättrade nätverksstöd avsevärt, bland annat bättre stöd för SSL och allmänt stöd för både HTTP och strumpor proxyservrar.
• Många människor har lämnat tillägg (förpackningar) som är beroende av SWI-Prolog version 7.

Vad är nytt i version 7.2.0 / 7.3.1-dev:

• Den nya dict typ och syntax ger både tid och utrymmeseffektiv namnvärde kartor med en trevlig syntax.
• Som en följd var det nödvändigt att ersätta listan konstruktören (H, T) av (även används av Mercury) [|] ". (H, T). Det kan tyckas drastiskt, men i praktiken påverkar endast ett fåtal program, särskilt gör funktor (Term, F, A) på listor och sedan välja ytterligare bearbetning på F == '.', A == 2. För att slå listor mer till en speciell konstruktion är [] fortfarande den tomma listan, men inte längre på samma sätt som "[]", är det vill säga [] inte på atom.
• Syntaxen & quot; ... & quot; nu mappas till strängar. Strängar är kompatibla med Eclipse (tack vare Joachim Schimpf för alla diskussioner). Traditionella kod-listor är konstruerade med hjälp av .... De flaggor double_quotes och back_quotes styra beteendet.
• Tack vare Torbjörn Lager, har & quot vi; Pengines & quot ;, Prolog motorer på webben. Detta ger en generisk API för att prata bekvämt med en Prolog-server från JavaScript och andra Prolog instanser. Det aktiverade SWISH, SWI-Prolog i din webbläsare (http://swish.swi-prolog.org) samt http://lpn.swi-prolog.org (Läs Prolog nu! Med inbyggd SWISH).
• Markus Triska lagt clp (b), Boolean tvång solver, förbättrades hans clp (fd) och var innan flera förbättringar av högsta nivån som behandlar begränsningar.
• Tack vare Matt Lilley och Mike Elston finns CQL, en DSL (Domain Specific Language) för att hantera SQL. CQL utvecklas i en miljö där komplexa SQL-databaser är normen och stödjer därför en stor delmängd av SQL och kan ta itu med tabeller med tusentals kolumner och andra saker som ocasional SQL användaren inte förväntar sig.
• Matt Lilley förbättrade nätverksstöd avsevärt, bland annat bättre stöd för SSL och allmänt stöd för både HTTP och strumpor proxyservrar.
• Många människor har lämnat tillägg (förpackningar) som är beroende av SWI-Prolog version 7.

Vad är nytt i version 6.6.6 / 7.1.37:

• Behandling av # !, bindande en fil till en tolk i Unix inte längre försöker vara smart om bearbetningsalternativ till tolken. Effekten av denna förändring beror på Unix. Några bara passera det första alternativet, andra packa alla alternativ i en och ytterligare andra passerar alternativen efter att bryta dem
• Prolog flagga argv ger endast argument som inte har hanterats av Prolog.
• init fil .plrc (pl.ini på Windows) inte längre sökte i arbetskatalogen av säkerhetsskäl.

Vad är nytt i version 6.6.6 / 7.1.31:

• Behandling av # !, bindande en fil till en tolk i Unix inte längre försöker vara smart om bearbetningsalternativ till tolken. Effekten av denna förändring beror på Unix. Några bara passera det första alternativet, andra packa alla alternativ i en och ytterligare andra passerar alternativen efter att bryta dem
• Prolog flagga argv ger endast argument som inte har hanterats av Prolog.
• init fil .plrc (pl.ini på Windows) inte längre sökte i arbetskatalogen av säkerhetsskäl.

Vad är nytt i version 6.4.0:

• Uppdaterade RDF biblioteket till version 3. Någon omtänksam om RDF förmodligen redan använder utvecklingsversionen av denna anledning. Added snabba tolkar för ntriples, Turtle och Trig-format.
• Införande av kvasi offert för smidig och säker integration av externa snuttar språk
• Uppgradering av PlDoc att acceptera gemensamma markdown konstruktioner.
• Många förbättringar till utvecklingsverktyg, HTTP bibliotek, clib paket. etc. Bättre stöd för Unix daemon processer (syslog, UID / GID förvaltning, osv.)
• En start för språkhantering (stöd format / 3, särskilt skriva språkspecifika stora heltal.
• Massor av stabilitets saker:. fasta krascher, bärbarhet patchar, byggsystem förbättringar, etc

Vad är nytt i version 6.2.0:

• Första versionen av det så kallade pack "pakethanterare
• Bättre hantering källfilen, särskilt wrt. - Inkluderar (File)
.
• Många fixar till debugger, förbättra källhantering och den logik som beslutar om vilka portar är dolda.
• Windows-versionen nu bygga med hjälp av MinGW kompilatorn projektet, vilket resulterade i 10-20% speedup. Förbättringar av swipl-win.exe konsol. Kopiera / klistra in och färgstöd

Vad är nytt i version 6.0.0:

• Dynamic just-in-time indexering på flera argument .
• Abstracted många av utvecklings API, stödja PDT IDE.
• Massor av sanering, bugfixar, etc.

Vad är nytt i version 5.11.20.

• Minskad trail-stack användning
• Ange generations sophämtning.

Vad är nytt i version 5.11.10:

• Minska trail-stack användning. (delvis)
• Ange generations sophämtning.

Vad är nytt i version 5.11.9:

• Minska trail-stack användning. (delvis)
• Ange generations sophämtning.

Vad är nytt i version 5.10.0:

• Alla plattformar använder nu konsekvent namngivning. Den SWI-Prolog körbara kallas swipl, länk swipl-ld och Resouce-filhanterare swipl-rc.
• Ny stack minnes förvaltning som bygger på stacken skiftande snarare än att fördela staplarna glest i den virtuella adressutrymme. Denna förändring möjliggör en mycket bättre skalbarhet av antalet trådar, så vi också bort den gamla thread-count gräns på 100. stack Erna kan nu höjas och reduceras vid körning med set_prolog_stack / 2.
• Standard stack storlek gränser nu 128 MB per stack på 32-bitars och 256 MB på 64-bitars hårdvara.
• Omfattande läcka och stresstester har fastställt ett antal läckor och ras villkor, vilket gör systemet mycket mer robust i 24x7 serverkonfigurationen.
• En start har gjorts för att undvika att använda C-stacken för recursing i termer. Detta möjliggör bearbetning mycket mer djupt kapslade villkor och ger en ren undantag om det inte finns tillräckliga resurser för att korsa termen. Det finns fortfarande mycket att göra på detta område.
• SWI-Prolog 5.10.0 introducerar säkra hänvisningar till databas termer (assertz / 2, recordz / 3) och vattendrag (öppna / 3).
• Antalet variabler i avsnitten är nu begränsad till 1000 miljoner; Detta var 65535. Dessutom ger systemet graciösa undantag när de stöter på resurs-fel eller försöker hävda olagliga villkor såsom cykliska villkor.
• Kompatibilitet till både YAP och SICStus förbättras.

Vad är nytt i version 5.8.2:

• CLEANUP: Genomförande och dokumentation av signalgränssnitt.
• FAST. Använd --nopce / - st för (dis) tillåter grafik
• FAST GC-bug; utelämna stripp uwrite-bitars från argument stack
• MODIFIERAD: Tog bort prolog flaggan abort_with_exception; den inte längre används.
• FAST: Undvik dödläge när han försökte lämna efter ett allvarligt fel
.
• MODIFIERAD: is_set / 1 använder nu sortera / 2. Som ett resultat, är icke-delade variabler betraktas olika element; ordern är N * log (N) och predikatet kan returnera en resurs fel.
• FAST: Efter: -.. modul (x), utföra mål expansion i förhållande till modulen x
• CLEANUP: Post # 547. Korrekt citerar odefinierade predikat och alternativ
• DOC: Klargör current_arithmetic_function / 1
.
• DOC: Ge tillgänglighet snippit för C-funktioner
• FAST: Tidigare förenkling skadad variabel admin av kompilatorn. Även lagt test fall.
• FAST: Bug # 436: förena en variabel med sig skapar en referens slinga
.

Vad är nytt i version 5.7.14:

• FAST: kors referencer att skilja: från 0 i meta-predikat deklarationer
• CLEANUP: Använd meta_predicate för predsort / 3
• MODIFIERAD: göra / 0 nu bara söker efter hänvisningar till odefinierade predikat i moduler som innehåller dem. Den list_undefined / 0 fortfarande söker globalt.
• ENHANCED: CLP (FD). Arc-konsekvent global_cardinality / 2 om par initialt marken
• FAST: Handtag (multifile) predikat som vissa klausuler har sin kropp i en annan modul och en del i densamma. Matt Lilley.
• TILLAGT:% [& # x3c; n & # x3e;] f format till format_time / 3 för att ta itu med bråkdelar av sekunder. Används av nya debug utvidgningar.
• TILLAGT: debug_message_context (+ | -Context) för att specificera ytterligare sammanhang för debug-meddelanden (t.ex. en tidsstämpel)
.
• FAST: Gör apply_macros gör sin expansion mål i samband med systemmodul
• ENHANCED: CLP (FD): Snabbare global_cardinality / 2 om Key-Num par mals
.
• FAST: hantera operatörs prioritet i svar utskrift. Markus Triska.
• ENHANCED: Använd toplevel utskriftsalternativ för rest mål, genomförande rensning
• ENHANCED: Gör term_variables och term_attvars effektivt om en lista ges (särskilt term_attvars (Term, []))
.
• ENHANCED: Gör inspelade databas använda ny term-walker koden
• ENHANCED: Första installationen av ett skelett för att gå igenom villkoren med hjälp av en enkel slinga i stället för en rekursiv procedur. Nu används för term_variables / 2 och relaterade predikat. Schemat förefaller tillräcklig, men den segmenterade stapeln koden måste optimeras avsevärt. Som, term_variables / 2 är något långsammare (5%), men det klarar djupt kapslade villkor med mycket mindre minne och utan stackspill.
• TILLAGT: term_attvars / 2 för bättre stöd för copy_term / 3. Efter diskussion med Markus Triska.
• TILLAGT: del_attrs / 1 för att radera * alla * attribut. Förenklar copy_term / 3.

Vad är nytt i version 5.7.12:

• Prestanda förbättring större program är mellan 10 och 40 %, beroende på programmeringsstil. Särskilt de begränsningslösare vinst avsevärt. Små program visar ibland mycket större uppsnabbningar.
• Sedan 5.7.4, uppdaterad modulsystem
• Massor av sanering i namngivning och modularisering av kodbasen.