Software kuvakaappaus:
Ohjelmiston tiedot:
Versio: 7.2.3 / 7.3.6-dev Päivitetty
Lähetyksen päivämäärä: 1 Oct 15
Kehittäjä: Jan Wielemaker
Lupa: Vapaa
Suosio: 192
On hyödyllistä Logiikkaohjelmointi tarkoituksiin, tekoäly ja laskennallinen kielitiede.
Mikä on uusi tässä julkaisussa:
- uusi dict tyyppi ja syntaksin tarjoaa sekä aikaa ja tilaa tehokkaita nimi-arvo kartat miellyttävä syntaksi.
- Tämän vuoksi on tarpeen korvata listan rakentaja. (H, T) mukaan (myös käytössä Mercury) "[|]" (H, T). Tämä voi tuntua jyrkkä, mutta käytännössä vaikuttaa vain muutamia ohjelmia, erityisesti tekemässä functor (Term, F,) listoista ja valitsemalla jatkojalostaa F == ".", == 2. Kytke luettelot paremmin erikoisen rakenteen, [] on edelleen tyhjä lista, mutta ei enää sama kuin "[]", eli [] ei ole atomi.
- syntaksin & quot; ... & quot; on nyt kartoitettu jouset. Jouset ovat yhteensopivia Eclipse (kiitos Joachim Schimpf kaikille keskusteluihin). Perinteinen koodi-listoja on rakennettu käyttäen .... liput double_quotes ja back_quotes hallita tätä käyttäytymistä.
- Kiitos Torbjörn Lager, meillä on & quot; Pengines & quot ;, Prolog moottorit Webissä. Tämä tarjoaa yleinen API puhua mukavasti Prolog palvelimeen JavaScript ja muut Prolog tapauksissa. Se mahdollisti SWISH, SWI-Prolog selaimessa (http://swish.swi-prolog.org) sekä http://lpn.swi-prolog.org (Learn Prolog Now! Upotettuja SWISH).
- Markus Triska lisätty CLP (b), boolean rajoitus ratkaisija, paransi CLP (fd) ja oli ennen useita parannuksia toplevel käsittelevät rajoituksia.
- Kiitos Matt Lilley ja Mike Elston, on CQL, DSL (Domain Specific Language) käsittelemiseksi SQL. CQL kehitetään ympäristössä, jossa monimutkaisia SQL tietokannat ovat normi, ja kannattaa siksi suuri osajoukko SQL ja voi käsitellä taulukoita tuhansia sarakkeet ja muita juttuja, että ocasional SQL käyttäjä ei odota.
- Matt Lilley parani verkostoitumista tukea merkittävästi myös paljon parempi tuki SSL ja yleistä tukea sekä HTTP ja sukat välityspalvelimia.
- Monet ihmiset ovat tarjonneet lisäosia (pakkaukset), jotka tukeutuvat SWI-Prolog versio 7.
Mikä on uusi versio 7.2.1 / 7.3.3-dev:
- Uusi dict tyyppi ja syntaksi tarjoaa sekä aikaa ja tilaa tehokkaita nimi-arvo kartat miellyttävä syntaksi.
- Tämän vuoksi on tarpeen korvata listan rakentaja. (H, T) mukaan (myös käytössä Mercury) "[|]" (H, T). Tämä voi tuntua jyrkkä, mutta käytännössä vaikuttaa vain muutamia ohjelmia, erityisesti tekemässä functor (Term, F,) listoista ja valitsemalla jatkojalostaa F == ".", == 2. Kytke luettelot paremmin erikoisen rakenteen, [] on edelleen tyhjä lista, mutta ei enää sama kuin "[]", eli [] ei ole atomi.
- syntaksin & quot; ... & quot; on nyt kartoitettu jouset. Jouset ovat yhteensopivia Eclipse (kiitos Joachim Schimpf kaikille keskusteluihin). Perinteinen koodi-listoja on rakennettu käyttäen .... liput double_quotes ja back_quotes hallita tätä käyttäytymistä.
- Kiitos Torbjörn Lager, meillä on & quot; Pengines & quot ;, Prolog moottorit Webissä. Tämä tarjoaa yleinen API puhua mukavasti Prolog palvelimeen JavaScript ja muut Prolog tapauksissa. Se mahdollisti SWISH, SWI-Prolog selaimessa (http://swish.swi-prolog.org) sekä http://lpn.swi-prolog.org (Learn Prolog Now! Upotettuja SWISH).
- Markus Triska lisätty CLP (b), boolean rajoitus ratkaisija, paransi CLP (fd) ja oli ennen useita parannuksia toplevel käsittelevät rajoituksia.
- Kiitos Matt Lilley ja Mike Elston, on CQL, DSL (Domain Specific Language) käsittelemiseksi SQL. CQL kehitetään ympäristössä, jossa monimutkaisia SQL tietokannat ovat normi, ja kannattaa siksi suuri osajoukko SQL ja voi käsitellä taulukoita tuhansia sarakkeet ja muita juttuja, että ocasional SQL käyttäjä ei odota.
- Matt Lilley parani verkostoitumista tukea merkittävästi myös paljon parempi tuki SSL ja yleistä tukea sekä HTTP ja sukat välityspalvelimia.
- Monet ihmiset ovat tarjonneet lisäosia (pakkaukset), jotka tukeutuvat SWI-Prolog versio 7.
Mikä on uusi versio 7.2.0 / 7.3.1-dev:
- Uusi dict tyyppi ja syntaksi tarjoaa sekä aikaa ja tilaa tehokkaita nimi-arvo kartat miellyttävä syntaksi.
- Tämän vuoksi on tarpeen korvata listan rakentaja. (H, T) mukaan (myös käytössä Mercury) "[|]" (H, T). Tämä voi tuntua jyrkkä, mutta käytännössä vaikuttaa vain muutamia ohjelmia, erityisesti tekemässä functor (Term, F,) listoista ja valitsemalla jatkojalostaa F == ".", == 2. Kytke luettelot paremmin erikoisen rakenteen, [] on edelleen tyhjä lista, mutta ei enää sama kuin "[]", eli [] ei ole atomi.
- syntaksin & quot; ... & quot; on nyt kartoitettu jouset. Jouset ovat yhteensopivia Eclipse (kiitos Joachim Schimpf kaikille keskusteluihin). Perinteinen koodi-listoja on rakennettu käyttäen .... liput double_quotes ja back_quotes hallita tätä käyttäytymistä.
- Kiitos Torbjörn Lager, meillä on & quot; Pengines & quot ;, Prolog moottorit Webissä. Tämä tarjoaa yleinen API puhua mukavasti Prolog palvelimeen JavaScript ja muut Prolog tapauksissa. Se mahdollisti SWISH, SWI-Prolog selaimessa (http://swish.swi-prolog.org) sekä http://lpn.swi-prolog.org (Learn Prolog Now! Upotettuja SWISH).
- Markus Triska lisätty CLP (b), boolean rajoitus ratkaisija, paransi CLP (fd) ja oli ennen useita parannuksia toplevel käsittelevät rajoituksia.
- Kiitos Matt Lilley ja Mike Elston, on CQL, DSL (Domain Specific Language) käsittelemiseksi SQL. CQL kehitetään ympäristössä, jossa monimutkaisia SQL tietokannat ovat normi, ja kannattaa siksi suuri osajoukko SQL ja voi käsitellä taulukoita tuhansia sarakkeet ja muita juttuja, että ocasional SQL käyttäjä ei odota.
- Matt Lilley parani verkostoitumista tukea merkittävästi myös paljon parempi tuki SSL ja yleistä tukea sekä HTTP ja sukat välityspalvelimia.
- Monet ihmiset ovat tarjonneet lisäosia (pakkaukset), jotka tukeutuvat SWI-Prolog versio 7.
Mikä on uusi versio 6.6.6 / 01.07.37:
- Jalostus # !, sitovia tiedoston tulkki Unix enää yrittää olla fiksu käsittely vaihtoehtoja tulkki. Tämän muutoksen vaikutus riippuu Unix versiot: jotkut vain läpäisevät ensimmäisen vaihtoehdon, toiset pakata kaikki vaihtoehdot yhteen ja vielä toiset siirtää vaihtoehtoja päästyään ne.
- Prolog lippu argv vain tarjoaa perusteet, joita ei ole käsitelty Prolog.
- init-tiedoston .plrc (pl.ini Windows) ei enää etsitään työhakemiston turvallisuussyistä.
Mikä on uusi versio 6.6.6 / 1.7.31:
- Jalostus # !, sitovia tiedoston tulkki Unix enää yrittää olla fiksu käsittely vaihtoehtoja tulkki. Tämän muutoksen vaikutus riippuu Unix versiot: jotkut vain läpäisevät ensimmäisen vaihtoehdon, toiset pakata kaikki vaihtoehdot yhteen ja vielä toiset siirtää vaihtoehtoja päästyään ne.
- Prolog lippu argv vain tarjoaa perusteet, joita ei ole käsitelty Prolog.
- init-tiedoston .plrc (pl.ini Windows) ei enää etsitään työhakemiston turvallisuussyistä.
Mitä uutta versiossa 6.4.0:
- Päivitetty RDF kirjasto versioon 3. Jokainen huolehtiva noin RDF oli luultavasti jo käyttäen kehitysversion tästä syystä. Lisätty nopea jäsentimet varten ntriples, Turtle ja Trig muodoissa.
- käyttöönotto lähes noteeraus sujuvan ja turvallisen sisällyttämistä ulkoisen kielen katkelmia
- Modernisointi PlDoc hyväksymään yhteisen markdown konstruktioita.
- Monet parannuksia kehitystyökaluja, HTTP kirjastot, clib paketti. jne. Parempi tuki Unix daemon prosesseja (syslog, UID / GID hallinta, jne.)
- alku locale käsittely (tukee muoto / 3, erityisesti kirjallisesti LOCALE tiettyä laaja kokonaislukuja.
- Paljon vakauden kamaa: kiinteä kaatuu, siirrettävyys laastareita, rakentaa järjestelmä parannuksia, jne.
Mikä on uusi versiossa 6.2.0:
- Ensimmäinen versio `pack paketti johtaja
- parempi lähde tiedostojen käsittelyä, erityisesti WRT. : - Ovat (File).
- Monet korjauksia debuggeri, parantaa lähde käsittely ja logiikka, joka päättää, mitkä satamat ovat piilossa.
- Windows-versio nyt rakentaa käyttämällä MinGW kääntäjä hanke, jolloin 10-20% pyörimisnopeuden. Parannuksia swipl-win.exe konsoli: copy / paste ja väri tukea.
Mikä on uusi versiossa 6.0.0:
- Dynaaminen just-in-time indeksointi useita väitteitä .
- Abstracted monet kehityksen API, tukemalla PDT IDE.
- Paljon uudelleenjärjestäminen, bug-korjauksia, jne.
Mikä on uusi versiossa 5.11.20:
- alennetulla trail-pino käyttö.
- Anna sukupolvien roskien keräys.
Mikä on uusi versiossa 5.11.10:
- Vähennä trail-pinon käyttö. (Osittain)
- Anna sukupolvien roskien keräys.
Mikä on uusi versiossa 5.11.9:
- Vähennä trail-pinon käyttö. (Osittain)
- Anna sukupolvien roskien keräys.
Mikä on uusi versiossa 5.10.0:
- Kaikki alustat nyt käyttää johdonmukaisesti nimeämisessä. SWI-Prolog ohjelman nimi on swipl, linkkeri swipl-LD ja Resource-tiedostonhallinta swipl-rc.
- Uusi pino muistin hallinta, joka perustuu pino-siirtymässä sijaan jaettaessa pinot harvaan virtuaalinen osoite-tilaa. Tämä muutos mahdollistaa paremman skaalautuvuuden säikeiden määrä, joten myös poistaa vanha kierre-count raja 100. pino-rajat voidaan nyt nostaa ja vähentää suorituksen käyttämällä set_prolog_stack / 2.
- Oletuksena pino-size-rajat on nyt 128 pinoa kohti 32-bittinen ja 256 Mt 64-bittinen laitteisto.
- Laaja vuoto ja stressitestien ovat kiinteä vuotojen määrää ja kilpailutilanteita, tekee järjestelmästä paljon vahvana 24x7 palvelimen asennus.
- on alettu välttää käyttämällä C-pino recursing osaksi ehdot. Tämä mahdollistaa käsittely paljon syvemmin sisäkkäisiä ehdot ja tarjoaa puhtaan poikkeus, jos varat eivät riitä kulkemaan aikavälillä. On vielä paljon tehtävää tällä alalla.
- SWI-Prolog 5.10.0 esittelee turvallinen viittaukset tietokantaan ehdot (assertz / 2, Recordz / 3) ja purot (avaa / 3).
- määrä muuttujia lausekkeita on nyt rajoitettu 1000000000; tämä oli 65535. Lisäksi järjestelmä tarjoaa siro poikkeuksista kohdatessaan luonnonvaroiltaan virheistä tai yrittää puolustaa laitonta termejä kuten syklinen kannalta.
- Yhteensopivuus sekä YAP ja SICStus on parannettu.
Mikä on uusi versiossa 5.8.2:
- Puhdistus: toteutus ja dokumentointi opastintiedot.
- Kiinteät: Käytä --nopce / - PCE varten (DIS) mahdollistaa grafiikka.
- Kiinteät: GC-bug; jättää strippaus uwrite-bitin argumentti pino
- Muokattu: Poistettu prolog lippu abort_with_exception; se ei enää käytetä.
- Kiinteät: Vältä umpikujaan yrittäessään poistua jälkeen kohtalokas virhe.
- Muokattu: is_set / 1 käyttää nyt lajitella / 2. Tämän seurauksena, ei-jaettu muuttujat pidetään eri osa-alueita; tilaus on N * log (N) ja predikaatti voi palauttaa resurssi-virhe.
- Kiinteät: jälkeen: - moduuli (x)., Suorittaa tavoite-laajennus suhteessa moduulin x.
- Puhdistus: Tuote # 547: Oikein lainata määrittelemätön predikaatit ja vaihtoehtoja.
- DOC: Selvitä current_arithmetic_function / 1.
- DOC: Anna saatavuus snippit C-toiminnot
- Kiinteät: Edellinen yksinkertaistaminen vioittunut muuttuja admin kääntäjä. Lisäsi myös testi-asiassa.
- Kiinteät: Bug # 436: yhdistävä muuttuja itsessään luo viite silmukka.
Mitä uutta versiossa 7.5.14:
- Kiinteät: rajat Referencer erottaa: 0 meta-predikaatti ilmoitusten
- Puhdistus: Käytä meta_predicate varten predsort / 3
- Muokattu: Merkki / 0 nyt vain etsii viittauksia määrittelemättömiä predikaatit moduulien, jotka sisältävät niitä. List_undefined / 0 vielä hakee maailmanlaajuisesti.
- ENHANCED: CLP (FD): Arc-johdonmukainen global_cardinality / 2, jos parit ovat alunperin maahan.
- Kiinteät: kahva (multifile) predikaatit mistä jotkut lausekkeita on heidän elin toisessa moduulissa ja jotkut samassa. Matt Lilley.
- LISÄTTY:% [& # X3C; n & # x3e;] f muodossa format_time / 3 käsitellä sekunnin murto. Käyttävät uudet debug laajennuksia.
- LISÄTTY: debug_message_context (+ | -Context) määrittää muita konteksti debug viestejä (kuten aika-leima).
- Kiinteät: Tee apply_macros tekemään maalia laajeneminen yhteydessä järjestelmän moduuli
- ENHANCED: CLP (FD): Nopeampi global_cardinality / 2 jos Key-Moos parit ovat kentällä.
- Kiinteät: kahva operaattori-etusijalla vastaus tulostusta. Markus Triska.
- TIIVIIMPI: Käytä toplevel Tulosta vaihtoehtoja jäljellä tavoitteita, siivous täytäntöönpano
- TIIVIIMPI: Tee term_variables ja term_attvars tehokas jos luettelo on (erityisesti term_attvars (Term, [])).
- TIIVIIMPI: Tee tallennetaan tietokantaan käyttää uusi termi-kävelijä koodi
- TIIVIIMPI: Ensimmäinen asennusohjelma luuranko liikkumisesta termejä käyttäen yksinkertaista silmukan sijaan rekursiivisen menettelyn. Nyt käytössä term_variables / 2 ja siihen liittyvien predikaatit. Skeema vaikuttaa riittävältä, mutta segmentoitu pino koodi on optimoitu huomattavasti. Kuten, term_variables / 2 on hieman hitaampaa (5%), mutta se voi käsitellä syvästi sisäkkäisiä kannalta paljon vähemmän muistia ja ilman pino ylivuotoja.
- LISÄTTY: term_attvars / 2 parempaa tukea copy_term / 3. Kanssa käydyn keskustelun jälkeen Markus Triska.
- LISÄTTY: del_attrs / 1 poistaa * kaikki * määritteet. Helpottaa copy_term / 3.
Mikä on uusi versiossa 5.7.12:
- Suorituskyky parannus suurempien ohjelmien on välillä 10 ja 40 %, riippuen ohjelmointityyliä. Erityisesti rajoitus solvers merkittävästi voittoa. Pieniä ohjelmia joskus näyttää paljon suurempi speedups.
- Koska 5.7.4, päivitetty moduuli järjestelmä
- Paljon puhdistuksen nimeäminen ja modulointiin codebase.
Kommentteja ei löytynyt