Logtalk

Logtalk yra atviro kodo Objektinis pratęsimo į Prolog programavimo kalba. Loginis programavimas integravimas su Objektinis ir įvykiu pagrįsti programavimą, ji yra suderinama su dauguma Prolog sudarytojų.
Logtalk palaiko tiek prototipus ir klases. Be to, ji palaiko Komponentinis programavimas per kategorijos pagrindu sudėtis

Įranga :.

• atskyrimas tarp sąsajos ir įgyvendinimo:
• predikatų direktyvas (deklaracijas) gali būti įtrauktos į vidų protokolų (sąsajų), kurios gali būti įgyvendinamos jokiu objektu.


• Parametrinis objektai:
• Object pavadinimai gali būti sudėtiniai terminai, kurių sudėtyje yra laisvųjų kintamųjų, kurie gali būti naudojami parametrize objektų predikatai.


• Parama abiejų klasių pagrindu ir prototipų sistemoms:
• Galbūt, toje pačioje paraiškoje, klasės pagrindu hierarchijos (su momentinė ir specializacijos santykių) ir prototipai pagrįstas hierarchijos (su plėtiniu santykiai).


• Parama kelis objektų hierarchijas:
• Nereikia būti apribotas iki vieno ilgo hierarchijos įsišaknijusi kai generinių objektą.


• Privati, apsaugoti ir visuomenės paveldas:
• Logtalk palaiko privatus, apsaugoti ir visuomenės paveldėjimo būdu, panašiu į C. Be to, bet kuris subjektas, santykis gali būti laikomas naudojant apimties žodį.


• Privatūs, saugoma, o viešojo objektas predikatai:
• Nustatyti savo objekto apimtis predikatai, kad atitiktų jūsų protokolas dizainas ir tegul Runtime sistema vykdyti savo pasirinkimą.


• Statiniai ir dinaminiai objektai:
• Objektai gali būti arba statinis ar dinaminis. Statinis objektai yra apibrėžta šaltinio failų, kurie yra sudarytos ir pakrautų tuo pačiu būdu, kaip ir prologr failus. Dinaminis objektas gali būti bet apibrėžta šaltinio failus, arba sukurta aplinką.


• Statinis ir dinaminis objektas predikatai:
• Bet statinis objektas gali būti tiek statinius ir dinaminius predikatai.


• iš anksto procesorius, todėl mes galime naudoti standartinę Prolog sintaksė:
• Logtalk naudoja standartinę Prolog sintaksę su kelių ūkio subjektų ir direktyvas sklandžiai mokymosi kreivė to.


• Renginių varoma programavimas:
• predikatai gali būti netiesiogiai vadinama, kai įvyksta įvykis šnipinėjo, todėl programavimo sprendimus, kurie sumažintų objekto movą. Be to, įvykiai teikti paramą elgesio atspindys.


• Komponentinis programavimas:
• predikatai gali būti atitverti viduje kategorijas, kurios gali būti praktiškai importuojamų bet kokio objekto, be jokių kodų dubliavimo ir nepriklausomai nuo objekto hierarchijų. Taigi, objektai, gali būti apibrėžta per sudėtį kategorijas, kurios veikia kaip smulkiagrūdės vienetų kodą pakartotiniam naudojimui.


• Multi-paveldėjimo palaikymas: "
• Logtalk palaiko multi-palikimą tiek protokolą ir įgyvendinimą. Objektas gali įgyvendinti kelis protokolus ir išplėsti, specializuojasi, arba instancija kelis objektus. Multi-paveldėjimo konfliktai sprendžiami netiesiogiai pagal Logtalk peržvalgos algoritmų arba aiškiai naudojant predikatų direktyvas.


• Geri:
• Logtalk kodas sudaryti naudojant tuos pačius technika, kad jūs naudojate rašyti veiksmingą Prolog kodą. Be to, metodas paieška "yra paslėptas pagal Logtalk runtime variklis, žymiai pagerinti našumą. Palyginamasis rezultatai kai kuriose Prolog sudarytojų rasite čia.


