Software kuvakaappaus:
Ohjelmiston tiedot:
Logtalk on avoimen lähdekoodin olio-laajennus Prolog ohjelmointikieli. Integrointi logiikka ohjelmointi olio-ja event-driven ohjelmointi, se on yhteensopiva useimpien Prolog kerääjiä.
Logtalk tukee sekä prototyyppien ja luokat. Lisäksi se tukee komponentti-pohjainen ohjelmointi kautta luokka-pohjainen seos.
Ominaisuudet :
- Separation välillä käyttöliittymä ja toteutus:
- Predikaatti direktiivejä (ilmoitukset) voidaan sisältämää protokollat (rajapinnat), joka voidaan toteuttaa jokin esine.
- Parametrinen esineitä:
- Object nimet voivat olla yhdistettyjä ilmaisuja sisältävien ilmainen muuttujia, joita voidaan käyttää parametrize esine predikaatteja.
- Tuki sekä luokkayhteiskuntaa ja prototyyppi-pohjaiset järjestelmät:
- Sinulla voi olla, samassa hakemuksessa, luokka-pohjainen hierarkiat (jossa instantiation ja erikoistuminen suhteet) ja prototyyppi perustuva hierarkiat (tunniste suhteet).
- Tuki useille kohde hierarkioita:
- Ei tarvitse olla rajoitettu yhteen pitkiä hierarkia juurtunut joitakin yleisiä esine.
- Yksityinen, suojattu, ja julkinen perintö:
- Logtalk tukee yksityisiä, suojattu, ja julkinen perintö tavalla samanlainen kuin C. Lisäksi tahoa suhde voidaan luokitella käyttämällä soveltamisala avainsanan.
- Yksityinen, suojattu, ja julkinen kohde predikaatit:
- Aseta soveltamisalan objektin predikaattien vastaamaan protokollan suunnittelu ja anna runtime järjestelmä valvoa omia valintoja.
- Staattinen ja dynaaminen esineitä:
- Kohteita voi olla joko staattinen tai dynaaminen. Esineiden on määritelty lähde-tiedostoja, jotka on koottu ja täytetään samalla tavalla kuin Prolog-tiedostoja. Dynaaminen objekti voidaan joko määritelty lähdetiedostoihin tai luonut suorituksen.
- Staattinen ja dynaaminen objekti predikaatit:
- staattinen objekti voi sisältää staattista ja dynaamista predikaatteja.
- pre-prosessori, joten voimme käyttää standardi Prolog syntaksia:
- Logtalk käyttää standardia Prolog syntaksin lisäämällä muutamia toimijoita ja direktiivejä sujuvan oppimiskäyrä.
- Event-driven ohjelmointi:
- predikaatit voidaan implisiittisesti kutsutaan kun vakoilla tapahtuma, jonka avulla ohjelmointi ratkaisuja, jotka minimoivat esine kytkentä. Lisäksi tapahtumat tarjoavat tukea käyttäytymisen pohdintaa.
- Komponentti-ohjelmointi:
- predikaatit voidaan kapseloida sisälle luokkiin, jotka voidaan käytännössä tuodaan jokin esine, ilman koodia päällekkäisyyttä ja riippumatta objektin hierarkioita. Siten esineet voidaan määritellä kautta koostumus luokkiin, jotka toimivat hienojakoinen yksiköt koodin uudelleenkäyttöä.
- Multi-perintö tuki:
- Logtalk tukee usean perintö sekä protokollan ja täytäntöönpanoa. Esine voi toteuttaa useita protokollia ja laajentaa, erikoistua tai instanssia useita esineitä. Multi-perintö konfliktit ratkaistaan implisiittisesti Logtalk haun algoritmeja tai eksplisiittisesti käyttämällä predikaatti direktiivejä.
- Hyvä suorituskyky:
- Logtalk koodi on käännetty käyttäen samaa tekniikka, jota käytät kirjoittaa tehokkaita Prolog koodia. Lisäksi menetelmä hakuja välimuistiin Logtalk runtime moottori, mikä parantaa suorituskykyä. Testitulokset jostain Prolog kääntäjät ovat saatavilla täällä.
- Close integrointi ISO Prolog Vakio:
- Logtalk on suunniteltu sujuvaa integrointi kaikki Prolog-kääntäjä, joka vastaa tai seuraa tiiviisti ISO Prolog standardin.
- Yhteensopiva useimpien Prolog kääntäjät:
- Logtalk rajapinnat erityinen Prolog kääntäjä kautta minimaalinen asetustiedosto joten se soveltuu lähes mihin tahansa moderniin kääntäjä.
- Automaattinen sukupolven XML dokumentaatiotiedostojen:
- Logtalk luo automaattisesti asiakirjoista XML-muodossa jokaisen koottu esine, protokolla, tai luokka. Järjestelmä sisältää kaikki tarvittavat XSL (T) tiedostoja ja skriptejä muuntaa dokumentointia tiedostoja (X) HTML ja PDF.
- Logtalk toimii lähes millä tahansa tietokoneella, jossa on Prolog kääntäjä (tärkein kehitysympäristö on Apple PowerBook G4 käynnissä MacOS X). Rajapinta Logtalk ja erityinen Prolog kääntäjä suoritetaan kautta asetustiedosto.
- Tämä tiedosto sisältää joitakin Logtalk erityisiä predikaatit ja toteutukset ISO Prolog standardin predikaatteja ole saatavilla Prolog kääntäjä.
- Kirjallisesti Logtalk Olen yrittänyt seurata Prolog ISO-standardin aina kun mahdollista. Voimavarat tarvitsemat Logtalk, joita ei ole määritelty I osassa ISO-standardin ovat:
- pääsy predikaatti ominaisuuksia (dynaaminen, staattinen, built_in):
- Edellyttäen, että suosikki Prolog on näitä ominaisuuksia edellä mainittiin, mikä asetustiedosto on erittäin helppoa. Logtalk paketti sisältää jo konfiguraatiotiedostoja yleisimpiä Prolog kerääjiä. Parhaan mahdollisen suorituskyvyn, Logtalk edellyttää Prolog kääntäjä tukee ensimmäisen väitteen indeksointi sekä staattista ja dynaamista koodia.
- Logtalk kehitysvaiheessa ja testaus on parhaillaan suoritetaan käyttämällä seuraavaa Prolog kääntäjiä (aakkosjärjestyksessä):
- GNU Prolog 1.2.18
- SWI Prolog 5.4.7
- YAP 4.5.7
- Siksi, että nämä ovat luultavasti paras valintoja käynnissä Logtalk (edellyttäen että olet vapaasti käyttää yhtä näistä kääntäjät).
- Lisäksi Logtalk juoksee vähän tai ei lainkaan muutoksia seuraavien Prolog kääntäjiä (aakkosjärjestyksessä):
- ALS Prolog 3,1
- Amzi! Prolog 6,22 ~ 7.x
- BinProlog 8.x ~ 10.x
- B-Prolog 4.0, 5.0, 6.x
- CIAO Prolog 1.10p5
- Eclipse 5,5 ~ 5,8
- Jos / Prolog 5.x
- JIProlog 3.0.1-2
- K-Prolog 5.1.2a
- LPA MacProlog32 1,25
- LPA WinProlog32 4.0x
- MasterProlog 4,1
- Avaa Prolog 1.1b10
- PrologII 4,5
- QU-Prolog 6,7
- Quintus Prolog 3,3 ~ 3,5
- SICStus Prolog 3,8 ~ 3.12.x
- xsb 2,6 ~ 2,7
Mitä uutta tässä julkaisussa:
- Muokattu viestin lähettäminen mekanismi soittaa & quot; ennen & quot; tapahtumankäsittelijät ennen menetelmän suorittamiseksi haku. Tämän muutoksen pitäisi olla mitään vaikutusta nykyisten koodi mutta sallii joitakin mielenkiintoisia sovelluksia (esim hylätty eikä heittää poikkeuksen, kun viestiä ei ole ymmärretty).
- Lisää johdonmukainen käsittely kääntäjä lippujen välillä asettamalla lipun arvojen laatiessaan / lastaus tiedosto ja käytettäessä set_logtalk_flag / 2 sisäänrakennettu predikaatti: molemmissa tapauksissa, jossa & quot; smart_compilation & quot; lippu sammuu & quot; clean & quot; lippu ja asettamalla & quot; clean & quot; lippu sammuu & quot; smart_compilation & quot; lippu. Myös asettamalla & quot; debug & quot; lippu sammuu sekä & quot; smart_compilation & quot; ja & quot; clean & quot; liput.
- Antaa pehmeän leikattu kontrollirakenteella, (* - & gt;) / 2, kun natiivisti tukee back-end Prolog kääntäjä, jota käytetään kehon kieliopin sääntöjen (jälkeen huomautuksen Daniel Diaz keskusteltaessa GNU Prolog tuki pehmeä leikattu kontrollirakenteella).
- Korjattu Logtalk kääntäjä bugi kun & quot; source_data & quot; lippu on taustajärjestelmiin Prolog kääntäjät jossa ei ole mahdollista hakea aseman luku- aikavälillä.
- Oikaisu bugi kooste meta_non_terminal / 1 direktiivi, jossa vain ensimmäinen meta-argumentti olisi oikein käsitellä.
- Päivitetty Eclipse config tiedosto havaita, kun käytetään Windows 64 bittiä järjestelmien ja jättää ei-predikaatti ja ei-operaattori vientiä kun esikäsittelyä lib / 1 direktiivejä.
- Päivitetty laite testi puitteet tulostaa enemmän informatiivinen viestejä epäonnistui Osatestit.
- Lisätty predikaatti jakaa / 4 (halkaisemiseksi listan osaksi alaluetteloita tietyn pituus) on & quot; listp & quot ;, & quot; luettelo & quot ;, ja & quot; difflist & quot; kirjasto yhteisöjä.
- Päivitetty & quot; cc & quot; esimerkiksi määritelmä kuori / 2 predikaatti varten CxProlog.
- Vaihtoi nimet esineitä & quot; mi & quot; Esimerkiksi välttää nimi ristiriita ajettaessa esimerkiksi Osatestit.
- Oikaisu bugi Windows-asennusohjelma, joka esti havaitsemisen YAP 64 bittiä versiot. Kiitos Stepan Ipatov vikailmoituksessa.
- Oikaisu bugi Windows-asennusohjelma, joka esti käyttäjiä räätälöintiä asennus hakemistoon. Kiitos Daniel Moniz vikailmoituksessa ja Gavin Lambert diagnosoimiseksi vika.
- Päivitetty Windows Installer käsikirjoituksen parempaan tunnistamiseen xsb ja oletuksena asentaa vain käyttäjäkohtaisia tiedostoja, kun hoitaa ei-admin käyttäjän tietokoneessa, jossa Logtalk on jo asennettu.
- Lisätty perustason tuen LaTeX & quot; listauksia & quot; paketti. Lisätty muistiinpanoja & quot; lyöty & quot; ja & quot; texmates & quot; LaTeX.
- Lisätty muistiinpanoja Textastic iPad tekstieditori.
- Lisätty Syntaksi väritys ja koodin taitto tukea UltraEdit tekstieditori.
- Päivitetty TextMate niputtaa poistaa automaattisen luetelmakohta korjaukset käyttöön kehitysversio TextMate 2.0.
Mitä uutta versiossa 2.44.0:
- Muuttunut semantiikan täydentää luokkiin jotta kauneuspilkku sekä predikaatti ilmoitukset ja predikaatti määritelmiä täydennetään esineitä. Tämä tapahtuu varmistamalla, että predikaatti ilmoitus ja määritelmä haut alkavat täydentää luokat ennen tutkii täydentää esine itse tai osaksi liitännäisyhtiöitä.
- Päivitetty Logtalk kääntäjä luodakseen varoitus laatiessaan täydentää luokka täydentää esine, joka on käännetty tuki täydentää luokkia estetty.
- Oikaisu vian käsittely meta-puheluita varten meta-predikaatit jos kutsuvan yhteydessä olisi asetettava & quot; tämä & quot; sijaan & quot; lähettäjän & quot; kun meta-argumentti oli yksi :: / 2, {} / 1,
Mitä uutta versiossa 2.43.3:
- Muuttunut kääntäjä ottaa huomioon käyttötavat / 2 Direktiivin laadittaessa puhelut heijastus sisäänrakennettu menetelmiä. Tämä muutos ulottuu semantiikka käyttötarkoituksia / 2 direktiivin ja mahdollistaa helpompi siirtyminen tavallinen Prolog sovelluksia Logtalk.
- Päivitetty täytäntöönpanoa predicate_property / 2 sisäänrakennettu menetelmä, lisäämällä soveltamisala / 1 omaisuus.
- Päivitetty Logtalk kääntäjä lisätä tietoja lähdetiedoston nimi, lähde tiedosto hakemistoon, ja lähdetiedoston kääntäjän vaihtoehtoja syntyy Prolog tiedostoja. Aiemmissa versioissa, tämä tieto on rekisteröity vasta kun lastaus lähdetiedoston. Muutokset yksinkertaistavat rakennus joissa Logtalk kirjastot ovat valmiiksi käännetty ja valmiiksi ladattuja.
- Päivitetty Logtalk kääntäjä tulostaa nimen koukku esine käytetään Tilastokeskuksen lähdetiedostot kun & quot; koukku & quot; kääntäjä lippu on määritelty.
- Päivitetty sisäänrakennettu debuggeri, jotta voidaan välttää tarpeettomia valinta pistettä kirjoittaja back-end Prolog kääntäjiä, joiden perua / 1 täytäntöönpano ei hyödyntää looginen päivitys semantiikan soittaa deterministinen.
- Oikaisu bugi Logtalk kääntäjä runtime käsittelijä, jossa se ei ole purkaa sisäisen yksikön tunnisteiden kun heittää yksikön olemassaolon poikkeuksia.
- Päivitetty Lean Prolog config tiedosto, lisäämällä indeksi / 1 direktiivien joidenkin dynaamisen predikaattien käyttämä sisäinen Logtalk runtime taulukoita.
- Päivitetty SWI-Prolog integraatio tiedostoja testata saatavuus indeksin / 1 direktiivi, joka on vanhentunut uuden kokeellisen SWI-Prolog tukea just-in-time multi-argumentti indeksointi.
- Lisätty predikaatit alasekvenssi / 4 (synnyttämiseksi alasekvenssit listan tietty pituus), korvata / 4 (korvaa elementtejä luettelo), ja hamming_distance / 3 kirjastoon & quot; listp & quot; ja & quot; luettelo & quot; yhteisöistä.
- Lisätty euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, ja scalar_product / 3 predikaatit kirjastoon & quot; numberlistp & quot; ja & quot; numberlist & quot; yhteisöistä.
- Korjattu joitakin typeriä bugeja määritelmää & quot; merkki & quot; kirjasto-objektin predikaatit is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, ja is_hex_digit / 1.
- Päivitetty kirjasto & quot; all_loader.lgt & quot; loader tiedosto ladataan myös & quot; meta_compiler_loader.lgt & quot; kuormaaja tiedosto.
Mitä uutta versiossa 2.43.1:
- Muuttunut kääntäjä ottaa huomioon käyttötavat / 2 Direktiivin laadittaessa puhelut tietokantaan sisäänrakennettu menetelmiä. Tämä muutos ulottuu semantiikka käyttötarkoituksia / 2 direktiivin ja mahdollistaa helpompi siirtyminen tavallinen Prolog sovelluksia Logtalk.
- Lisätty kokeellinen tuki käyttäen predikaatti-mallin argumenttina coinductive / 1 direktiivi. Tämä malli mahdollistaa se, mitkä argumentit ovat merkityksellisiä coinductive menestystä. Perustuu samanlaisia toimintoja löytyy siitä Feliks Kluzniak n DRA meta-tulkki.
- Parannettu tuki virheenkorjaus coinductive predikaatit käytettäessä Logtalk sisäänrakennettu debuggeri.
- Poistettu coinduction tuki CxProlog. Nykyinen versio kääntäjä puuttuu pehmeä perus- sisäänrakennettu predikaatti tai kontrollirakenteella, joka on nyt vaaditaan kokeellinen coinduction täytäntöönpanoa.
- Nostettu pitkäaikainen rajoitus, joka esti käyttäjän määritelmän kääre predikaattien varten bagof / 3 ja setof / 3 sisäänrakennettu menetelmiä aina maalin väitettä voi käyttää ^ / 2 eksistentiaalinen kvanttoreilla.
- Lisätty tuki & quot; ^ & quot; meta-predikaatti meta-argumentti tilassa tarkenne ehdotti Jan Wielemaker ja löytyy SWI-Prolog 5.11.25. Tämä tila specifier on hyödyllinen määriteltäessä kääreet bagof / 3 ja setof / 3 sisäänrakennettu menetelmiä aina maalin väitettä voi käyttää ^ / 2 eksistentiaalinen kvanttoreilla.
- Lisätty & quot; prolog_compiler & quot; ja & quot; prolog_loader & quot; kääntäjä lippuja, jotka mahdollistavat kulkee vaihtoehtoja back-end Prolog kääntäjä sisäänrakennettu predikaatit jotka kokoavat levylle ja ladata (koonnut) Prolog lippu. Oletusarvo molemmille liput on tyhjä lista.
- Korjattu bugi laatiessaan puhelut Prolog omaa sisäänrakennettu meta predikaatit jossa Logtalk kääntäjä voisi yrittää käsitellä kuin meta väitteet tavoitteita. Tämä vika vain näkyi joidenkin back-end Prolog kerääjiä kuten Eclipse.
- Oikaisu vian käsittely ehdollisen kokoelma direktiivejä.
- Korjattu vika, joka esti kulkee alias / 3 direktiivejä puhelut create_object / 4, create_category / 4, ja create_protocol / 3 sisäänrakennettu predikaatteja.
- Poistettu sisäänrakennettu objekti & quot; logtalk & quot; decompile_predicate_head / 4 ja decompile_predicate_indicator / 4 vanhentuneita menetelmiä.
- Poistettu tukea pitkään vanhentunut Logtalk metapredicate / 1 direktiiviä.
- Oikaisu suorituskyky bugi kun välimuistia puhelut luokkaan predikaatit jossa välimuistissa merkinnät voisi olla täsmällisempi kuin tarpeen työskenneltäessä muuttujien luokkia.
- Parempi välimuistiin & quot; Super & quot; puhelut sisällä prototyyppejä. Aiemmin kaikki talletetut merkinnät olisivat erikoistuneet arvolla & quot; itse & quot; jotta kunnolla käsitellä erikoistapauksissa, joissa kohteena ovat sekä instantiates ja erikoistunut muita esineitä.
- Päivitetty Logtalk kääntäjä aktivoida kaikki toimijat ilmoitukset löytyvät predikaatti soveltamisalaa direktiivien aikana kokoamista yhteisöjä, jotka sisältävät direktiivit.
- Parempi suorituskyky coinductive predikaattien käytettäessä back-end Prolog kerääjiä kuten SICStus Prolog, jotka eivät tarjoa pehmeän perus- kontrollirakenteella mutta tarjoavat pehmeän perus- sisäänrakennettu meta-predikaatti (jos / 3).
- Oikaisu vika, jos väärä raportti kokoelma / lastaus voidaan varoitukset tulostaa, kun lähdetiedoston koottiin / ladattu kääntäjä lipun & quot; raportti & quot; pois päältä.
- Lisätty & quot; streamvars & quot; kirjasto-objektin, jotka ovat peräisin olemassa olevien & quot; assignvars & quot; kirjastoluokkaan, jossa tukea lisäämällä ja hakemiseen ehdot (jotka voivat olla muuttujia) päässä & quot; stream & quot; muuttuja.
- Päivitetty & quot; coinduction & quot; Esimerkiksi hyödyntämällä tehostetun coinductive / 1 direktiivi ja laajentaa määrä yksittäisiä esimerkkejä, jotka voidaan ajaa käyttäen SICStus Prolog. Lisätty malli tarkkailun esimerkiksi käyttämällä coinduction, coroutining ja rajoitteet, jonka osuus Neda Saeedloei.
- Päivitetty & quot; metapredicates & quot; esimerkiksi mallikoodi havainnollistaa miten määritellä kääreet bagof / 3 ja setof / 3 sisäänrakennettu menetelmiä kun meta-argumentti voi sisältää eksistentiaalisesti pätevä muuttujia.
- Päivitetty & quot; cc & quot; Esimerkiksi oikaisemisesta predikaatti määritelmät useita back-end Prolog kääntäjät ja lisäämällä joitakin perusyksikkö testejä.
- Päivitetty & quot; koodauksia & quot; esimerkiksi rajoitettu tuki Lean Prolog.
- Lisätty puuttuvat merkinnät meta_non_terminal / 1 direktiivi ja puhelun // N ei-terminaalin & quot; auttaa & quot; Esimerkiksi.
- Lisätty jäsennin PDDL 3,0 tiedostoja, vaikutti Robert Sasak.
- Lisätty koodin taitto tukea SubEthaEdit tekstieditori. Lisätty koodi taitto tuki ehdollisen kokoelma korttelia Kate, Vim, ja TextMate tekstieditorit.
- Päivitetty integraatio skriptit jotta ladata kirjastoon polut tiedosto ennen lastausta Logtalk kääntäjä / runtime. Tämä muutos pyritään yksinkertaistamaan lastaus kirjasto- ja esimerkiksi tiedostoja asetustiedostoja. Lisäksi myös etsiä Logtalk asennus hakemistoon $ HOME / osake kun LOGTALKHOME ympäristömuuttujaa ei ole määritelty. Kiitokset Vator Santos Costa ehdotus.
- Päivitetty Windowsin asennusohjelma tukemiseksi Lean Prolog ja havaita YAP 64 bittiä versioita.
Mitä uutta versiossa 2.43.0:
- Lisätty kokeellinen tuki Lean Prolog.
- Changed virheen raportointi Logtalk kääntäjä ja runtime. Kaikki poikkeus termejä nyt käyttää mahdollisuuksien mukaan (Error, logtalk (Maali, Entity))
- muodossa. Muuttunut sisäinen virheentarkistusta käyttää, aina käytännön, uusi "$ lgt_must_be '/ 2-3 sisäinen predikaatteja.
- Lisätty & quot; optimoida & quot; lippu, jonka oletusarvo on & quot; & quot ;. Tämä lippu käyttäjä sammuttaa nykyisten optimointeja esim virheenkorjaus tehtävät (
- hetkellä toteutetaan optimointeja kuuluvat poisto tarpeeton puhelut true / 0 kehosta koottu predikaatin lausekkeita ja poistaminen
- tarpeeton puhelut (=) / 2 kehosta lausekkeita syntyy laajeneminen kieliopin sääntöjä).
- Lisätty & quot; source_data & quot; lippu, jonka oletusarvo on & quot; & quot ;. Tämän lippu asetettu & quot; & quot ;, Logtalk pitää tiedot esitetään käyttämällä tila / 2,
- info / 1-2, käyttää / 2, ja use_module / 2 direktiivien plus lähde paikkatiedot (myös lähde tiedostojen nimet ja linja-numerot), hyötyä sekä virheenkorjaus
- ja integrointi kehitystyökaluja. Tämä lippu voidaan kytkeä pois, jotta saadaan aikaan enemmän kompakti koodia. Parameter_names / 1 kohde ja
- kategoria kohde poistetaan, jotta vältetään irtisanomisia.
- Toteutetut suojattu / 1 ja yksityinen / 1 ominaisuudet esineitä, protokollia, ja luokat. Yhdessä julkisen / 1 omaisuus, nämä ominaisuudet
- mahdollistaa luettelon predikaattien ilmoitettu yksikön osalta käytetään heijastava laskelmat. Toteutetut vakuuttaa / 2, määritellään / 2, sisältää / 3,
- ja antaa / 3 ominaisuudet saatavuuden ominaisuuksien predikaattien ilmoitetun ja määritelty kokonaisuus. Julistus ominaisuuksia ovat line_count / 1, linja numero predikaatin soveltamisalan direktiivin. Määritelmä ominaisuuksia ovat line_count / 1, linja numero pään ensimmäinen
- lauseke predikaatti, ja number_of_clauses / 1, lukumäärä lausekkeet predikaatti. Myös toteutetaan kokeellinen käyttötarkoituksia / 3 ja use_module / 3 ominaisuuksia.
- Lisätty predikaatti omaisuutta, redefined_from / 1, jolloin kysely kohteesta tai luokka, joka sisältää predikaatin määritelmä, joka on määritelty uudelleen.
- Lisätty loaded_file / 3 predikaatti on & quot; logtalk & quot; sisäänrakennettu objekti, joka täydentää nykyisiä loaded_file / 2 predikaatti ja antaa pääsyn
- nimenomaisen vaihtoehtoja käytetään, kun tiedosto on koottu ja ladattu.
- Sovellettu kääntäjä tuki meta_non_terminal / 1 direktiivi ja puhelun // N sisäänrakennettu välisääntöjä.
- Yksinkertaistettu kooste kieliopin sääntöjä poistamalla tukea käsittelevät välisääntöjä laajuus ja olemassaolon virheitä kielioppi sääntö
- tasolla sen sijaan, predikaatti tasolla. Vaikka tämä ominaisuus voisi olla apua, kun virheenkorjaus kieliopin sääntöjä, se vaikeutti integrointi Logtalk kanssa Prolog syntyperäinen kehitystyökaluja.
- Päivitetty Logtalk kääntäjä pelastaakseen yksikön lausekkeen paikoissa ja tehdä nämä tiedot back-end Prolog kääntäjiä.
- Päivitetty Logtalk kääntäjä jotta vältetään tarpeettomat sisäinen catchall lausekkeet predikaatti ilmoituksen ja määritelmä pöydät dynaamisia yhteisöjä.
- Päivitetty Logtalk kääntäjä, jotta estetään käyttämällä multifile predikaatit rikkomisesta esine kapselointi. Ensisijainen ilmoitus
- kokonaisuus on olemassa, jotka sisältävät sekä laajuus ja multifile direktiivi predikaatti. Lisäksi määritellään lausekkeita multifile
- Entity :: Functor / Arity ilman vastaavaa multifile / 1 direktiivi johtaa nyt käännösvirhe sijasta yksinkertaisesti varoitus.
- Poistettu Logtalk kääntäjä rajoitus, joka pakotti vierekkäiset / 1 ja dynaaminen / 1 direktiivit ennen puhelut julisti predikaatteja.
- Parempi Logtalk kääntäjä raportin misspelt puhelut ei-päätteiden kieliopin sääntöjä.
- Salli käyttö: / 1-ohjaus rakentaa runkoon kieliopin sääntöjä.
- Kun debuggaus määritellyt viestit käyttötarkoituksiin / 2 direktiivejä, viesti painetaan nyt implisiittisesti pätevä kuin lähdekoodin kirjoittanut käyttäjä.
- Muuttunut sisäinen predikaatit käytetään täytäntöönpanon sisäänrakennettu monisäieominaisuuksia predikaatteja helpottamiseksi integrointi
- korkean tason debuggaustyökaluja jotka edellyttävät analysointia syntyneen Prolog koodi.
- Korjattu bugi käyttöön Logtalk 2.42.4 laatimisesta yksikön predikaattien jotka kutsuvat synkronoitu predikaatteja. Tämä vika johti puhelut
- tehdään sen sijaan ei-synkronoitu muotoja predikaattien, mikä manifestin satunnaisviat lankana tavoitteita.
- Korjattu pitkäaikainen vika, jos runtime koottu meta-puheluun luokkaan olisi koottu puhelun predikaatti objekti
- tuoda luokkaan sen sijaan puhelun paikallisen luokkaan predikaatti.
- Korjattu pitkäaikainen vika, jos yhteisö lippu arvoja paikallisesti käyttäen set_logtalk_flag / 2 direktiivi jättää tallentuvat kokonaisuus
- käännetty koodi.
- Korjattu pitkäaikainen vika kun poistaa dynaamisen predikaatti ei-prototyyppi esine jossa lakkauttaa / 1 menetelmä onnistuisi ilman
- predikaatti on todella lakkautetaan.
- Oikaisu bugi asettamisessa oikeaan suorittamiseen yhteydessä soitettaessa meta-argumentti, joka vaatii runtime kokoelma yhteydessä
- & quot; lähettäjän & quot;.
- Oikaisu bugi kooste nimenomaisen päteviä puhelut moduuli meta-predikaatit jossa moduuli pätevyys olisi pudonnut
- koottu puhelu. Huomaa, että nämä puhelut käyttävät Logtalk meta-predikaatti semantiikka (eli meta-argumentteja kutsutaan yhteydessä
- soittaja) sen sijaan, Prolog moduuli meta-predikaatti semantiikkaa.
- Oikaisu vika, jos coinduction pinot ei ole alustettu käytettäessä
Mitä uutta versiossa 2.42.4:
- Tämä versio sisältää kääntäjä, runtime, ja multi ketjuttaminen suorituskyky optimointeja, parantaa kääntäjän virheilmoituksia synkronoitu / 1 ja dynaaminen / 1 direktiivejä, lisää tuen säilyttämisen operaattorin laajuus tiedot ja tulostaa nämä tiedot automaattisesti luotu XML dokumentointi tiedostoja, lisää uusia apuohjelma predikaatit jotta logtalk esine, parantaa useita ohjelmointi esimerkkejä, sisältää kiertää SWI-Prolog Uninstaller bug Windows, ja ominaisuuksia siirrettävyys päivitykset Qu-Prolog, SICStus Prolog, SWI-Prolog, xsb ja YAP.
Mitä uutta versiossa 2.42.3:
- Tämä versio lisää tuen soittamalla dynaamista predikaatteina yhteydessä & quot; tämä & quot; sisällä luokkiin, lisää tuen valmiiksi käännetty lauseke päätä, sisältää bugikorjauksia ja parannuksia sisäänrakennettu debuggeri, sisältää parannetun kirjastot ja esimerkkejä, lisää tuen indexicals käytettäessä SICStus Prolog CLP (FD) kirjasto, lisää kokeellinen esimerkki käyttäen katsoa muuttujia esineitä ja luokat, ja ominaisuuksia siirrettävyys päivitykset Eclipse, GNU Prolog, SICStus Prolog ja SWI-Prolog.
Mitä uutta versiossa 2.42.2:
- Tämä versio parantaa kokoamista puhelut moduuli predikaatteja , parantaa tarkistaa meta-väitteitä meta-predikaatti puhelut, parantaa tukea lambda ilmaisuja, sisältää optimoinnin kääntäjä puhelut kirjastoon meta-predikaatit, lisää uusia kirjastot puunkorjuu tapahtumia, työskentelee ajallinen väli suhteita, ja käyttäen kokonaisluku laskurit, parantaa nykyisiä esimerkkejä ja kirjastot, lisää tuen avulla JavaScript-pohjainen SyntaxHighlighter paketti, ja on tarjolla siirrettävyys päivitykset GNU Prolog, Qu-Prolog, SICStus Prolog, SWI-Prolog ja xsb.
Mitä uutta versiossa 2.42.1:
- Tämä versio lisää tuen uusien meta-predikaatti-tilassa indikaattoreita, joiden avulla tuetaan enemmän Prolog oma sisäänrakennettu meta-predikaatteja.
- Tuki lisättiin havaitsemiseksi ja raportointi puuttuu dynaaminen / 1 ja vierekkäiset / 1 direktiivejä.
- Uusi nukkaa lippu lisättiin.
- kaksi meta-predikaatti kokoelma vikoja korjattiin.
- Osa esimerkeistä päivitettiin.
- siirrettävyys päivitykset tehtiin B-Prolog, SICStus Prolog, SWI-Prolog, xsb ja YAP.
Kommentteja ei löytynyt