Logtalk

        "Logtalk" yra objektų orientuota logika, programavimo kalba, kuri gali naudoti daugumą "Prolog" diegimų kaip "back-end" kompiliatorių. Kaip multi-paradigmos kalba, "Logtalk" palaiko ir prototypes, ir klases, protokolus (sąsajas), komponentų programavimą, naudojant kategorijų kompoziciją, renginių programavimą ir aukšto lygio multi-threading programavimą.
    

Kas naujo šiame leidime:

* PATIKSLINTA: išvengti klaidingų trūkstamų "meta_predicate / 1" įspėjimų apie direktyvą, kai faktinis metaoksis nesidalija kintamaisiais su sąlyga galva.


* PATIKSLINTA: leidžiama naudoti lambda išraiškas gramatikos taisyklėse nereikalaujant apvyniojimo 'call // 1`.


* PATAISYTA: optimizavimo klaida sudarant uždarymo meta argumentą, kai pasiekiamas tikslas yra paskambinti į "Prolog" integruotą predikatą dėl vartotojo priderinto apibrėžimo įvedimo.


* NUSTATYTAS: optimizavimo klaida kompiliuojant meta-argumentą uždarymui, kai gautas tikslas yra paskambinti į valdymo skydą Prolog `: / 2`.

Kas naujo versija 3.19:

NAUJAS: Parama parametrų kintamiesiems_, teikiantiems alternatyvą
`parameter / 2` ir` this / 1` integruotus metodus prieigai prie subjekto parametrų.
Parametrų kintamieji yra kintamieji, naudojami parametrų elemento identifikatoriuje
kad prasideda ir baigiasi apačia ("_VariableName_"). Bet koks įvykis
parametro kintamojo elemento sąlyga yra netiesiogiai sujungta su
subjekto parametras. Tai leidžia pridėti įmonės parametrus, pertvarkyti arba
pašalinti nereikalaujant bet kokių išlygų, kurios jas nurodo, pakeitimų.
Parametrų kintamieji palaikomi tik parametriniams vienetams, apibrėžtiems

NAUJAS: Kompiuterių palaikymas, skirtas aptikti skambučius į vietinius statinius predikatus, neturinčius jokių atitikimo sąlygų (dar žinomas kaip trivialus failas). )

Kas naujo versijoje 3.11.1:

* PATIKSLINTA: kompiliatoriaus įspėjimai ir klaidų pranešimai, kad jie taptų vienodesni, siekiant palengvinti analizavimą redaktoriams ir IDE, taip pat išvengti galimų didelių terminų spausdinimo.


* PATIKRINTA: kompiliatoriui nebėra reikalingų skambučių į duomenų bazę ir atspindžio predikatų, kur pirmasis argumentas yra moduliui tinkamas terminas, kuris turi būti apvyniotas naudojant kompiliavimo aplinkkelio valdymo koncepciją `{} / 1`.


* PATIKRINTA: kompiliatoriaus klaidų tikrinimas duomenų bazei ir atspindžio priesakų skambučiams, kur pirmasis argumentas yra moduliui tinkamas terminas.


* PATIKSLINTA: Sumažinkite failų perkrovimų skaičių, suaktyvintą skambučiais į "logtalk_make / 0-1" predikatus.


* PATVIRTINTA: atvejis, kai "logtalk_make / 0-1` predikatai nesugebės perkrauti failo, kurio sudarymas sukūrė kompiliatoriaus klaidą.

Kas naujo 3.11 versijoje:

* PAKEISTI: įterptas predikatas `current_event / 5`, kuriuo visada parodomas pirmasis argumentas, kai jis skambinamas su nesusijęs.


* ADDED: parama, kaip apibrėžti numatytąjį nukreipimo katalogą
bibliotekos slapyvardis "scratch_directory" fono Prolog iniciacijos rinkmenoje
(prielaida, kad jis bus įkeltas prieš "Logtalk" įkėlimą). Po diskusijos su
Douglas R. Miles palaiko "Logtalk" diegimą kataloge tik skaitymui
ir vienu metu paleisti kelis "Logtalk" atvejus be konflikto.


* ADDED: "kontekstas / 1" integruotas konteksto vykdymo metodas, suteikiantis prieigą
į pirminį skambučių vykdymo kontekstą. Dažniausiai naudojamas numatytu atveju
klaidos kontekstas, kai tipo tikrinimo predikatų argumentai.


* ADDED: parama spausdinti pranešimų natūra 'debug' ir 'debug (_) `. Šie
Pranešimai spausdinami tik pagal nutylėjimą, kai įjungta vėliavėlė "debug".


* ADDED: Property `includes (File)` į `logtalk :: loaded_file_property / 2`
predikatas, leidžiantis išvardyti visas bylos, kurias sudaro a

Kas naujo versijoje 3.10.7:

* RENAMED: "logtalk_make / 1` tikslas" trūksta ", kad" patikrinti ".