• Uždaryti integracija su ISO Prolog standarto:
• Logtalk skirta sklandžiai integruotis su bet Prolog sudarytojas, kuris atitinka arba atidžiai stebi ISO Prolog standartą.


• Suderinama su dauguma Prolog sudarytojų:
• Logtalk sąsajas su konkrečiu Prolog sudarytojas per minimaliai konfigūracijos failą priėmimo ją suderinama su beveik bet kurios šiuolaikinės sudarytojas.


• Automatinis kartos XML dokumentų bylų:
• Logtalk automatiškai generuoja dokumentacijoje XML formatu kiekvienam sudarytą objektų, protokolo ar kategorijas. Sistema apima visus reikia XSL (T) failus ir scenarijus konvertuoti dokumentavimo failus (X) HTML ir PDF.
• Logtalk veikia beveik bet kurio kompiuterio su Prolog kompiliatorius (pagrindinis kūrimo aplinka yra "Apple PowerBook G4" veikia MacOS X). Tarp Logtalk ir konkretų Prolog sudarytojas sąsaja pasiekiama per konfigūracijos failą.
• Šis failas yra keletas Logtalk konkrečius predikatai ir diegimo ISO standartą Prolog predikatai nėra prieinama Prolog sudarytojas.


• Be raštu Logtalk bandžiau sekti Prolog ISO standartą, kai tik įmanoma. Pajėgumų, kurių Logtalk, kurie nėra apibrėžti I ISO standartą į dalį: "


• patekti į Predicate savybes (dinamiška, statinis, built_in):
• Jei jūsų mėgstamiausia Prolog turi šias galimybes minėta, priimant konfigūracijos failas yra labai lengva. Logtalk paketas jau yra konfigūracijos failus iš labiausiai paplitusių Prolog sudarytojų. Optimaliam Logtalk reikalauja, kad Prolog sudarytojas palaiko pirmosios argumentas indeksavimo tiek statinis ir dinaminis kodą.


• Logtalk branda ir bandymai šiuo metu atliekami naudojant šias Prolog kompiliatoriai (abėcėlės tvarka): "
• GNU Prolog 1.2.18
• SWI Prolog 5.4.7
• YAP 4.5.7
• Dėl to, kad tai yra tikriausiai jūsų geriausias pasirinkimas važiuotų Logtalk (su sąlyga, kad jūs galite laisvai naudoti vieną iš šių sudarytojų).


• Be to, Logtalk veikia su mažai arba be pakeitimų su šiais Prolog sudarytojų (abėcėlės tvarka):
• ILS Prolog 3.1
• Amcio! 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
• IF / Prolog 5.x
• JIProlog 3.0.1-2
• K-Prolog 5.1.2a
• LPA MacProlog32 1.25
• LPA WinProlog32 4.0x
• MasterProlog 4.1
• Atidaryti 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

Kas naujo , šioje laidoje:

