SWI-Prolog

Det er nyttig logikk programmering formål, kunstig intelligens og datalingvistikk

Hva er nytt i denne utgaven.

• ny dict type og syntaks gir både tid og rom effektiv navn-verdi kart med en behagelig syntaks.
• Som en konsekvens var det nødvendig å skifte ut en liste konstruktør (H, T) ved (også i bruk ved Mercury) '[|]'. (H, t). Det kan virke drastisk, men i praksis påvirker bare noen få programmer, særlig gjør functor (Term, F, A) på lister og deretter velge videre behandling på F == '.', A == 2. For å slå lister mer inn i en spesiell konstruksjon, er [] fortsatt tom liste, men ikke lenger det samme som "[]", er altså [] ikke på atom.
• Syntaksen & quot; ... & quot; er nå kartlagt til strenger. Strenger er kompatibel med Eclipse (takk til Joachim Schimpf for alle diskusjonene). Tradisjonelle kodelister er konstruert ved hjelp .... flaggene double_quotes og back_quotes styre denne oppførselen.
• Takk til Torbjørn Lager, har vi & quot; Pengines & quot ;, Prolog motorer på nettet. Dette gir en generisk API for å snakke komfortabelt til en Prolog server fra Javascript og andre Prolog tilfeller. Det aktivert SWISH, SWI-Prolog i nettleseren din (http://swish.swi-prolog.org) samt http://lpn.swi-prolog.org (Lær Prolog Now! Med innebygd SWISH).
• Markus Triska lagt CLP (b), den boolean begrensningen løser, forbedret sin CLP (FD) og var før flere forbedringer til toppnivå håndtere begrensninger.
• Takk til Matt Lilley og Mike Elston, det er CQL, et DSL (Domain Specific Language) for å håndtere SQL. CQL er utviklet i et miljø hvor komplekse SQL databaser er normen og støtter derfor en stor del av SQL og kan håndtere tabeller med tusenvis av søyler og andre ting som det ocasional SQL brukeren ikke vil forvente.
• Matt Lilley forbedret nettverksstøtte betydelig, blant annet mye bedre støtte for SSL og generell støtte for både HTTP og SOCKS proxy-servere.
• Mange har gitt tilleggsprogrammer (pakker) som er avhengige av SWI-Prolog versjon 7.

Hva er nytt i versjon 7.2.1 / 7.3.3-dev:

• Den nye dict typen og syntaks gir både tid og rom effektiv navn-verdi kart med en behagelig syntaks.
• Som en konsekvens var det nødvendig å skifte ut en liste konstruktør (H, T) ved (også i bruk ved Mercury) '[|]'. (H, t). Det kan virke drastisk, men i praksis påvirker bare noen få programmer, særlig gjør functor (Term, F, A) på lister og deretter velge videre behandling på F == '.', A == 2. For å slå lister mer inn i en spesiell konstruksjon, er [] fortsatt tom liste, men ikke lenger det samme som "[]", er altså [] ikke på atom.
• Syntaksen & quot; ... & quot; er nå kartlagt til strenger. Strenger er kompatibel med Eclipse (takk til Joachim Schimpf for alle diskusjonene). Tradisjonelle kodelister er konstruert ved hjelp .... flaggene double_quotes og back_quotes styre denne oppførselen.
• Takk til Torbjørn Lager, har vi & quot; Pengines & quot ;, Prolog motorer på nettet. Dette gir en generisk API for å snakke komfortabelt til en Prolog server fra Javascript og andre Prolog tilfeller. Det aktivert SWISH, SWI-Prolog i nettleseren din (http://swish.swi-prolog.org) samt http://lpn.swi-prolog.org (Lær Prolog Now! Med innebygd SWISH).
• Markus Triska lagt CLP (b), den boolean begrensningen løser, forbedret sin CLP (FD) og var før flere forbedringer til toppnivå håndtere begrensninger.
• Takk til Matt Lilley og Mike Elston, det er CQL, et DSL (Domain Specific Language) for å håndtere SQL. CQL er utviklet i et miljø hvor komplekse SQL databaser er normen og støtter derfor en stor del av SQL og kan håndtere tabeller med tusenvis av søyler og andre ting som det ocasional SQL brukeren ikke vil forvente.
• Matt Lilley forbedret nettverksstøtte betydelig, blant annet mye bedre støtte for SSL og generell støtte for både HTTP og SOCKS proxy-servere.
• Mange har gitt tilleggsprogrammer (pakker) som er avhengige av SWI-Prolog versjon 7.

Hva er nytt i versjon 7.2.0 / 7.3.1-dev:

• Den nye dict typen og syntaks gir både tid og rom effektiv navn-verdi kart med en behagelig syntaks.
• Som en konsekvens var det nødvendig å skifte ut en liste konstruktør (H, T) ved (også i bruk ved Mercury) '[|]'. (H, t). Det kan virke drastisk, men i praksis påvirker bare noen få programmer, særlig gjør functor (Term, F, A) på lister og deretter velge videre behandling på F == '.', A == 2. For å slå lister mer inn i en spesiell konstruksjon, er [] fortsatt tom liste, men ikke lenger det samme som "[]", er altså [] ikke på atom.
• Syntaksen & quot; ... & quot; er nå kartlagt til strenger. Strenger er kompatibel med Eclipse (takk til Joachim Schimpf for alle diskusjonene). Tradisjonelle kodelister er konstruert ved hjelp .... flaggene double_quotes og back_quotes styre denne oppførselen.
• Takk til Torbjørn Lager, har vi & quot; Pengines & quot ;, Prolog motorer på nettet. Dette gir en generisk API for å snakke komfortabelt til en Prolog server fra Javascript og andre Prolog tilfeller. Det aktivert SWISH, SWI-Prolog i nettleseren din (http://swish.swi-prolog.org) samt http://lpn.swi-prolog.org (Lær Prolog Now! Med innebygd SWISH).
• Markus Triska lagt CLP (b), den boolean begrensningen løser, forbedret sin CLP (FD) og var før flere forbedringer til toppnivå håndtere begrensninger.
• Takk til Matt Lilley og Mike Elston, det er CQL, et DSL (Domain Specific Language) for å håndtere SQL. CQL er utviklet i et miljø hvor komplekse SQL databaser er normen og støtter derfor en stor del av SQL og kan håndtere tabeller med tusenvis av søyler og andre ting som det ocasional SQL brukeren ikke vil forvente.
• Matt Lilley forbedret nettverksstøtte betydelig, blant annet mye bedre støtte for SSL og generell støtte for både HTTP og SOCKS proxy-servere.
• Mange har gitt tilleggsprogrammer (pakker) som er avhengige av SWI-Prolog versjon 7.

Hva er nytt i versjon 6.6.6 / 7.1.37:

• Bearbeiding av # !, bindende en fil til tolk i Unix ikke lenger prøver å være smart om behandlingsalternativer til tolk. Effekten av denne endringen avhenger av Unix-versjoner. Noen bare passere det første alternativet, andre pakke alle alternativer i ett og atter andre passere alternativene etter å bryte dem
• Prolog flagg argv gir bare argumenter som ikke har vært behandlet av Prolog.
• Den init filen .plrc (pl.ini på Windows) er ikke lenger søkte på i arbeidskopien av sikkerhetsmessige grunner.

Hva er nytt i versjon 6.6.6 / 7.1.31:

• Bearbeiding av # !, bindende en fil til tolk i Unix ikke lenger prøver å være smart om behandlingsalternativer til tolk. Effekten av denne endringen avhenger av Unix-versjoner. Noen bare passere det første alternativet, andre pakke alle alternativer i ett og atter andre passere alternativene etter å bryte dem
• Prolog flagg argv gir bare argumenter som ikke har vært behandlet av Prolog.
• Den init filen .plrc (pl.ini på Windows) er ikke lenger søkte på i arbeidskopien av sikkerhetsmessige grunner.

Hva er nytt i versjon 6.4.0:

• Oppdaterte RDF biblioteket til versjon 3. Noen omsorg om RDF ble trolig allerede bruker utviklingen versjon av denne grunn. Lagt raske parsere for ntriples, Turtle og Trig formater.
• Innføring av kvasi tilbud for glatt og trygg inkludering av eksterne språksnutter
• Oppgradering av PlDoc å godta vanlig Markdown konstruksjoner.
• Mange forbedringer til utviklingsverktøy, HTTP biblioteker, clib pakken. etc. Bedre støtte for Unix-daemon prosesser (syslog, UID / GID ledelse, osv.)
• En start for locale håndtering (som støtter formatet / 3, særlig skriftlig locale spesifikke store heltall.
• Masse stabilitet ting:. faste krasjer, portabilitet patcher, bygge systemforbedringer, etc

Hva er nytt i versjon 6.2.0:

• Første versjon av `pack 'pakkebehandler
• Bedre kildefilen håndtering, særlig wrt. : - Inkluderer (File)
.
• Mange feilrettinger til debugger, bedre kilde håndtering og logikken som bestemmer hvilke porter som er skjult.
• Windows-versjonen nå bygge bruker MinGW kompilatoren prosjektet, noe som resulterer i 10-20% hastighetsøkning. Forbedringer til swipl-win.exe konsoll. Kopier / lim og fargestøtte

Hva er nytt i versjon 6.0.0:

• Dynamic just-in-time indeksering på flere argumenter .
• Abstracted mange av utviklings APIer, støtter PDT IDE.
• Masse opprydding, bug-fikser, etc.

Hva er nytt i versjon 5.11.20.

• Redusert trail-stack bruk
• Gi generasjonssøppelrydding.

Hva er nytt i versjon 5.11.10:

• Reduser trail-stack bruk. (delvis)
• Gi generasjonssøppelrydding.

Hva er nytt i versjon 5.11.9:

• Reduser trail-stack bruk. (delvis)
• Gi generasjonssøppelrydding.

Hva er nytt i versjon 5.10.0:

• Alle plattformer bruker nå konsekvent navngivning. Den SWI-Prolog kjørbar kalles swipl, den linker swipl-ld og resouce-filbehandleren swipl-rc.
• Ny stabel minne-ledelse som er basert på stack-skiftende heller enn å fordele de stabler tynt i den virtuelle adresse-plass. Denne endringen gir mulighet for mye bedre skalerbarhet i antall tråder, slik at vi også fjernet den gamle tråden-count grense på 100. stack-grensene kan nå heves og redusert under kjøring bruker set_prolog_stack / 2.
• Standard stack-size-grensene er nå 128MB per stack på 32-bit og 256 MB på 64-bits maskinvare.
• Omfattende lekkasje og stress-testing har løst en rekke lekkasjer og løpsforhold, noe som gjør systemet mye mer robust i oppsettet 24x7 server.
• En start har blitt gjort for å unngå å bruke C-stack for recursing inn vilkår. Dette gjør behandlingen mye mer dypt nestet vilkår og gir et rent unntak hvis det ikke er nok ressurser til å traversere begrepet. Det er fortsatt mye å gjøre i dette området.
• SWI-Prolog 5.10.0 introduserer trygge referanser til database termer (assertz / 2, recordz / 3) og bekker (åpne / 3).
• Antall variabler i klausuler er nå begrenset til 1000000000; dette var 65535. I tillegg gir systemet grasiøs unntak når det oppdages ressurs feil eller prøver å hevde ulovlige begreper som sykliske vilkår.
• Kompatibilitet til både YAP og SICStus er forbedret.

Hva er nytt i versjon 5.8.2:

• Opprydding: Gjennomføring og dokumentasjon av signalet grensesnittet.
• FIKSET:. Bruk --nopce / - PCE for (dis) slik grafikk
• FIKSET: GC-bug; utelate stripping uwrite-bit fra argument stabelen
• ENDRET: Fjernet prologen flagget abort_with_exception; det er ikke lenger brukes.
• FIKSET: Unngå vranglås mens du prøver å gå ut etter en fatal feil
.
• ENDRET: is_set / en bruker nå sortere / 2. Som et resultat, er ikke-delte variabler vurdert ulike elementer; rekkefølgen er N * log (N) og predikatet kan returnere en ressurs feil.
• FIKSET: Etter: -.. modul (x), utføre mål-utvidelse i forhold til modul x
• Opprydding: Varenummer 547:. Riktig sitere udefinerte predikater og alternativer
• DOC: Avklare current_arithmetic_function / 1
.
• DOC: Gi tilgjengelighet snippit for C-funksjoner
• FIKSET: Forrige forenkling ødelagt variabel admin av kompilatoren. Også lagt test-case.
• FIKSET: Bug # 436: forene en variabel med seg selv skaper en referanse sløyfe
.

Hva er nytt i versjon 5.7.14:

• FIKSET: cross-Referencer å skille: fra 0 i meta-predikat erklæringer
• Opprydding: Bruk meta_predicate for predsort / 3
• ENDRET: lage / 0 nå bare søker etter referanser til udefinerte predikater i de moduler som inneholder dem. Den list_undefined / 0 fortsatt søker globalt.
• FORBEDRET: CLP (FD). Arc-konsistent global_cardinality / 2 hvis parene er i utgangspunktet bakken
• FIKSET: Håndtak (multifile) predikater som noen klausuler har sin kropp i en annen modul og noen i det samme. Matt Lilley.
• Lagt til:% [& # X3c; n & # x3e;] f format til format_time / 3 for å håndtere brøkdeler av sekunder. Brukes av nye debug utvidelser.
• Lagt til: debug_message_context (+ | -Context) for å spesifisere ytterligere kontekst for avlusing meldinger (som et tidsstempel)
.
• FIKSET: Gjør apply_macros gjøre sitt mål ekspansjon i sammenheng med systemet modul
• FORBEDRET: CLP (FD): Raskere global_cardinality / 2 hvis Key-Num parene er bakken
.
• FIKSET: håndtere operatør-prioritet i svaret utskrift. Markus Triska.
• FORBEDRET: Bruk toplevel utskriftsalternativer for rest mål, opprydding implementering
• FORBEDRET: Gjør term_variables og term_attvars effektiv hvis en liste er gitt (særlig term_attvars (Term, []))
.
• FORBEDRET: Gjør registrert database bruke nye begrepet-walker kode
• FORBEDRET: Første oppsett av et skjelett for traversering vilkår ved hjelp av en enkel løkke i stedet for en rekursiv prosedyre. Nå i bruk for term_variables / 2 og relaterte predikater. Skjemaet vises tilstrekkelig, men den segment stabelen koden må optimaliseres betraktelig. Som er, term_variables / 2 er litt tregere (5%), men det kan håndtere dypt nestede vilkår med mye mindre minne og uten stack overflow.
• Lagt til: term_attvars / 2 for bedre støtte for copy_term / 3. Etter diskusjon med Markus Triska.
• Lagt til: del_attrs / 1 for å slette * alle * attributter. Forenkler copy_term / 3.

Hva er nytt i versjon 5.7.12:

• Ytelse forbedring på større programmer er mellom 10 og 40 %, avhengig av programmer stil. Spesielt de begrensende løsere tjene betraktelig. Små programmer noen ganger viser mye større speedups.
• Siden 5.7.4, oppdatert modul system
• Masse opprydding i navngiving og modularisering av kodebasen.