* ADDED: parama išplėsti `logtalk_make / 1` tikslus su vartotojo apibrėžta
veiksmai naudojant naują multifile predikatą `logtalk_make_target_action / 1`.


* PATEIKTA: Kompiliavimo filtras tikrina tautologijos ir melagingumo subjekto tikslus.
Šiuo metu patikrinti yra kvietimai į "Prolog" suvienijimą, palyginimą ir tipą
bandymo integruotų predikatų.

Kas naujo versijoje 3.10.5:

* NUSTATYTAS: Regresija įvedama 3.10.2 versijoje, kai vykdomas metaaukimas konteksto integruotus metodus.

* NUSTATYTAS: Kompiuterio gedimas, atliekamas taikant perkeliamumo patikrinimus į skambučius į "Prolog" integruotus predikatus ir funkcijas, nustatytas pagalbinėse sąlygose (paprastai generuojamas termino išplėtimo mechanizmas).

Kas naujo 3.10.3 versijoje:

* PATIKSLINTA: supaprastintas kodas, sugeneruotas daugialypių prezektams.


* NUSTATYTA: Regresija ankstesniame leidime daugialypės sudėties sudarymui
predikatūros išlygos, kurios skambučius atlieka valdymo konstrukcijas `:: / 1-2`.

Kas naujo versijoje 3.09.1:

* ADDED: Objekto 'number_of_rules / 1` ir `number_of_user_rules / 1` parama
ir kategorijos savybes.