• Modifikuota pranešimą siuntimo mechanizmą skambinti & quot; prieš & quot; Renginio tvarkytojai prieš atliekant metodas peržvalgos. Šis pokytis turėtų turėti jokios įtakos esamą kodą poveikį, tačiau leidžia įdomių paraiškas (pvz vietoj nepavyksta mesti išimtį, kai pranešimas yra nesuprantama).
• Daugiau atitinka tvarkymas kompiliatoriaus vėliavėles tarp nustatant vėliava vertybes, rengdama / pakrovimo failą ir naudojant set_logtalk_flag / 2 built-in predikatas: abiem atvejais nustatant & quot; smart_compilation & quot; vėliava išsijungs & quot; Clean & quot; vėliava ir nustatant & quot; Clean & quot; vėliava išsijungs & quot; smart_compilation & quot; vėliava. Be to, nustatant & quot; debug & quot; vėliava išsijungs tiek & quot; smart_compilation & quot; ir & quot; Clean & quot; vėliavos.
• Leidžia minkštųjų sumažinti kontrolės konstruktas (* - & gt;) / 2, kai gimtoji palaiko back-end Prolog kompiliatorius, kuri turi būti naudojama gramatikos taisykles kūno (po Daniel Diaz pastabą aptariant GNU Prolog parama minkštas cut-valdymo statyti).
• ištaisyta keletas Logtalk kompiliatoriaus klaidą, kai & quot; source_data & quot; Vėliava yra su back-end Prolog sudarytojų, kur neįmanoma atgauti apie skaitymo termino poziciją.
• Ištaisyta klaida, atsižvelgiant į meta_non_terminal / 1 direktyvoje, kur tik pirmas meta argumentas būtų tinkamai perdirbtos sudaryti.
• Atnaujinta Eclipse config failą aptikti, kai veikia "Windows 64 bitų sistemų ir ignoruoti ne predikatų ir ne operatorius eksportą, kai iš anksto apdorojimas lib / 1 direktyvas.
• Atnaujinta vieneto testas sistema spausdinti daugiau informatyvus pranešimus nepavykusių vieneto bandymai.
• Pridėta tarinys padalinti / 4 (už padalijant sąrašą į posąrašiams su tam tikro ilgio) su & quot; & quot ;, listp & quot; & quot ;, sąrašą ir & quot; difflist & quot; Bibliotekos asmenys.
• Atnaujintas & quot; cc & quot; pavyzdys su už korpuso / 2 predikato už CxProlog apibrėžimą.
• pakeitė į & quot objektų pavadinimus; mi & quot; Pavyzdžiui, kad būtų išvengta vardas konfliktą, kai veikia pavyzdyje vieneto bandymai.
• Ištaisyta klaida Windows installer, kad neleido aptikti YAP 64 bitų versijas. Ačiū Stepan Ipatov pranešimą apie ydą.
• Ištaisyta klaida Windows installer, kad neleido vartotojams tinkinti diegimo katalogą. Ačiū Daniel Moniz pranešimą apie ydą ir Gavin Lambert diagnozuoti klaidą.
• Atnaujinta "Windows Installer" scenarijų pagerinti aptikimo XSB ir numatytasis įdiegti tik vienam vartotojui failus, kai valdo ne administratoriaus vartotojo kompiuteryje, kuriame Logtalk jau įdiegta.
• Pridėta pagrindinę paramą LaTeX & quot; objektų & quot; paketą. Pridėta pastabos apie & quot; nukaldinta & quot; ir & quot; texmates & quot; LaTeX paketai.
• Pridėta pastabos apie Textastic iPad teksto redaktoriumi.
• Pridėta pagrindinę sintaksės spalvinimas ir kodas lankstymo paramą Ultraredaguoja teksto redaktoriumi.
• Atnaujinta TextMate ryšulio išjungti automatinius, įtrauktos į plėtros versija textmate 2.0 įtrauka pataisymus.

Kas naujo versija 2.44.0:

• pakeitė papildyti kategorijas leidžia pataisyti tiek semantikos predikatų deklaracijos ir predikatų apibrėžimai papildyta objektų. Tai pasiekiama užtikrinant, kad tarinys deklaracija ir apibrėžimas paieška "pradėti tuo papildančių kategorijų prieš ieškote į papildo paties objekto arba į jos susijusiems subjektams.
• Atnaujintas Logtalk kompiliatorių, siekiant sukurti įspėjimą, rengdama komplementuojančios kategoriją už papildo objektą, kuris buvo rengiami paramos papildyti kategorijas išjungtas.
• Pataisyta į meta raginimus meta predikatai kur pašaukimas kontekstas būtų nustatytas & quot perdirbimo klaidą, tai & quot; vietoj & quot; siuntėjo & quot; kai meta argumentas buvo vienas iš :: / 2, {} / 1,

Kas naujo versija 2.43.3:

