SWI-Prolog

Det er nyttige logik programmering formål, kunstig intelligens og datalingvistik

Hvad er nyt i denne udgivelse:.

• ny dict type og syntaks giver både tid og pladsbesparende navn-værdi kort med en behagelig syntaks.
• Som følge heraf var det nødvendigt at erstatte listen konstruktøren (H, T) af (også i brug af kviksølv) [|] «. (H, T). Det kan synes drastisk, men i praksis påvirker kun et par programmer, især laver functor (Term, F, A) på lister og derefter vælge yderligere behandling på F == '.', En == 2. For at slå lister mere ind i en særlige konstruktion, er [] stadig den tomme liste, men ikke længere den samme som "[]", dvs., er [] ikke atom.
• Syntaksen & quot; ... & quot; er nu kortlagt til strenge. Strenge er kompatible med Eclipse (tak til Joachim Schimpf for alle diskussionerne). Traditionelle kode-lister er konstrueret ved hjælp .... flagene double_quotes og back_quotes kontrollere denne opførsel.
• Takket være Torbjorn Lager, har & quot vi, Pengines & quot ;, Prolog motorer på nettet. Dette giver en generisk API til at tale komfortabelt med en Prolog server fra JavaScript og andre Prolog instanser. Det aktiverede SWISH, SWI-Prolog i din browser (http://swish.swi-prolog.org) samt http://lpn.swi-prolog.org (Lær Prolog nu! Med indlejret SWISH).
• Markus Triska tilføjede CLP (b), boolean tvang Solver, forbedret sit CLP (fd), og var før flere forbedringer til topniveau beskæftiger sig med begrænsninger.
• Takket være Matt Lilley og Mike Elston, er der CQL, en DSL (Domain Specific Language) til at håndtere SQL. CQL er udviklet i et miljø, hvor komplekse SQL databaser er normen, og støtter derfor en stor delmængde af SQL og kan håndtere tabeller med tusindvis af søjler og andre ting, at den ocasional SQL brugeren ikke vil forvente.
• Matt Lilley forbedret netværksunderstøttelse markant, herunder meget bedre støtte til SSL og generel støtte til både HTTP og sokker proxy-servere.
• Mange mennesker har givet tilføjelser (packs), der er afhængige af SWI-Prolog version 7.

Hvad er nyt i version 7.2.1 / 7.3.3-dev:

• Den nye dict typen og syntaks giver både tid og pladsbesparende navn-værdi kort med en behagelig syntaks.
• Som følge heraf var det nødvendigt at erstatte listen konstruktøren (H, T) af (også i brug af kviksølv) [|] «. (H, T). Det kan synes drastisk, men i praksis påvirker kun et par programmer, især laver functor (Term, F, A) på lister og derefter vælge yderligere behandling på F == '.', En == 2. For at slå lister mere ind i en særlige konstruktion, er [] stadig den tomme liste, men ikke længere den samme som "[]", dvs., er [] ikke atom.
• Syntaksen & quot; ... & quot; er nu kortlagt til strenge. Strenge er kompatible med Eclipse (tak til Joachim Schimpf for alle diskussionerne). Traditionelle kode-lister er konstrueret ved hjælp .... flagene double_quotes og back_quotes kontrollere denne opførsel.
• Takket være Torbjorn Lager, har & quot vi, Pengines & quot ;, Prolog motorer på nettet. Dette giver en generisk API til at tale komfortabelt med en Prolog server fra JavaScript og andre Prolog instanser. Det aktiverede SWISH, SWI-Prolog i din browser (http://swish.swi-prolog.org) samt http://lpn.swi-prolog.org (Lær Prolog nu! Med indlejret SWISH).
• Markus Triska tilføjede CLP (b), boolean tvang Solver, forbedret sit CLP (fd), og var før flere forbedringer til topniveau beskæftiger sig med begrænsninger.
• Takket være Matt Lilley og Mike Elston, er der CQL, en DSL (Domain Specific Language) til at håndtere SQL. CQL er udviklet i et miljø, hvor komplekse SQL databaser er normen, og støtter derfor en stor delmængde af SQL og kan håndtere tabeller med tusindvis af søjler og andre ting, at den ocasional SQL brugeren ikke vil forvente.
• Matt Lilley forbedret netværksunderstøttelse markant, herunder meget bedre støtte til SSL og generel støtte til både HTTP og sokker proxy-servere.
• Mange mennesker har givet tilføjelser (packs), der er afhængige af SWI-Prolog version 7.

Hvad er nyt i version 7.2.0 / 7.3.1-dev:

• Den nye dict typen og syntaks giver både tid og pladsbesparende navn-værdi kort med en behagelig syntaks.
• Som følge heraf var det nødvendigt at erstatte listen konstruktøren (H, T) af (også i brug af kviksølv) [|] «. (H, T). Det kan synes drastisk, men i praksis påvirker kun et par programmer, især laver functor (Term, F, A) på lister og derefter vælge yderligere behandling på F == '.', En == 2. For at slå lister mere ind i en særlige konstruktion, er [] stadig den tomme liste, men ikke længere den samme som "[]", dvs., er [] ikke atom.
• Syntaksen & quot; ... & quot; er nu kortlagt til strenge. Strenge er kompatible med Eclipse (tak til Joachim Schimpf for alle diskussionerne). Traditionelle kode-lister er konstrueret ved hjælp .... flagene double_quotes og back_quotes kontrollere denne opførsel.
• Takket være Torbjorn Lager, har & quot vi, Pengines & quot ;, Prolog motorer på nettet. Dette giver en generisk API til at tale komfortabelt med en Prolog server fra JavaScript og andre Prolog instanser. Det aktiverede SWISH, SWI-Prolog i din browser (http://swish.swi-prolog.org) samt http://lpn.swi-prolog.org (Lær Prolog nu! Med indlejret SWISH).
• Markus Triska tilføjede CLP (b), boolean tvang Solver, forbedret sit CLP (fd), og var før flere forbedringer til topniveau beskæftiger sig med begrænsninger.
• Takket være Matt Lilley og Mike Elston, er der CQL, en DSL (Domain Specific Language) til at håndtere SQL. CQL er udviklet i et miljø, hvor komplekse SQL databaser er normen, og støtter derfor en stor delmængde af SQL og kan håndtere tabeller med tusindvis af søjler og andre ting, at den ocasional SQL brugeren ikke vil forvente.
• Matt Lilley forbedret netværksunderstøttelse markant, herunder meget bedre støtte til SSL og generel støtte til både HTTP og sokker proxy-servere.
• Mange mennesker har givet tilføjelser (packs), der er afhængige af SWI-Prolog version 7.

Hvad er nyt i version 6.6.6 / 7.1.37:

• Behandling af # !, bindende en fil til en tolk i Unix ikke længere forsøger at være smart om behandlingsmuligheder til tolken. Effekten af ​​denne ændring afhænger af Unix-versioner:. Nogle kun passere den første mulighed, andre pakke alle muligheder i én og endnu andre passere muligheder efter at bryde dem
• Prolog flag argv kun giver argumenter, som ikke er behandlet af Prolog.
• init filen .plrc (pl.ini på Windows) ikke længere søges i arbejdsmappen af ​​sikkerhedsmæssige årsager.

Hvad er nyt i version 6.6.6 / 7.1.31:

• Behandling af # !, bindende en fil til en tolk i Unix ikke længere forsøger at være smart om behandlingsmuligheder til tolken. Effekten af ​​denne ændring afhænger af Unix-versioner:. Nogle kun passere den første mulighed, andre pakke alle muligheder i én og endnu andre passere muligheder efter at bryde dem
• Prolog flag argv kun giver argumenter, som ikke er behandlet af Prolog.
• init filen .plrc (pl.ini på Windows) ikke længere søges i arbejdsmappen af ​​sikkerhedsmæssige årsager.

Hvad er nyt i version 6.4.0:

• Opdateret RDF biblioteket til version 3. Enhver, omsorgsfulde om RDF var sandsynligvis allerede bruger udviklingen versionen af ​​denne grund. Tilføjet hurtige parsere til ntriples, Turtle og Trig formater.
• Indførelse af kvasi tilbud til jævn og sikker inddragelse af eksterne sprog snippets
• Opgradering af PlDoc at acceptere de fælles Markdown konstruktioner.
• Mange forbedringer til de udviklingsværktøjer, HTTP biblioteker, clib pakke. etc. Bedre understøttelse af Unix daemon processer (syslog, UID / GID ledelse, osv.)
• En start for landestandard håndtering (understøtter formatet / 3, især skriver locale specifikke store heltal.
• Masser af stabilitet ting:. faste nedbrud, portabilitet patches, bygge systemet forbedringer mv

Hvad er nyt i version 6.2.0:

• Første udgave af `pack" pakkehåndtering
• Bedre håndtering kildefil, især mht. : - Omfatter (File)
.
• Mange rettelser til debugger, bedre kilde håndtering og den logik, der træffer beslutning om, hvilke porte er skjult.
• Windows-version nu bygge bruge MinGW compiler-projektet, hvilket resulterer i 10-20% SpeedUp. Forbedringer til swipl-win.exe konsol:. Copy / paste og farve støtte

Hvad er nyt i version 6.0.0:

• Dynamisk just-in-time indeksering på flere argumenter .
• indvindes mange af de udviklingsprojekter API'er, støtter PDT IDE.
• Masser af oprydning, fejlrettelser osv.

Hvad er nyt i version 5.11.20:.

• Reduceret spor-stack forbrug
• Give generationsskifte garbage collection.

Hvad er nyt i version 5.11.10:

• Reducere forbrug spor-stak. (delvis)
• Give generationsskifte garbage collection.

Hvad er nyt i version 5.11.9:

• Reducere forbrug spor-stak. (delvis)
• Give generationsskifte garbage collection.

Hvad er nyt i version 5.10.0:

• Alle platforme nu bruge konsekvent navngivning. Den SWI-Prolog eksekverbare kaldes swipl, linker swipl-ld og resouce-filhåndteringen swipl-rc.
• Ny stack memory-forvaltning, der er baseret på stakken-shifting i stedet tildele stakkene tyndt i det virtuelle adresse-plads. Denne ændring giver mulighed for meget bedre skalerbarhed i antallet af tråde, så vi fjernede også den gamle tråd-count grænse på 100. stak-grænser kan nu hæves og reduceres på runtime ved hjælp set_prolog_stack / 2.
• Standard stack-size-grænser nu 128 MB per stack på 32-bit og 256 MB på 64-bit hardware.
• Omfattende læk og stress-test har fastsat en række lækager og race betingelser, hvilket gør systemet langt mere robust i 24x7 server setup.
• Der er foretaget en begyndelse at undgå at bruge C-stakken til rekursiv i termer. Dette tillader behandling langt mere dybt indlejret vilkår og giver en ren undtagelse, hvis der ikke er tilstrækkelige ressourcer til at krydse udtrykket. Der er stadig meget at gøre på dette område.
• SWI-Prolog 5.10.0 introducerer sikre henvisninger til database vilkår (assertz / 2, recordz / 3) og vandløb (åbn / 3).
• Antallet af variable i klausuler er nu begrænset til en milliard; dette var 65535. Desuden giver systemet yndefulde undtagelser, når de møder ressource-fejl, eller forsøger at hævde ulovlige udtryk såsom cykliske vilkår.
• Kompatibilitet til både YAP og SICSTUS er forbedret.

Hvad er nyt i version 5.8.2:

• oprydning: Gennemførelse og dokumentation af signalet interface.
• FAST:. Brug --nopce / - PCE for (DIS), der giver grafik
• FAST: GC-bug; udelade stripping uwrite-bit fra argumentet stak
• ændret: Fjernet prolog flag abort_with_exception; er det ikke længere bruges.
• FAST: Undgå dødvande under forsøg på at afslutte efter en fatal fejl
.
• ændret: is_set / 1 bruger nu sortere / 2. Som et resultat, der ikke delte variabler betragtet forskellige elementer; ordren er N * log (N) og prædikatet kan returnere en ressource-fejl.
• FAST: Efter: -.. modul (x), udføre mål-udvidelse i forhold til modul x
• oprydning: Vare # 547:. Korrekt citerer udefinerede prædikater og alternativer
• DOC: Afklar current_arithmetic_function / 1
.
• DOC: Give tilgængelighed snippit for C-funktioner
• FAST: Forrige forenkling ødelagt variabel admin af compileren. Også tilføjet test-sagen.
• FAST: Fejl # 436: forener en variabel med sig selv skaber en reference løkke
.

Hvad er nyt i version 5.7.14:

• FAST: cross-Referencer at skelne: fra 0 i meta-prædikatforbrydelser erklæringer
• oprydning: Brug meta_predicate for predsort / 3
• ændret: gøre / 0 nu kun scanner efter referencer til udefinerede prædikater i modulerne, der indeholder dem. Den list_undefined / 0 stadig søger globalt.
• Forbedret: CLP (FD):. Arc-konsistent global_cardinality / 2, hvis par er oprindeligt jorden
• FIXED: Håndtag (multifile) prædikater for hvilke nogle klausuler har deres krop i et andet modul, og nogle i det samme. Matt Lilley.
• tilføjede:% [& # X3C n & # x3e;] f format til format_time / 3 for at beskæftige sig med brøkdele af sekunder. Brugt af nye debug extensions.
• tilføjede: debug_message_context (+ | -Context) for at angive yderligere kontekst for debug beskeder (såsom et tidsstempel)
.
• FAST: Lav apply_macros gøre sit mål ekspansion i forbindelse med systemets modul
• Forbedret: CLP (FD): Hurtigere global_cardinality / 2, hvis Nøgle-Num par er jorden
.
• FAST: håndtere operatør-prioritet i svar udskrivning. Markus Triska.
• Forbedret: Brug topniveau udskriftsindstillinger for resterende mål, oprydning implementering
• Forbedret: Lav term_variables og term_attvars effektiv, hvis en liste findes (især term_attvars (Term, []))
.
• Forbedret: Lav optaget database bruge ny valgperiode-walker koden
• Forbedret: Første opsætning af et skelet til gennemkører udtryk ved hjælp af en simpel løkke i stedet for en rekursiv procedure. Nu i brug i term_variables / 2 og relaterede prædikater. Skemaet synes tilstrækkelig, men segmenteret stak koden skal optimeres betydeligt. Som det er, term_variables / 2 er lidt langsommere (5%), men det kan håndtere dybt indlejrede vilkår med langt mindre hukommelse og uden stakken bliver fuld.
• tilføjede: term_attvars / 2 for bedre støtte af copy_term / 3. Efter drøftelse med Markus Triska.
• tilføjede: del_attrs / 1 for at slette * alle * attributter. Forenkler copy_term / 3.

Hvad er nyt i version 5.7.12:

• Ydelse forbedring på større programmer er mellem 10 og 40 %, afhængigt af programmering stil. Især de constraint solvers profitere betydeligt. Små programmer viser nogle gange meget større speedups.
• Siden 5.7.4, opdateret modulsystem
• Masser af oprydning i navngivning og modularisering af kodebase.