* ADDED: parama number_of_rules / 1` predicate property.


* PATEIKTA: aptikti "meta_predicate" / 1 "direktyvas, kurios klaidingai nurodo tikslą
meta argumentas, kuris iš tikrųjų yra uždarymas, perduotas "call / 2-N" meta-predikatui
skambučiai. Dėkoju Arunui Majumdarui už pranešimą.


* PATEIKTA: aptikta trūkstamų apibrėžimų taikymo srities direktyvų esant

Kas naujo versijoje 3.09.0:

* PAKEISTI: dabar failų parametrai taip pat yra ieškomi naudotojui. namų katalogą
kai neatsirado paleidimo kataloge arba Logtalk vartotojo kataloge.
"Flag_ settings_file" nustatymas "apriboti" dabar riboja paiešką
nustatymų failą į "Logtalk" vartotojo katalogą ir vartotojo namų katalogą.
Šie pakeitimai yra naudingi, kai komanda dalijasi "Logtalk" diegimu abiem
"LOGTALKHOME" ir "LOGTALKUSER" aplinkos kintamieji nurodantys
tas pats katalogas. Dėkojame Barry Evansui už pasiūlymą.

Kas naujo 3.08.0 versijoje:

* PAKEISTA: įsitikinkite, kad klaidos kompiliatoriuje ir įspėjamojo pranešimo Failo ir eilutės informacija visada yra paskutinė pranešimo problemos eilutė.

Kas naujo versijoje 3.07.0:

* ADDED: "Unicode" tik skaitymui, norint apibūdinti "Prolog" kompiliatorių
parama Unicode standartui.


* ADDED: palaikymas "++" (žemės) ir "-" (nesusijęs) argumentas instancija
režimai (deklaruojami kaip prefiksų operatoriai), naudojami su "mode / 2" predikatu
direktyva.


* ADDED: palaikymas `one_or_error` determinizmo specifikacija` mode / 2`
predikatų direktyvos. Naudinga dokumentuoti tipų tikrinimo predikatus.


* PATIKSLINTA: aptikti bando skambinti egzistenciniais kiekybiniais tikslais už
"bagof / 3" ir "setof / 3" skambučių apimtis.


* NUSTATYTAS: rengiant direktyvas "naudoja / 2", nesukurkite susiejimo sąlygą
"runtime" naudojimas įmontuotoms prezekcijoms "vartotojo", kai nenustatytas slapyvardis.


* NUSTATYTAS: dauginant failo kompiliavimo failą savo pagrindiniams failams,
įsitikinkite, kad failų protėviai bus pakraunami, pradedant nuo viršaus protėvio
pagal mechanizmą.


* PATAISYTA: vengiant nereikalingo failo perkrovimo, kai skambinate `logtalk_make / 0` arba
`logtalk_make / 1` su tikslu` all`.


* FIKSUOTA: nustatant trūkstamus predikatus skambinant `^^ / 1`
`logtalk_make / 1` su tikslu" trūksta ".

* FIXED: klaida atspindėjimo API, kai kai kurie predikatai kryžminio nuorodų
informacija nebuvo įrašyta. Dėkojame Edward Schwartz už pranešimą apie klaidą.

Kas naujo 3.06.2 versijoje:

Šis leidimas tęsia darbą, skirtą tobulinti kūrėjo įrankius "Kyndi, Inc." rėmimas. Jame yra nauja apvyniojimo įrankio versija, skirta paprastiems "Prolog" programoms perkelti ir patobulinimams bei pataisoms "lgtunit" ir diagramų įrankiams.

* PATAISYTA: kompiliatoriaus klaida, kai predikatas, kuris yra išplėstas terminas, vadinamas metodu `compile_aux_clauses / 1`, gali būti neteisingai pranešta kaip atsieta.


* FIKSUOTA: skambučiai į "threaded_notify / 1" integruotą predikatą iš "vartotojo" pseudo-objekto neturi reikalauti susieto argumento pagal dokumentaciją.


* FIKSUOTA: skambučiai į "object_property / 2" ir category_property / 2` įterptus predikatus su numeriu_of_clauses / 1 arba number_of_user_clauses / 1` turinio argumentais būti deterministiniais.

Kas yra naujas 3.03.0 versijoje:

* ADDED: parama naujam `logtalk_make / 1` tikslui,` missing`, norint nurodyti trūkstamus objektus ir predikatus. Taip pat galima naudoti "{?}" Nuorodą.

* ADDED: parama naujam `logtalk_make / 1` tikslui," cirkuliacinis ", siekiant išvardyti cirkuliarines nuorodas (atsižvelgiant į pranešimų siuntimo tikslus) tarp porų ir trijų objektų. Taip pat galima naudoti "{@}" nuorodą.

* PATIKRINTA: pridėkite katalogo maišą į tarpinius "Prolog" failų pavadinimus, kad išvengtumėte failų vardų susidūrimų rinkdami visus tarpinius failus toje pačioje kataloge. Šiuo metu reikia ECLiPSe, GNU
Prolog, JIProlog, Quintus Prolog, SICSs Prolog, SWI-Prolog, XSB arba YAP kaip backend kompiliatorius.

* NUSTATYTAS: meta-predikatų skambučių optimizavimo klaida, kai meta argumentas yra arba iš anksto sudarytas uždarymas, arba uždarymas, skirtas tikslui, iškeltam kontekste
"vartotojo" pseudo-objektas. Taip pat taikykite griežtesnes klaidų tikrinimo uždarymo meta-argumentus.

* NUSTATYTAS: gana dažnas parametrų objekto ir parametrų kategorijų identifikatorių klaidų ir įspėjamųjų pranešimų perdavimas.

Kas naujo 3.02.2 versijoje:

* FIXED: klaida tikrinant klaidą lambda išraiškose naudojant "true / 0" kaip lambda
tikslas. Dėkojame Borisui Vassilevui už pranešimą apie klaidą.


* PATAISYTAS: "logtalk_make / 1" predikatas pavyks (po spausdinimo įspėjimo
pranešimas), kai jis skambinamas nenustatytu ar negaliojančiu argumentu, o ne
nesėkmingai. į
generuoja tarpinius "Prolog" failus naudodamiesi daugialypiu prielinksniu
įterpimo patirtis. Pažymėtina, kad tai palengvina laipsnišką įterpimą.


* PATIKRINTA: dabar make predikatai pakartotinai įkelia patronuojančius failų failus su
rinkimo ar pakrovimo klaidos. Tai užtikrina, kad kai klaidingas failas nutraukia
visų failų rinkmenos rinkmenos rinkmenoje, failai, išvardyti po klaida
failas bus sukonfigūruotas, kai sugedęs failas yra fiksuotas ir yra predikatai

Kas naujo versijoje 3.02.1:

* pagerėjo: runtime stalo įrašai apkrautų failus dabar įtraukta į generuojami tarpiniai Prolog failus naudojant multifile predikatą už geriau įliejimo patirtį. Pažymėtina, kad tai palengvina laipsnišką įterpimą.
 * PATIKSLINTA: dabar daromi predikatai taip pat iš naujo įkelia patronuojančius failų failus su kompiliavimo ar pakrovimo klaidomis. Tai užtikrina, kad, kai sugedęs failą nutraukia visų failus krautuvas failą kompiliaciją, išvardyti po defektais failo failai bus sudarytas, kai sugedęs failas yra fiksuotas ir jo markė predikatai vadinami.

Kas naujo 3.01.2 versijoje:

Šis leidimas užbaigia statinį įpareigojimą; prideda palaikymą, kad failų pavadinimai būtų naudojami kaip kompiliavimo ir perkėlimo predikatai; pataiso kompiliatoriaus klaidas; funkcijos dokumentacijos atnaujinimai; gerina įrankių derinimą, testavimą ir dokumentavimą; "Prolog" atitikimą oficialiems ir de facto standartams prideda naujas testavimo vienetų rinkinys; atnaujina visų palaikomų teksto redaktorių ir sintaksės žymeklių sintaksės dažymą; ir apima suderinamumo atnaujinimus, skirtus ECLiPSe, JIProlog ir YAP.

Reikalavimai :

Suderinamas "Prolog" kompiliatorius.