• Pasikeitė sudarytojas atsižvelgti į naudojimo būdus / direktyvos 2 rengdama skambučius atspindys įmontuojama metodai. Šis pokytis išplečia panaudojimo / 2 direktyvos semantiką ir leidžia lengviau migracija iš paprasto Prolog paraiškas Logtalk.
• Atnaujinta iš predicate_property / 2 built-in metodo įgyvendinimas, pridedant apimtis / 1 nuosavybę.
• Atnaujintas Logtalk kompiliatorių pridėti informacijos apie šaltinį failo pavadinimą, šaltinį failo katalogą ir šaltinio failas sudarytojas variantų kuriamą Prolog failus. Ankstesnėse versijose ši informacija buvo įregistruota tik tada, kai pakrovimo šaltinio failo. Pakeitimai supaprastinti kurti programas, kuriose Logtalk bibliotekų anksto parengta ir iš anksto pakrautas.
• Atnaujintas Logtalk kompiliatorių spausdinti kablio objekto naudojamo šaltinio failus rengimo vardą, kai & quot; kablys & quot; kompiliatorius vėliava apibrėžti.
• Atnaujinta built-in derintuvės siekiant išvengti nereikalingų pasirinkimas taškų sukurtus back-end Prolog sudarytojų, kurių atsiimti / 1 įgyvendinimą nesugeba pasinaudoti loginių atnaujinti semantikos skambinti deterministinis.
• Pataisyta į Logtalk sudarytojas runtime prižiūrėtojas, kur jis nepavyko dekompiliuoti vidaus subjekto identifikatorius, kai mesti subjektas, išimtis klaidą.
• Atnaujinta "Lean Prolog config failą, pridedant index / 1 direktyvas dėl kai kurių dinamiškų predikatai naudojamų vidaus Logtalk Runtime lentelėse.
• Atnaujinta SDI-Prolog integracijos failus išbandyti už puslapis / 1 direktyvos, kuri yra pasmerkta nauju eksperimentinės SWI-Prolog paramos just-in-time kelių argumentų indeksavimo galimybes.
• Pridėta predikatai pasekmė / 4 (generuoti neuropatinio sąrašą su tam tikro ilgio), pakeisti / 4 (už pakeičiant elementus sąraše) ir hamming_distance / 3 į biblioteką & quot; listp & quot; ir & quot; sąrašas & quot; subjektai.
• Pridėta euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3 ir scalar_product / 3 predikatai į biblioteką & quot; numberlistp & quot; ir & quot; numberlist & quot; subjektai.
• Ištaisyta kai kvailas klaidas į & quot apibrėžimą; charakterį & quot; biblioteka objektas predikatai is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1 ir is_hex_digit / 1.
• Atnaujinta biblioteka & quot; all_loader.lgt & quot; krautuvas failą taip pat įkelti & quot; meta_compiler_loader.lgt & quot; krautuvas failą.

Kas naujo versija 2.43.1:

