Logtalk on objektiivinen logiikan ohjelmointikieli, joka voi käyttää useimpia Prolog-toteutuksia back-end-kääntäjänä. Monitutkimuskielenä Logtalkilla on tuki sekä prototyypeille ja luokille, protokolleille (rajapinnoille), komponenttiperustaiseen ohjelmointiin perustuen ryhmäkohtaiseen kokoonpanoon, tapahtumapohjaiseen ohjelmointiin ja korkean tason monisäikeisiin ohjelmointiin.
Uutta tässä julkaisussa:
* IMPROVED: Vääriä puuttuvia `meta_predicate / 1` -varoituksia vältetään, kun varsinaisessa metakutsussa ei jaeta muuttujia lausekkeen pää.
* PARANNETTU: Salli lambda-lausekkeiden käyttö kieliopillisissa säännöissä ilman, että vaaditaan `call // 1` kääre.
* FIXED: Optimointivirhe sulkemisen meta-argumentin kokoonpanossa, kun tuloksena oleva tavoite on Prologin sisäänrakennetun predikaatin soittaminen käyttäjän predikaattien määrittelyn ansiosta.
* FIXED: Optimointirivi suljetun meta-argumentin kokoonpanossa, kun tuloksena oleva tavoite on Prolog `: / 2` -ohjausrakennetta.
Uutta versio 3.19:
* ADDED: Tuki ylimääräisten Prolog-sisäänrakennettujen predikaattien määrittelemiseksi nukalle
tarkistaa tavoitteet, jotka ovat aina tosi tai vääriä sovitustiedostoja käyttäen
hook predicate `'$ lgt_candidate_tautology_or_falsehood_goal_hook' / 1`.
* LISÄTTY: Objektiominaisuus "moduuli" esineistä, jotka syntyvät kokoelmasta
Prolog-moduuleista.
* ADDED: Mukavuusvirhe sisäänrakennetuilla menetelmillä `syntax_error / 1` ja
`System_error / 0. Nämä menetelmät heittävät standardin "virhe / 2" poikkeuslausekkeet
ja vastaavat sekvenssiä "context / 1" ja "heittää / 1" -menetelmäpuheluja.
* POISTETTU: Tuki vanhentuneille Logtalk 2.x `calls / 1`,` uses / 1` ja
"alias / 3" -direktiivit.
* POISTETTU: Tuki vanhentuneelle Logtalk 2.x `: / 1` -ohjauskonstruktille.
* POISTETTU: Tuki vanhentuneille Logtalk 2.x: lle `unknown`,` singletons`,
`tmpdir` ja` version` kääntäjälippuja
Uutta versiossa 3.14:
UUSI: Tuki _parametrien muuttujille_ tarjoamalla vaihtoehdon
`parametri / 2` ja` tämä / 1` sisäänrakennetut menetelmät entiteettiparametrien käyttämiseksi.
Parametri muuttujat ovat muuttujia, joita käytetään parametrisessa yksikkötunnistimessa
joka alkaa ja päättyy alaviivalla (`_VariableName_`). Mikä tahansa tapaus
parametri muuttuja yksikön lausekkeessa on implisiittisesti yhtenäinen
kokonaisuusparametri. Tämä mahdollistaa parametrien lisäämisen, uudelleenjärjestelyn tai
poistetaan muuttamatta niihin viittaavia lausekkeita.
Parametrien muuttujia tuetaan vain parametrisissa yksiköissä, jotka on määritetty kohdassa
Uutta versiossa 3.13:
UUTUUS: Kääntäjän tuki paikallisten staattisten predikaattien kutsumiselle ilman vastaavia lausekkeita (aka trivial does not ).
Uutta versiossa 3.11.1:
* PARANNETTU: kääntäjän varoitus- ja virheilmoituksia, jotta ne olisivat yhdenmukaisempia editorien ja IDE-sovellusten jäsentämisen helpottamiseksi ja välttää mahdollisesti suurien ehtojen tulostamista.
* PARANNETTU: Kääntäjä ei enää vaadi tietokantoihin ja heijastusosioihin liittyviä puheluita, joissa ensimmäinen argumentti on moduulikelpoinen termi, joka kääritään `{} / 1`-kääntäjän ohitusohjausrakenteella.
* PARANNETTU: Tietokanta- ja heijastusosoitepuhelujen kääntäjän virheenkorjaus, jossa ensimmäinen argumentti on moduulin pätevä termi.
* PARANNETTU: Pienennä kutsutut tiedoston uudelleenlataukset tiedoille `logtalk_make / 0-1` predikates.
* FIXED: Tapa, jossa `logtalk_make / 0-1` predikatat eivät lataa tiedostoa, jonka koosta syntyi kääntäjävirhe.
Uutta versiossa 3.11:
* MUUTOS: Sisäänrakennettu predikaatti "current_event / 5" aina instantioivat ensimmäisen argumentin, kun sitä kutsuttiin sitomalla.
* LISÄTTY: Tuki oletusarvoltaan tyhjästä hakemistosta määrittelemällä
kirjasto alias `scratch_directory` apuohjelman Prolog-alustustiedostossa
(oletetaan ladattavan ennen Logtalkin lataamista). Keskustelun jälkeen
Douglas R. Miles tukee Logtalkin asentamista vain luku -hakemistoon
ja käynnissä useita Logtalk-tapauksia samanaikaisesti ilman konflikteja.
* LISÄTIEDOT: Sisäänrakennetun kontekstimenetelmän "context / 1", joka tarjoaa pääsyn
esikatselun suoritustehon yhteydessä. Käytetään pääasiassa oletusarvon tarjoamiseen
virhe-kontekstissa, kun tyypin tarkistus predikaatti argumentteja.
* LISÄTIEDOT: Tuki sellaisten viestien tulostusta varten, jotka ovat tyypillisiä "debug" ja "debug (_)". Nämä
viestit tulostetaan oletusarvoisesti, kun `debug`-lippu on käytössä.
* ADDED: Ominaisuus "sisältää (tiedoston)` `logtalk: loaded_file_property / 2`: lle
predikaatti sallia luetella, by backtracking, kaikki tiedostot kuuluvat a
(
Uutta versiossa 3.10.7:
* RENAMED: `logtalk_make / 1` kohde` puuttuu `` tarkistaa`.
* ADDED: Tuki logtalk_make / 1` -tavoitteiden laajentamiseksi käyttäjän määrittämällä
jotka käyttävät uutta multifile predicate `logtalk_make_target_action / 1`.
* ADDED: Compiler lint tarkistaa tautologian ja vääryysyksikön tavoitteet.
Tällä hetkellä tarkistetaan Prologin yhdistäminen, vertailu ja tyyppi
testaamalla sisäänrakennetut predikaatit. Ehdotettu Barry Evans.
Uutta versiossa 3.10.5:
* FIXED: Julkaisussa 3.10.2 esitetty regressio, kontekstiin sisäänrakennetut menetelmät.
* FIXED: kääntäjävika, joka johtuu siirrettävyyden tarkistamisesta Prologin sisäänrakennetuille predikaateille ja toiminnoille, jotka löytyvät apulausekkeista (tavallisesti luodun aikavälin laajenevasta mekanismista).
Uutta strong> versiossa 3.10.3:
* IMPROVED: Monifile-predikaateille generoitu yksinkertaistettu koodi.
* FIXED: Edellisen julkaisun regressio multifile-kokoonpanossa
Uutta versiossa 3.09.1:
* ADDED: Tuki `number_of_rules / 1` ja` number_of_user_rules / 1` objektille
ja luokan ominaisuuksia.
* LISÄTTY: tuki `number_of_rules / 1` predikaattiominaisuudesta.
* LISÄYS: Määritetään `meta_predicate / 1` -direktiivit, jotka määrittelevät virheellisesti tavoitteen
meta-argumentti, joka on itse asiassa sulkeminen siirretty `call / 2-N` meta-predikaatiksi
puhelut. Kiitos Arun Majumdarille mietinnöstä.
LISÄYS: puuttuvien predikaattien soveltamisdirektiivien havaitseminen läsnä ollessa
Uutta versiossa 3.09.0:
* MUUTOS: Asetustiedostoja tarkastellaan nyt käyttäjältä kotihakemisto
kun sitä ei löydy käynnistysluettelosta tai Logtalkin käyttäjähakemistosta.
`Settings_file`-lippujen asettaminen` limit 'rajoittaa nyt haun
asetustiedosto Logtalkin käyttäjäkansioon ja käyttäjän kotihakemistoon.
Nämä muutokset ovat hyödyllisiä, kun joukkue jakaa Logtalk-asennuksen molempien kanssa
"LOGTALKHOME" - ja "LOGTALKUSER" - ympäristömuuttujat osoittavat
sama hakemisto. Kiitos Barry Evansille ehdotuksesta.
Uutta versiossa 3.08.0:
* MUUTOS: Varmista, että kääntäjän virheessä ja varoitusviesteissä tiedoston ja rivin tiedot ovat aina raportoitujen ongelmien viimeinen rivi.
Uutta versiossa 3.07.0:
* ADDED: Luotettava Prolog-kääntäjä
tuki Unicode-standardille.
* ADDED: Tuki `++` (maa) ja `--` (sitoutumaton) argumenttien instantiation
tilat (ilmoitettu etuliite-operaattorina) käytettäväksi "mode / 2" -predikaatin kanssa
direktiivi.
* ADDED: Tuki `one_or_error'-määritysmääritykselle` mode / 2`: ssä
ennakkoasetukset. Hyödyllistä dokumentoimaan tyyppitarkastuksen predikateja.
* PARANNETTU: Tunnista yrittäjät soittamaan olemassaolevan kvantitoidun tavoitteen ulkopuolelle
"bagof / 3" ja "setof / 3" -puhelut.
* KIINTEÄ: Luotaessa `use / 2` -direktiivit, älä luo linkkilauseketta
runtime-käyttöä sisäänrakennetuissa predikaateissa `user` -ohjelmassa, kun aliaksia ei määritetä.
* KIINTEÄTÄ: Kun tiedostoa haetaan kokoelman epäonnistumisena sen emotoimille,
varmista, että tiedoston esi-isät ladataan uudelleen alkuun ylävartalon esivanhempana
tekemällä mekanismi.
* FIXED: Vältä tarpeettomia tiedostojen uudelleenlatauksia kutsumalla `logtalk_make / 0` tai
`logtalk_make / 1` tavoite` all`.
* FIXED: Tunnistamalla puuttuvat predikaatit `^^ / 1` puheluita soitettaessa
`logtalk_make / 1` tavoite` missing`.
* FIXED: Bugi heijastus-sovellusliittymässä, jossa on joitain predikaattien ristiviittauksia
tietoja ei kirjattu. Edward Schwartzin ansiosta vikailmoitus.
Uutta versiossa 3.06.2:
Tämä julkaisu jatkaa kehittäjien työkalujen parantamista Kyndi, Inc: n sponsorointi. Se sisältää uuden version kääreen työkalusta satunnaisten Prolog-sovellusten ja parannusten ja korjausten tekemiseen lgtunit- ja kaavio-työkaluille. Se sisältää myös uusia yksikkötestejä, kääntäjä- ja dokumentaatiokorjauksia sekä Lean Prologin yhteensopivuuspäivityksen.
Uutta versiossa 3.04.1:
* FIXED: kääntäjä bugi, jossa predicate, joka on termi-laajennettu kutsumalla `compile_aux_clauses / 1` -menetelmää, voidaan raportoida virheellisesti epäjohdonmukaisesti.
* KIINTEÄTTY: Puhelujen `user` pseudo-objektin 'sisäänrakennettu predikaatti` threaded_notify / 1` ei saa vaatia sidottua argumenttia dokumentaation mukaan.
* KIINNI: Puhelut objektikenttien `object_property / 2` ja category_property / 2` ominaisuuden argumentteihin, jotka ovat deterministisiä.
Mikä on uusi versio 3.03.0:
* ADDED: Tuki uudelle `logtalk_make / 1` kohdalle,` missing`, luettelon puuttuvien entiteettien ja predikaattien luetteloimiseksi. Käytettävissä myös "{?}" -Oppaaseen.
* LISÄTTY: Tuetaan uutta `logtalk_make / 1` -tapaa,` pyöreä`, luetteloaksesi pyöreitä viitteitä (ottaen huomioon viestien lähetystavoitteet) pareittain ja trios-objektin välillä. Käytettävissä myös "{@}" -komennolla.
* PARANNETTU: Lisää ProLog-tiedostojen nimiä välimuistiin, jotta vältät tiedostonimien törmäykset, kun keräät kaikki samaan hakemistoon sisältyvät väliotsit upotukseen. Tällä hetkellä tarvitaan ECLiPSe, GNU
Prolog, JIProlog, Quintus Prolog, SICStus Prolog, SWI-Prolog, XSB tai YAP.
* FIXED: Meta-predicate-puhelun optimointivirhe, kun meta-argumentti on joko valmiiksi koottu sulkeminen tai sulkeminen tavoitteelle, jota kutsutaan
`käyttäjän` pseudo-objekti. Käytä myös tiukempaa virheiden tarkistamista meta-argumenttien sulkemiseen.
* FIXED: Parametristen objektien ja parametristen luokkien tunnisteen virheettömyys virheellisissä ja varoitusviesteissä.
Uutta versiossa 3.02.2:
* PARANNETTU: Ladatun tiedoston runtime-taulukon merkinnät lisätään nyt tuotettuihin Prolog-tiedostoihin käyttämällä monifile-predikaattia paremman sisäänrakennuksen käyttämiseen. Erityisesti se helpottaa inkrementaalista upottamista.
* IMPROVED: Tee predicates nyt myös ladata uudelleen vanhempien tiedostojen tiedostojen kokoaminen tai lataus virheitä. Tämä varmistaa, että kun virheellinen tiedosto lakkaa lataamistiedoston kaikkien tiedostojen kokoamisesta, väärennetyn tiedoston jälkeen luetellut tiedostot kootaan, kun virheellinen tiedosto on kiinteä ja merkkiotsikot kutsutaan.
Uutta versiossa 3.01.2:
Tämä julkaisu täydentää staattisen sidonnan toteutusta. lisää tukea tiedostojen nimeä-aseman käyttämiseen koottavien ja lataavien predikaattien kanssa; korjaa kääntäjän vikoja; sisältää dokumentointipäivitykset; parantaa virheenkorjaus-, testaus- ja dokumentointityökaluja; lisätään uusi yksikkökokeiden joukko Prolog-standardien virallisten ja tosiasiallisten standardien noudattamisen valvomiseksi; päivittää syntaksivärien kaikkiin tuettuihin tekstin editoijoihin ja syntaksin korostusaineisiin; ja sisältää yhteensopivuuspäivityksiä ECLiPSen, JIPrologin ja YAP: n kanssa.
Vaatimukset
Yhteensopiva Prolog-kääntäjä.
Kommentteja ei löytynyt