SWI-Prolog

Dit is nuttig logika programmeertaal doeleindes, kunsmatige intelligensie en rekenaarlinguistiek

Wat is nuut in hierdie release:.

• Die nuwe tipe dict en sintaksis bied beide tyd en ruimte doeltreffende naam-waarde kaarte met 'n aangename sintaksis.
• As 'n gevolg, was dit nodig om die lys constructor vervang (H, T) deur die (ook in gebruik deur Mercury) '[|]. (H, T). Dit lyk dalk drastiese, maar in die praktyk raak net 'n paar programme, veral functor doen (Kwartaal, F, A) op die lys en dan kies verdere verwerking op F == '.', 'N == 2. Om lyste draai in 'n meer spesiale konstruk, [] is nog steeds die leë lys, maar nie meer dieselfde as '[]', dit wil sê, [] is nie op atoom.
• Die sintaksis & quot; ... & quot; nou gekarteer snare. Snare is verenigbaar met Eclipse (te danke aan Joachim Schimpf vir al die besprekings). Tradisionele kode-lyste gebou met behulp van .... Die vlae double_quotes en back_quotes beheer hierdie gedrag.
• Danksy Torbjörn Lager, ons het & quot; & quot ;, Pengines Prolog enjins op die web. Dit bied 'n generiese API om gemaklik te praat om 'n Prolog bediener van JavaScript en ander Prolog gevalle. Dit enabled Swish, SWI-Prolog in jou leser (http://swish.swi-prolog.org) sowel as http://lpn.swi-prolog.org (Leer Prolog Nou! Met ingeboude Swish).
• Markus Tříska bygevoeg CLP (b), die boolean beperking oplosser, verbeter sy CLP (fd) en was voor verskeie verbeterings aan die bokant wat met beperkings.
• Danksy Matt Lilley en Mike Elston, daar is CQL, 'n DSL (Domain Spesifieke Taal) vir die hantering van SQL. CQL is ontwikkel in 'n omgewing waar komplekse SQL databases is die norm en ondersteun dus 'n groot subset van SQL en kan hanteer tafels met duisende kolomme en ander dinge wat die ocasional SQL gebruiker nie sal verwag.
• Matt Lilley verbeter netwerk ondersteuning aansienlik, insluitend baie beter ondersteuning vir SSL en algemene ondersteuning vir beide HTTP en proxy servers.
• Baie mense het voorsien byvoegings (pakke) wat staatmaak op SWI-Prolog weergawe 7.

Wat is nuut in die weergawe 7.2.1 / 7.3.3-dev:

• Die nuwe soort dict en sintaksis bied beide tyd en ruimte doeltreffende naam-waarde kaarte met 'n aangename sintaksis.
• As 'n gevolg, was dit nodig om die lys constructor vervang (H, T) deur die (ook in gebruik deur Mercury) '[|]. (H, T). Dit lyk dalk drastiese, maar in die praktyk raak net 'n paar programme, veral functor doen (Kwartaal, F, A) op die lys en dan kies verdere verwerking op F == '.', 'N == 2. Om lyste draai in 'n meer spesiale konstruk, [] is nog steeds die leë lys, maar nie meer dieselfde as '[]', dit wil sê, [] is nie op atoom.
• Die sintaksis & quot; ... & quot; nou gekarteer snare. Snare is verenigbaar met Eclipse (te danke aan Joachim Schimpf vir al die besprekings). Tradisionele kode-lyste gebou met behulp van .... Die vlae double_quotes en back_quotes beheer hierdie gedrag.
• Danksy Torbjörn Lager, ons het & quot; & quot ;, Pengines Prolog enjins op die web. Dit bied 'n generiese API om gemaklik te praat om 'n Prolog bediener van JavaScript en ander Prolog gevalle. Dit enabled Swish, SWI-Prolog in jou leser (http://swish.swi-prolog.org) sowel as http://lpn.swi-prolog.org (Leer Prolog Nou! Met ingeboude Swish).
• Markus Tříska bygevoeg CLP (b), die boolean beperking oplosser, verbeter sy CLP (fd) en was voor verskeie verbeterings aan die bokant wat met beperkings.
• Danksy Matt Lilley en Mike Elston, daar is CQL, 'n DSL (Domain Spesifieke Taal) vir die hantering van SQL. CQL is ontwikkel in 'n omgewing waar komplekse SQL databases is die norm en ondersteun dus 'n groot subset van SQL en kan hanteer tafels met duisende kolomme en ander dinge wat die ocasional SQL gebruiker nie sal verwag.
• Matt Lilley verbeter netwerk ondersteuning aansienlik, insluitend baie beter ondersteuning vir SSL en algemene ondersteuning vir beide HTTP en proxy servers.
• Baie mense het voorsien byvoegings (pakke) wat staatmaak op SWI-Prolog weergawe 7.

Wat is nuut in die weergawe 7.2.0 / 7.3.1-dev:

• Die nuwe soort dict en sintaksis bied beide tyd en ruimte doeltreffende naam-waarde kaarte met 'n aangename sintaksis.
• As 'n gevolg, was dit nodig om die lys constructor vervang (H, T) deur die (ook in gebruik deur Mercury) '[|]. (H, T). Dit lyk dalk drastiese, maar in die praktyk raak net 'n paar programme, veral functor doen (Kwartaal, F, A) op die lys en dan kies verdere verwerking op F == '.', 'N == 2. Om lyste draai in 'n meer spesiale konstruk, [] is nog steeds die leë lys, maar nie meer dieselfde as '[]', dit wil sê, [] is nie op atoom.
• Die sintaksis & quot; ... & quot; nou gekarteer snare. Snare is verenigbaar met Eclipse (te danke aan Joachim Schimpf vir al die besprekings). Tradisionele kode-lyste gebou met behulp van .... Die vlae double_quotes en back_quotes beheer hierdie gedrag.
• Danksy Torbjörn Lager, ons het & quot; & quot ;, Pengines Prolog enjins op die web. Dit bied 'n generiese API om gemaklik te praat om 'n Prolog bediener van JavaScript en ander Prolog gevalle. Dit enabled Swish, SWI-Prolog in jou leser (http://swish.swi-prolog.org) sowel as http://lpn.swi-prolog.org (Leer Prolog Nou! Met ingeboude Swish).
• Markus Tříska bygevoeg CLP (b), die boolean beperking oplosser, verbeter sy CLP (fd) en was voor verskeie verbeterings aan die bokant wat met beperkings.
• Danksy Matt Lilley en Mike Elston, daar is CQL, 'n DSL (Domain Spesifieke Taal) vir die hantering van SQL. CQL is ontwikkel in 'n omgewing waar komplekse SQL databases is die norm en ondersteun dus 'n groot subset van SQL en kan hanteer tafels met duisende kolomme en ander dinge wat die ocasional SQL gebruiker nie sal verwag.
• Matt Lilley verbeter netwerk ondersteuning aansienlik, insluitend baie beter ondersteuning vir SSL en algemene ondersteuning vir beide HTTP en proxy servers.
• Baie mense het voorsien byvoegings (pakke) wat staatmaak op SWI-Prolog weergawe 7.

Wat is nuut in die weergawe 6.6.6 / 7.1.37:

• Die verwerking van # !, bindend 'n lêer op 'n tolk in Unix nie meer probeer slim oor die verwerking van opsies om die tolk te wees. Die uitwerking van hierdie verandering is afhanklik van die Unix weergawes:. Sommige slegs slaag die eerste opsie, ander pak al die opsies in een en nog ander slaag die opsies na die breek hulle
• Die Prolog vlag argv bied slegs argumente wat nie verwerk deur Prolog.
• Die init lêer .plrc (pl.ini op Windows) is nie meer gesoek in die werk gids vir sekuriteitsredes.

Wat is nuut in die weergawe 6.6.6 / 7.1.31:

• Die verwerking van # !, bindend 'n lêer op 'n tolk in Unix nie meer probeer slim oor die verwerking van opsies om die tolk te wees. Die uitwerking van hierdie verandering is afhanklik van die Unix weergawes:. Sommige slegs slaag die eerste opsie, ander pak al die opsies in een en nog ander slaag die opsies na die breek hulle
• Die Prolog vlag argv bied slegs argumente wat nie verwerk deur Prolog.
• Die init lêer .plrc (pl.ini op Windows) is nie meer gesoek in die werk gids vir sekuriteitsredes.

Wat is nuut in die weergawe 6.4.0:

• Opdateer die RDF biblioteek weergawe 3. Enigiemand wat omgee oor RDF is waarskynlik reeds met behulp van die ontwikkeling weergawe vir hierdie rede. Bygevoeg vinnige parsers vir ntriples, skilpad en Trig formate.
• Bekendstelling van kwasi kwotasie vir 'n gladde en veilige insluiting van eksterne taal brokkies
• Opgradering van PlDoc om die gemeenskaplike markdown konstrukte te aanvaar.
• Baie verbeterings aan die ontwikkeling van gereedskap, HTTP biblioteke, Clib pakket. ens Beter ondersteuning vir Unix bediener prosesse (syslog, UID / GID bestuur, ens.)
• 'n begin vir land hantering (ondersteun formaat / 3, veral skryf land spesifieke groot heelgetalle.
• Baie van die stabiliteit dinge:. vaste crashes, port kolle, bou stelsel verbeterings, ens

Wat is nuut in die weergawe 6.2.0:

• Aanvanklike weergawe van die `pack pakket bestuurder
• Beter bron lêer hantering, veral tov. : - Sluit (File)
.
• Baie fixes die debugger, die verbetering van die bron hantering en die logika wat besluit oor watter poorte weggesteek word.
• Windows weergawe nou bou met behulp van die MinGW samesteller projek, wat in 10-20% speedup. Verbeterings aan swipl-win.exe konsole. Kopie / plak en kleur ondersteuning

Wat is nuut in die weergawe 6.0.0:

• Dynamic just-in-time kruip op verskeie argumente .
• onttrek baie van die ontwikkeling APIs, die ondersteuning van die PDT IDE.
• Baie van die opruim, bug fixes-, ens.

Wat is nuut in die weergawe 5.11.20:.

• verlaagde roete-stapel gebruik
• Verskaf generasie vullisverwydering.

Wat is nuut in die weergawe 5.11.10:

• Verminder roete-stapel gebruik. (gedeeltelik)
• Verskaf generasie vullisverwydering.

Wat is nuut in die weergawe 5.11.9:

• Verminder roete-stapel gebruik. (gedeeltelik)
• Verskaf generasie vullisverwydering.

Wat is nuut in die weergawe 5.10.0:

• Alle platforms gebruik nou konsekwent benaming. Die SWI-Prolog uitvoerbare genoem swipl, die linker-swipl ld en die resouce-lêer bestuurder swipl-rc.
• New stapel geheue-bestuur wat gebaseer is op stapel-verskuiwing eerder as die toekenning van die stapels yl in die virtuele adres-ruimte. Hierdie verandering kan vir baie beter scalability in die aantal drade, ons ook so verwyder die ou draad-telling perk van 100. Die stapel-grense kan nou geopper en verlaagde tydens looptyd behulp set_prolog_stack / 2.
• Die standaard stapel-grootte perke is nou 128 per stapel op 32-bit en 256Mb op 64-bis hardeware.
• Uitgebreide lek en stres-toetse het vaste 'n aantal lekkasies en ras voorwaardes, wat die stelsel veel meer robuuste in 24x7 server setup.
• 'n begin gemaak is om te verhoed dat die gebruik van die C-stapel vir recursing in terme. Dit laat verwerking baie meer diep geneste terme en bied 'n skoon uitsondering as daar onvoldoende hulpbronne om die term deurkruis. Daar is nog baie om te doen in hierdie gebied.
• SWI-Prolog 5.10.0 stel veilige verwysings na databasis terme (assertz / 2, Recordz / 3) en strome (oop / 3).
• Die aantal veranderlikes in klousules is nou beperk tot 1000000000; dit was 65535. Daarbenewens het die stelsel bied grasieuse uitsonderings wanneer stuit hulpbron-foute of probeer om onwettig terme soos sikliese terme bevestig.
• Verenigbaarheid beide Yap en SICStus versterk.

Wat is nuut in die weergawe 5.8.2:

• SKOONMAAK: Implementering en dokumentasie van die sein koppelvlak.
• VASTE. Gebruik --nopce / - pce vir (dis) sodat grafiese
• VASTE: GC-gogga; laat stroping uwrite-bit uit argument stapel
• modified: Verwyder die Prolog vlag abort_with_exception; dit is nie meer gebruik word nie.
• VASTE: Vermy dooiepunt terwyl hy probeer om die uitgang na 'n fatale fout
.
• modified: is_set / 1 gebruik nou soort / 2. As gevolg hiervan, is nie-gedeelde veranderlikes beskou verskillende elemente; die orde is N * log (N) en die gesegde kan 'n hulpbron-fout terug te keer.
• VASTE: Na: -.. module (x), voer doelwit-uitbreiding met betrekking tot x module
• SKOONMAAK: Item # 547:. Behoorlik haal ongedefinieerde predicaten en alternatiewe
• DOC: Verduidelik current_arithmetic_function / 1
.
• DOC: Verskaf beskikbaarheid snippit vir C-funksies
• VASTE: Vorige vereenvoudiging beskadig veranderlike admin van die samesteller. Ook bygevoeg toets geval.
• VASTE: Bug # 436: verenigende 'n veranderlike met homself skep 'n verwysing lus
.

Wat is nuut in die weergawe 5.7.14:

• VASTE: cross-Verwysings onderskei: 0 in meta-gesegde verklarings
• SKOONMAAK: Gebruik meta_predicate vir predsort / 3
• modified: maak / 0 nou net skanderings vir verwysings na ongedefinieerde predicaten in die modules wat hulle bevat. Die list_undefined / 0 steeds soek wêreldwyd.
• ENHANCED: CLP (FD). Arc-strook global_cardinality / 2 indien pare is aanvanklik grond
• VASTE: Hanteer (multifile) Predikaten waarvoor sommige klousules hul liggaam in 'n ander module en 'n paar in dieselfde. Matt Lilley.
• TOEGEVOEGDE:% [& # x3c; N & # x3e;] f formaat format_time / 3 om te gaan met breuke van sekondes. Gebruik word deur nuwe debug uitbreidings.
• TOEGEVOEGDE: debug_message_context (+ | -Context) om bykomende konteks vir debug boodskappe (soos 'n tyd stempel) spesifiseer
.
• VASTE: Maak apply_macros doen sy doel uitbreiding in die konteks van die stelsel module
• ENHANCED: CLP (FD): Faster global_cardinality / 2 indien Sleutel-Num pare is die grond
.
• VASTE Voel operateur-prioriteit in antwoord te druk. Markus Tříska.
• ENHANCED: Gebruik toplevel druk opsies vir die oorblywende doelwitte, opruim implementering
• ENHANCED: Maak term_variables en term_attvars doeltreffende as 'n lys gegee (veral term_attvars (Kwartaal, []))
.
• ENHANCED: Maak aangeteken databasis nuwe kwartaal-Walker-kode
• ENHANCED: Eerste opstel van 'n geraamte vir kameelkoei terme met 'n eenvoudige loop eerder as 'n rekursiewe prosedure. Nou in gebruik vir term_variables / 2 en verwante predicaten. Die skema blyk voldoende, maar die gesegmenteerde stapel kode moet aansienlik verbeter. Soos dit is, term_variables / 2 is effens stadiger (5%), maar dit kan diep geneste terme te hanteer met baie minder geheue en sonder stapel oorloop.
• TOEGEVOEGDE: term_attvars / 2 vir 'n beter ondersteuning van copy_term / 3. Na gesprek met Markus Tříska.
• TOEGEVOEGDE: del_attrs / 1 verwyder * al * eienskappe. Vereenvoudig copy_term / 3.

Wat is nuut in die weergawe 5.7.12:

• Performance verbetering op groter programme is tussen 10 en 40 %, afhangende van die ontwikkeling styl. Veral die beperking solvers aansienlik baat. Klein programme wys soms veel groter speedups.
• Sedert 5.7.4, opgedateer module stelsel
• Baie van die opruim in die benaming en modularisatie van die programkode.