• Pasikeitė sudarytojas atsižvelgti į naudojimo būdus / direktyvos 2 rengdama skambučius į duomenų bazę įmontuotais metodus. Šis pokytis išplečia panaudojimo / 2 direktyvos semantiką ir leidžia lengviau migracija iš paprasto Prolog paraiškas Logtalk.
• Pridėta eksperimentinės parama naudojant pirminį šabloną kaip argumentas į coinductive / 1 direktyvą. Šis šablonas leidžia specifikaciją kurių argumentai yra prasmingas coinductive sėkmę. Remiantis panašaus funkcionalumo, rasti ant Feliks Kluzniak anketa DRA meta vertėją.
• Patobulintas parama derinimo coinductive predikatai naudojant Logtalk built-in derintuvės.
• Pašalinta coinduction parama CxProlog. Dabartinė versija šio kompiliatoriaus trūksta minkštą cut-built-in predikato arba valdymo konstruktą, kuris dabar reikalauja eksperimentinės coinduction įgyvendinimą.
• kilstelėjo seniai apribojimas, kuris sutrukdė vartotojo apibrėžimą įvynioti predikatai už bagof / 3 ir setof / 3 built-in metodus, kai tikslas argumentas gali naudoti ^ / 2 egzistencinę quantifier.
• Pridėta parama & quot; ^ & quot; Meta-tarinys meta argumentas režimas specifikatorius pasiūlė Jan Wielemaker ir rasti SDI-Prolog 5.11.25. Šis režimas specifikatorius yra naudinga nustatant pakuotes už bagof / 3 ir setof / 3 built-in metodus, kai tikslas argumentas gali naudoti ^ / 2 egzistencinę quantifier.
• Pridėta & quot; prolog_compiler & quot; ir & quot; prolog_loader & quot; kompiliatoriaus vėliavėles, kurios leidžia asocijuotas galimybes back-end Prolog kompiliatoriaus įmontuotą predikatai, kad apibendrina į diską ir įdėkite (sudarytojas) Prolog vėliava. Numatytoji reikšmė tiek vėliavomis yra tuščias sąrašas.
• Ištaisyta klaida, kai sudarant skambučius į Prolog patentuotų built-in meta predikatai kur Logtalk kompiliatorius gali bandyti apdoroti ne meta- argumentus tikslų. Ši klaida tik pasireiškė su kai back-end Prolog sudarytojų, pvz Eclipse.
• Ištaisyta klaida, ir sąlyginių sudarymo direktyvų perdirbimo.
• Ištaisyta klaida, kuri neleido perduoti slapyvardis / pravardė 3 direktyvas dėl skambučių į create_object / 4, create_category / 4 ir create_protocol / 3 įmontuojama predikatai.
• Pašalinta iš built-in objektą & quot; logtalk & quot; kad decompile_predicate_head / 4 ir decompile_predicate_indicator / 4 atgyvenę metodai.
• Pašalinta parama seniai atgyvenę Logtalk metapredicate / 1 direktyvą.
• Ištaisyta įvykdymo klaidą, kai spartinimo skambučius į kategorijos predikatai kur talpyklos įrašai gali būti išsamesni nei reikalinga, dirbant su parametrinių kategorijas.
• Geresnis spartinimo ir & quot; super & quot; ragina iš vidaus prototipų. Anksčiau visi talpyklos įrašai būtų specializuojasi pagal & quot vertės; savarankiškai & quot; siekiant tinkamai spręsti su specialiais atvejais, kai objektas abu instantiates ir specializuojasi kitus objektus.
• Atnaujintas Logtalk kompiliatorių aktyvuoti rastas ant ratu Direktyvų operatoriaus deklaracijas dėl subjektų, turinčių direktyvų rengimo metu.
• pagerino coinductive predikatai veiklos naudojant back-end Prolog kompiliatoriai, pavyzdžiui, SICStus Prolog, kad nepateikiantiems minkštas pjovimo kontrolės konstruktą, bet teikia minkštomis supjaustyti built-in meta-predikato (jei / 3).
• Ištaisyta klaida, kai gali būti atspausdintas melagingas pranešimas rinkinys / pakrovimo įspėjimus, kai šaltinio failas buvo sudarytas / pakrautas su kompiliatorių vėliava & quot; ataskaitą & quot; išjungtas.
• pridėjo & quot; streamvars & quot; biblioteka objektas, kilęs iš esamo & quot; assignvars & quot; biblioteka laipsnio, siūlanti paramą pridedant ir gaunant sąlygas (kurios gali būti kintamieji) iš & quot; srauto & quot; kintamasis.
• Atnaujinta & quot; coinduction & quot; Pavyzdžiui, pasinaudojant tvirtesnio coinductive / 1 direktyvą ir išplėsti atskirų pavyzdžių, kad galima paleisti naudojant SICStus Prolog skaičių. Pridėta modelį tikrinimo Pavyzdžiui, naudojant coinduction, coroutining, ir apribojimai, kurį įneša Neda Saeedloei.
• Atnaujinta & quot; metapredicates & quot; pavyzdys su mėginio kodą, iliustruojantis, kaip apibrėžti pakuotes už bagof / 3 ir setof / 3 built-in metodus, kai meta argumentas gali būti egzistenciškai kvalifikuotus kintamuosius.
• Atnaujintas & quot; cc & quot; Pavyzdžiui, ištaisyti predikato sąvokų kelis back-end Prolog sudarytojų ir pridedant keletą pagrindinių vieneto bandymai.
• Atnaujinta & quot; koduotes & quot; pavyzdys su ribota paramos Lean Prolog.
• Pridėta trūkstamus įrašai meta_non_terminal / 1 direktyvą ir skambučio // N ne terminalo & quot; padeda & quot; pavyzdys.
• Pridėta už PDDL 3.0 failus analizatorius, prisidėjo Robert Sasak.
• Pridėta kodas lankstymo paramą SubEthaEdit teksto redaktoriumi. Pridėta kodas lankstymo paramą sąlyginių sudarymo blokų į Kate vim ir textmate teksto redaktoriai.
• Atnaujinta integracijos scenarijus siekiant apkrova biblioteka keliai byla prieš pakraunant Logtalk sudarytojas / runtime. Šis pokytis siekiama supaprastinti pakrovimo bibliotekų ir pavyzdžiui failus iš nustatymų failus. Be to, taip pat ieškoti Logtalk diegimo katalogą $ HOME / share kai LOGTALKHOME aplinkos kintamąjį nėra apibrėžta. Ačiū skutiko Santos Costa už sugaištą laiką.
• Atnaujinta "Windows Installer", siekiant remti Lean Prolog ir nustatyti Yap 64 bitų versijas.

