SWI-Prolog

Programinė įranga Screenshot:
SWI-Prolog
Programinė detalės:
Versija: 7.2.3 / 7.3.6-dev Atnaujintas
Įkėlimo datą: 1 Oct 15
Kūrėjas: Jan Wielemaker
Licencija: Nemokamai
Populiarumas: 99

Rating: 1.0/5 (Total Votes: 1)

Tai naudingų logika programavimo tikslais, dirbtinio intelekto ir kompiuterinės lingvistikos

Kas naujo , šioje laidoje.

  • Naujas dict tipas ir sintaksė suteikia tiek laiko ir erdvės efektyvus vardas vertės žemėlapius su maloniu sintaksė.
  • Kaip pasekmė, buvo būtina pakeisti sąrašą konstruktorius (H, T) šiuo (taip pat naudojamas gyvsidabris) [|] ". (O, T). Tai gali atrodyti drastiškas, tačiau praktiškai veikia tik keletą programų, visų pirma daro functor (terminas, F, A) sąrašus ir tada pasirinkdami tolesnį apdorojimą F == '.', A == 2. Norėdami įjungti sąrašus labiau panaši į ypatingą konstruktas, [] vis dar yra tuščias, sąrašas, bet ne ilgiau tokia pati, kaip "[]", ty, [] yra ne atomo.
  • sintaksė & quot; ... & quot; dabar susietas su stygos. Stygos yra suderinama su Eclipse (ačiū Joachim Schimpf visiems diskusijose). Tradiciniai kodas sąrašai yra pastatytas naudojant .... vėliavos double_quotes ir back_quotes kontroliuoti šią problemą.
  • Ačiū TORBJØRN Lager, turime & quot; & quot ;, Pengines Prolog varikliai internete. Tai suteikia bendrą API pasikalbėti patogiai į Prolog Serverio JavaScript ir kitų Prolog atvejais. Tai leido Swish, SDI-Prolog naršyklėje (http://swish.swi-prolog.org), taip pat http://lpn.swi-prolog.org (Sužinokite Prolog dabar! Su įterptais Swish).
  • Markus Triska pridėta CLP (B), Būlio apribojimo Solver, pagerino savo CLP (ŽD) ir buvo prieš keletą patobulinimų į Toplevel susijusius su apribojimais.
  • Ačiū Matt lilley ir Mike Elston, yra CQL, DSL (domain konkrečios kalbos) spręsti su SQL. CQL sukurtas tokioje aplinkoje, kur sudėtingos SQL duomenų bazių yra norma ir todėl palaiko didelė poaibis SQL ir gali kovoti su lentelėmis su tūkstančiais kolonų ir kitų dalykų, kad ocasional SQL vartotojas negali tikėtis.
  • Matt Lilis pagerino tinklų parama ženkliai, įskaitant daug geriau paramos SSL ir bendrosios paramos tiek HTTP ir SOCKS proxy serverius.
  • Daugelis žmonių pateikė Add-ons (paketai), kurios remiasi swi-Prolog 7 versija.

Kas naujo versiją 7.2.1 / 7.3.3-dev:

  • Naujas dict tipo ir sintaksės suteikia tiek laiko ir erdvės efektyvus vardas vertės žemėlapius su maloniu sintaksė.
  • Kaip pasekmė, buvo būtina pakeisti sąrašą konstruktorius (H, T) šiuo (taip pat naudojamas gyvsidabris) [|] ". (O, T). Tai gali atrodyti drastiškas, tačiau praktiškai veikia tik keletą programų, visų pirma daro functor (terminas, F, A) sąrašus ir tada pasirinkdami tolesnį apdorojimą F == '.', A == 2. Norėdami įjungti sąrašus labiau panaši į ypatingą konstruktas, [] vis dar yra tuščias, sąrašas, bet ne ilgiau tokia pati, kaip "[]", ty, [] yra ne atomo.
  • sintaksė & quot; ... & quot; dabar susietas su stygos. Stygos yra suderinama su Eclipse (ačiū Joachim Schimpf visiems diskusijose). Tradiciniai kodas sąrašai yra pastatytas naudojant .... vėliavos double_quotes ir back_quotes kontroliuoti šią problemą.
  • Ačiū TORBJØRN Lager, turime & quot; & quot ;, Pengines Prolog varikliai internete. Tai suteikia bendrą API pasikalbėti patogiai į Prolog Serverio JavaScript ir kitų Prolog atvejais. Tai leido Swish, SDI-Prolog naršyklėje (http://swish.swi-prolog.org), taip pat http://lpn.swi-prolog.org (Sužinokite Prolog dabar! Su įterptais Swish).
  • Markus Triska pridėta CLP (B), Būlio apribojimo Solver, pagerino savo CLP (ŽD) ir buvo prieš keletą patobulinimų į Toplevel susijusius su apribojimais.
  • Ačiū Matt lilley ir Mike Elston, yra CQL, DSL (domain konkrečios kalbos) spręsti su SQL. CQL sukurtas tokioje aplinkoje, kur sudėtingos SQL duomenų bazių yra norma ir todėl palaiko didelė poaibis SQL ir gali kovoti su lentelėmis su tūkstančiais kolonų ir kitų dalykų, kad ocasional SQL vartotojas negali tikėtis.
  • Matt Lilis pagerino tinklų parama ženkliai, įskaitant daug geriau paramos SSL ir bendrosios paramos tiek HTTP ir SOCKS proxy serverius.
  • Daugelis žmonių pateikė Add-ons (paketai), kurios remiasi swi-Prolog 7 versija.

Kas naujo versiją 7.2.0 / 7.3.1-dev:

  • Naujas dict tipo ir sintaksės suteikia tiek laiko ir erdvės efektyvus vardas vertės žemėlapius su maloniu sintaksė.
  • Kaip pasekmė, buvo būtina pakeisti sąrašą konstruktorius (H, T) šiuo (taip pat naudojamas gyvsidabris) [|] ". (O, T). Tai gali atrodyti drastiškas, tačiau praktiškai veikia tik keletą programų, visų pirma daro functor (terminas, F, A) sąrašus ir tada pasirinkdami tolesnį apdorojimą F == '.', A == 2. Norėdami įjungti sąrašus labiau panaši į ypatingą konstruktas, [] vis dar yra tuščias, sąrašas, bet ne ilgiau tokia pati, kaip "[]", ty, [] yra ne atomo.
  • sintaksė & quot; ... & quot; dabar susietas su stygos. Stygos yra suderinama su Eclipse (ačiū Joachim Schimpf visiems diskusijose). Tradiciniai kodas sąrašai yra pastatytas naudojant .... vėliavos double_quotes ir back_quotes kontroliuoti šią problemą.
  • Ačiū TORBJØRN Lager, turime & quot; & quot ;, Pengines Prolog varikliai internete. Tai suteikia bendrą API pasikalbėti patogiai į Prolog Serverio JavaScript ir kitų Prolog atvejais. Tai leido Swish, SDI-Prolog naršyklėje (http://swish.swi-prolog.org), taip pat http://lpn.swi-prolog.org (Sužinokite Prolog dabar! Su įterptais Swish).
  • Markus Triska pridėta CLP (B), Būlio apribojimo Solver, pagerino savo CLP (ŽD) ir buvo prieš keletą patobulinimų į Toplevel susijusius su apribojimais.
  • Ačiū Matt lilley ir Mike Elston, yra CQL, DSL (domain konkrečios kalbos) spręsti su SQL. CQL sukurtas tokioje aplinkoje, kur sudėtingos SQL duomenų bazių yra norma ir todėl palaiko didelė poaibis SQL ir gali kovoti su lentelėmis su tūkstančiais kolonų ir kitų dalykų, kad ocasional SQL vartotojas negali tikėtis.
  • Matt Lilis pagerino tinklų parama ženkliai, įskaitant daug geriau paramos SSL ir bendrosios paramos tiek HTTP ir SOCKS proxy serverius.
  • Daugelis žmonių pateikė Add-ons (paketai), kurios remiasi swi-Prolog 7 versija.

Kas naujo versiją 6.6.6 / 7.1.37:

  • perdirbimas # !, privalomas failą prie Unix vertėjo nebėra bando būti protingas apie perdirbimo galimybes su vertėju. Šio pakeitimo poveikis priklauso nuo Unix versijų:. Kai tik pereiti pirmąjį variantą, kiti pakuoti visus variantus į vieną ir dar kiti perduoti galimybes po nesilaikantiems juos
  • Prolog vėliava argv tik suteikia argumentus, kurie nebuvo apdoroti Prolog.
  • init failą .plrc (pl.ini Windows) nebėra ieškoma darbo kataloge dėl saugumo priežasčių.

Kas naujo versiją 6.6.6 / 7.1.31:

  • perdirbimas # !, privalomas failą prie Unix vertėjo nebėra bando būti protingas apie perdirbimo galimybes su vertėju. Šio pakeitimo poveikis priklauso nuo Unix versijų:. Kai tik pereiti pirmąjį variantą, kiti pakuoti visus variantus į vieną ir dar kiti perduoti galimybes po nesilaikantiems juos
  • Prolog vėliava argv tik suteikia argumentus, kurie nebuvo apdoroti Prolog.
  • init failą .plrc (pl.ini Windows) nebėra ieškoma darbo kataloge dėl saugumo priežasčių.

Kas naujo versijos 6.4.0:

  • Atnaujinta RDF biblioteka versija 3. Kiekvienas rūpinasi apie RDF tikriausiai buvo jau naudojate plėtros versiją dėl šios priežasties. Pridėta greitai analizatoriai už ntriples, Turtle ir trigonometrija formatai.
  • Įvadas kvazi citatos sklandžiai ir saugiai įtraukti išorės kalbos fragmentus,
  • modernizavimas PlDoc priimti bendrus reklamos kainos konstruktus.
  • Daug patobulinimų į kūrimo įrankius, HTTP bibliotekose, clib paketą. ir tt Geriau parama Unix daemon procesų (syslog, UID / GID valdymas, kt.)
  • už lokalės tvarkymo pradžia (remti formatą / 3 visų pirma raštu lokalės konkrečius dideli sveikieji skaičiai.
  • Daug stabilumo stuff. ilgalaikio avarijų, perkeliamumo pleistrai, kurti sistemos patobulinimų ir tt

Kas naujo versijos 6.2.0:

  • Pradinis versija `pakuotės" paketų tvarkykle
  • Geriau šaltinio failas tvarkymas, ypač WRT. - Įtraukti (File)
  • .
  • Daugelis pataisymai išriktuotojo, gerinti šaltinio tvarkymo ir logika, kuri nusprendžia dėl kurių uostai yra paslėptas.
  • Langai versija dabar pastatyti naudojant minGW kompiliatoriaus projektą, todėl 10-20% Pagreitis. Priedai prie swipl-win.exe konsolės. Kopijuoti / įklijuoti ir spalvų paramą;

Kas naujo versijos 6.0.0:

  • Dinaminis "just-in-time indeksavimo kelis argumentus .
  • išgaunamo daugelis plėtros API, remiant PDT IDE.
  • Daug valymo, Bug pataisymai ir tt.

Kas naujo versija 5.11.20:.

  • Sumažintas takas kamino naudojimas
  • Pateikite kartų šiukšlių surinkimo.

Kas naujo 5.11.10 versija:

  • Sumažinti Trail-stack naudojimas. (iš dalies),
  • Pateikite kartų šiukšlių surinkimo.

Kas naujo 5.11.9 versija:

  • Sumažinti Trail-stack naudojimas. (iš dalies),
  • Pateikite kartų šiukšlių surinkimo.

Kas naujo 5.10.0 versija:

  • Visos platformos dabar naudoja nuoseklų pavadinimų. SDI-Prolog vykdomąjį vadinamas swipl, tiltelis swipl-LD ir Resouce-failų tvarkyklė swipl-RC.
  • Nauja kamino atminties valdymas, kuris remiasi kamino keičiantys o ne paskirstant kaminai retai virtualiame adresų erdvėje. Šis pokytis leidžia daug geriau mastelio į siūlų skaičius, todėl mes taip pat pašalinti seną giją skaičiavimo ribą 100. kamino terminai dabar gali būti padidinta ir sumažinta runtime naudojant set_prolog_stack / 2.
  • Numatytasis kamino-size-ribos dabar 128MB už kamino 32 bitų ir 256Mb apie 64 bitų aparatūros.
  • Platus nuotėkio ir testavimo nepalankiausiomis sąlygomis yra nustačiusi pratekėjimų ir rasė sąlygų, todėl ši sistema daug labiau tvirta 24x7 serverio konfigūraciją.
  • pradžia jau padaryta, kad būtų išvengta naudojant C-kamino recursing į sąlygas. Tai leidžia perdirbti daug giliau įdėtos sąlygas ir suteikia švarų išimtis, jeigu yra nepakankami ištekliai feed terminą. Yra dar daug padaryti šioje srityje.
  • swi-Prolog 5.10.0 pristato saugias nuorodas į duomenų bazės požiūriu (assertz / 2, Recordz / 3) ir upelių (atidaryti / 3).
  • kintamųjų skaičius išlygų dabar tik 1000000000; tai buvo 65535. Be to, ši sistema suteikia grakščių išimtis, kai susiduriama su išteklių klaidų arba bando teigti nelegalių tokie terminai kaip ciklinis sąlygas.
  • Suderinamumas tiek Yap ir SICStus yra sustiprintas.

Kas naujo 5.8.2 versija:

  • valymas: Įgyvendinimas ir dokumentavimas signalo sąsaja.
  • Pastovios:. Naudokite --nopce / - PCE už (DIS) leidžia grafika;
  • Pastovios GC-bug; praleisti išpardavimas uwrite bitų iš argumentų krūvą
  • Atnaujinta: Pašalintas prologe vėliavos abort_with_exception; jis yra nebenaudojamas.
  • Pastovios: Vengti aklavietės, o bando išeiti po lemtinga klaida
  • .
  • Atnaujinta: is_set / 1 dabar naudoja Rūšiuoti / 2. Kaip rezultatas, ne bendrą kintamieji yra laikomi skirtingų elementų; pavedimas yra N * log (N) ir tarinys gali grįžti išteklius klaidą.
  • Pastovios: Po: -.. modulio (x), atlikti tikslas praplėtimo atžvilgiu modulio X
  • VALYMAS: Punktas # 547:. Tinkamai cituojant neapibrėžtos predikatai ir alternatyvas;
  • DOC: Išaiškinti current_arithmetic_function / 1
  • .
  • DOC: Pateikite prieinamumą snippit už C-funkcijas;
  • Pastovios: Ankstesnis supaprastinimas sugadintas kintama Administratorius sudarytojas. Taip pat pridūrė, bandymo atveju.
  • Pastovios: Re # 436: vienijantis kintamąjį su savimi sukuria atskaitos linijos;
  • .

Kas naujo versijos 5.7.14:

  • Pastovios: kryžminio r_f_rencer atskirti: nuo 0 į meta pirminių deklaracijų
  • VALYMAS: Naudokite meta_predicate už predsort / 3
  • Atnaujinta: Markė / 0 dabar tik nuskaito nuorodas į neapibrėžtais predikatai moduliuose, kad jiems plisti. List_undefined / 0 dar ieško visame pasaulyje.
  • ENHANCED: CLP (ŽD). Arc-nuosekli global_cardinality / 2, jei poros iš pradžių žemės,
  • Pastovios: Rankena (multifile) predikatai, dėl kurių kai kurie punktai turi savo įstaigą kitoje modulis ir kai kurie tie patys. Mattas Lilis.
  • PRIDĖTINĖS:% [& # x3c; n & # x3e;] f formatu format_time / 3 susidoroti su frakcijų sekundes. Naudojamas naujas debug plėtinius.
  • PRIDĖTINĖS: debug_message_context (+ | -Context) nurodyti papildomą kontekstą debug žinučių (pavyzdžiui, laiko antspaudas);
  • .
  • Pastovios: Padaryti apply_macros padaryti savo tikslą plėsti, atsižvelgiant į sistemos modulio kontekstą
  • ENHANCED: CLP (ŽD): Greičiau global_cardinality / 2, jei raktas-NUM poros yra žemės,
  • .
  • Pastovios: tvarkyti Operatoriaus prioritetas atsakydamas spauda. Markus Triska.
  • ENHANCED: Naudokite Toplevel spausdinimo parinktis liekamųjų tikslų, valymas įgyvendinimas
  • ENHANCED: Padaryti term_variables ir term_attvars efektyvus, jei sąrašas pateikiamas (ypač term_attvars (terminas, []));
  • .
  • ENHANCED: Padaryti įrašytą duomenų bazę naudoti naujas terminas-Walker kodą
  • ENHANCED: Pirma sąrankos iš už važiuojantiems sąlygas naudojant paprastą kilpą, o ne rekursinį procedūrą skeletas. Dabar naudojimo term_variables / 2 ir susijusių predikatai. Schema atrodo tinkamos, tačiau segmentuoti kamino kodas turi būti optimizuotas žymiai. Kaip yra term_variables / 2 yra šiek tiek lėčiau (5%), tačiau ji gali dirbti giliai įdėtos sąlygas su daug mažiau atminties ir be kamino perpildymo.
  • PRIDĖTINĖS: term_attvars / 2 geresniam paramos copy_term / 3. Po diskusijų su Markus Tříska.
  • PRIDĖTINĖS: del_attrs / 1 ištrinti * visas * atributus. Palengvina copy_term / 3.

Kas naujo versijos 5.7.12:

  • Veiklos tobulinimas didesnių programų yra tarp 10 ir 40 %, priklausomai nuo programavimo stiliaus. Pažymėtina suvaržymas sprendžiame pelno žymiai. Mažos programos kartais rodo daug didesnes speedups.
  • Nuo 5.7.4, atnaujinta modulis sistema
  • Daug valymo in pavadinimų ir modularization iš codebase.

Panaši programinė įranga

Komentarai SWI-Prolog

Komentarai nerastas
Pridėti komentarą
Pasukite ant paveikslėlio!