Kas naujo versija 2.43.0:.

• Pridėta eksperimentinės parama Lean Prolog
• Pasikeitė klaida ataskaitų teikimas Logtalk sudarytojas ir aplinką. Visi išimtis terminai dabar naudoti, kai tik įmanoma, klaida (klaida, logtalk (tikslas, subjektas))
• formatas. Pasikeitė vidaus klaidų tikrinimo naudoti, kai praktiška, naują "$ lgt_must_be '/ 2-3 vidaus predikatai.
• Pridėta & quot; optimizuoti & quot; vėliava, kurių numatytoji reikšmė yra & quot; & quot ;. Ši vėliava leidžia vartotojui išjungti esamas optimizavimas EG Derinimo užduotys (
• šiuo metu įgyvendinamos optimizavimas apima nereikalingų skambučių šalinimas į true / 0 iš surinktais pirminių sąlygų kūno ir šalinimas
• nereikalingas skambučiai į (=) / 2 nuo sąlygų, gaunamų iš gramatikos taisyklių išplėtimo organo).
• Pridėta & quot; source_data & quot; vėliava, kurių numatytoji reikšmė yra & quot; & quot ;. Su šia vėliava nustatytas & quot; & quot ;, Logtalk laikys informaciją žymima naudojant režimą / 2,
• info / 1-2, naudoja / 2, ir use_module / 2 direktyvų plius šaltinis buvimo vietos duomenis (įskaitant šaltinio failų pavadinimus ir eilučių numerius), naudingos tiek derinimo
• ir integracijos plėtros priemonių. Ši vėliava gali būti išjungtas, siekiant sukurti daugiau kompaktiškas kodą. Parameter_names / 1 objektas ir
• kategorijos turtas yra pašalinamas, siekiant išvengti atleidimo iš darbo.
• Įvykdyti apsaugotas / 1 ir privataus / 1 savybių objektus, protokolų, ir kategorijas. Kartu su viešosios / 1 turtu, šios savybės
• leidžia predikatai deklaruotų subjekto sąrašą turi būti atvertas atspindinčių skaičiavimų. Įgyvendintas pareiškia / 2, apibrėžia / 2, apima / 3,
• ir suteikia / 3 savybes susipažinimo su predikatai deklaruotų ir apibrėžta subjekto savybes. Deklaracija savybės apima line_count / 1, linija numerį tarinys apimtis direktyvą. Apibrėžimas savybės apima line_count / 1, eilutės numeris ir pirmojo
galvos
• išlyga predikato ir number_of_clauses / 1, ir išlygų dėl predikato skaičius. Taip pat įgyvendinami eksperimentiniai naudojimo / 3 ir use_module / 3 savybes.
• Pridėta pirminį turtą, redefined_from / 1, leidžianti užklausų apie objektą ar kategorijai, kurioje pirminį apibrėžimą, kad būtų iš naujo.
• Pridėta loaded_file / 3 predikatą & quot; logtalk & quot; built-in objektą, kuris papildo esamą loaded_file / 2 predikatas ir suteikia prieigą prie
• aiškūs variantai naudojami, kai failas buvo surinkti ir pakrauti.
• Įvykdyti sudarytojas parama meta_non_terminal / 1 direktyvą ir skambučiu // N įmontuota ne terminalas.
• supaprastino gramatikos taisyklių sudarymą, panaikinant būtinybę spręsti ne terminalo pobūdžio ir egzistavimo klaidomis gramatikos taisyklę paramą
• lygis, o ne pirminiam lygyje. Nors ši funkcija gali būti naudinga, kai derinate gramatikos taisykles, tai apsunkino Logtalk integraciją su Prolog gimtoji plėtros priemones.
• Atnaujintas Logtalk kompiliatorių siekiant išsaugoti subjekto nuorodos straipsnio vietas ir kad ši informacija būtų prieinama back-end Prolog kompiliatoriai.
• Atnaujintas Logtalk kompiliatorių, siekiant išvengti gamybos nereikalingų vidaus spintelė sąlygos dėl predikatų deklaracijos ir apibrėžimas lentelių dinaminių subjektams.
• Atnaujintas Logtalk kompiliatorių, kad būtų užkirstas kelias naudojant multifile predikatai Breaking objekto hermetizuoti. Pirminė deklaracija "
• subjektas turi egzistuoti, turintis tiek apimtį ir multifile direktyva dėl predikato. Be to, apibrėžiant sąlygas už multifile
• subjektas :: functor / Valentingumas be atitinkantis multifile / 1 direktyvą dabar rezultatas bus kompiliavimo klaida vietoj tiesiog įspėjimas.
• Pašalinta Logtalk sudarytojas apribojimas, kad priversti Neskarošs / 1 ir dinamiškus / 1 direktyvas prieš skambučius deklaruotų predikatai.
• Geresnis Logtalk sudarytojas ataskaita misspelt skambučius ne terminalus gramatikos taisykles.
• Leisti į naudojimas:. / 1 ​​kontroliuoti statyti ant gramatikos taisykles kūno
• Kai derinimo nurodytus Naudojamos / 2 direktyvų pranešimus, pranešimas dabar spausdinami netiesiogiai kvalifikuoti kaip kodo parašyta vartotojui.
• Pasikeitė vidaus predikatai naudojami iš built-in multi-sriegimo predikatai įgyvendinti siekiant palengvinti integraciją su "
• aukšto lygio testavimo priemonės, kurios reikalauja Dekompiliavimas sugeneruoto Prolog kodą.
• Ištaisyta klaida, įvestas Logtalk 2.42.4 nuo subjekto predikatai, kad skambinti sinchronizuoti predikatai rengimo. Ši klaida lėmė skambučių
• daroma vietoj neturinčių sinchronizuoti formomis predikatai, kuri pasireiškia atsitiktiniai gedimai siūlais tikslus.
• Ištaisyta seniai klaidą kur runtime parengta meta skambutis per kategorijas, būtų rengiami kaip skambučio į objekto predikato
• importuoti kategoriją vietoj kaip kvietimą į vietinį kategorijos predikato.
• Ištaisyta seniai klaidą, kur subjektas vėliava vertės nustatyti lokaliai naudojant set_logtalk_flag / 2 direktyva nesugeba būti įrašyti į subjekto
• surinkti kodą.
• Ištaisyta seniai klaida, kai panaikina dinamišką predikatas į ne prototipas objektą, jei panaikinti / 1 metodą pavyks be
• tarinys yra iš tikrųjų panaikinta.
• Ištaisyta klaida nustatant teisingą vykdymo kontekstą, kai skambinate meta-argumentą, kad reikia runtime kaupiant
kontekste
• & quot; siuntėjas & quot;.
• ištaisyta keletas į aiškų kvalifikacijos skambučių į modulį meta predikatai, kur kvalifikacijos modulis būtų pašalintas iš
kompiliavimo klaidą
• kaupiami skambutis. Atkreipkite dėmesį, kad šie skambučiai bus panaudoti Logtalk meta predikatų semantiką (ty meta argumentai bus vadinamas atsižvelgiant į
kontekste
• skambintojo) vietoj įprastų Prolog modulio meta-tarinys semantika.
• Ištaisyta klaida, kai coinduction kaminai nebuvo inicializuoti naudojant

Kas naujo versija 2.42.4:

• Ši versija apima kompiliatorius, Runtime ir multi sriegimo veiklos optimizavimas, gerina kompiliatoriaus klaidų pranešimus į sinchronizuoti / 1 ir dinaminės / 1 direktyvų, priduria paramą išsaugant operatorius apimties informaciją ir išvedė šią informaciją automatiškai generuoja XML dokumentais failus, prideda naujų komunalinių predikatai į logtalk objektas, gerina keletą programų pavyzdžiai, apima paraišką dėl SWI-Prolog uninstaller klaidą "Windows" problemos sprendimą, ir ypatybės perkeliamumo atnaujinimus Qu-Prolog, SICStus Prolog, SDI-Prolog, XSB ir Yap.

Kas naujo versija 2.42.3:

• Ši versija prideda paramą telefonu dinaminius predikatai į kontekstas & quot; tai & quot; nuo per kategorijas, priduria paramą anksto parengta išlygos vadovų, yra bugfixes ir tobulinti vidinę derintuvės apima geresnes bibliotekų ir pavyzdžius, priduria paramą indexicals naudojant SICStus Prolog CLP (FD) biblioteką, prideda eksperimentinės pavyzdys naudojant priskirtus kintamuosius per objektus ir kategorijas, ir funkcijos perkeliamumo atnaujinimus Eclipse, GNU Prolog, SICStus Prolog ir SDI-Prolog.

Kas naujo versija 2.42.2:

• Ši versija pagerina skambučių į modulį predikatai kompiliaciją , gerina tikrinimo meta argumentus meta pirminių pokalbių, gerina paramą lambda išraiška, apima Optimizavimo kompiliatorius skambučių į bibliotekų meta predikatai, prideda naujų bibliotekų medienos ruošos įvykių, dirbant su laiko intervalas santykių ir naudojant sveikasis skaitikliai, gerina esamų pavyzdžių ir bibliotekos, priduria paramą naudojant JavaScript remiantis SyntaxHighlighter paketą ir funkcijos perkeliamumo atnaujinimus GNU Prolog, Qu-Prolog, SICStus Prolog, SDI-Prolog ir XSB.

Kas naujo versija 2.42.1:

• Ši versija prideda paramą naujo meta predikatų režimu rodikliai, leidžiantys paramą daugiau Prolog patentuotų built-in meta predikatai.
• Pagalba buvo įtraukta aptikti ir pranešti apie dingusius dinaminius / 1 ir Neskarošs / 1 direktyvas.
• Naujasis pūkų vėliava buvo pridėta.
• Du meta predikatų sudarymo klaidos buvo ištaisytos.
• Kai iš pavyzdžių buvo atnaujintas.
• perkeliamumas atnaujinimai buvo B-Prolog, SICStus Prolog, SDI-Prolog, XSB ir Yap.