Logtalk

Prolog yra bendrosios paskirties logika programavimo kalba, kuri buvo išleista dar 1972 metais, labai mažai atnaujinimų, nes.

Logtalk , buvo sukurta siekiant įtraukti daugiau modernių funkcijų į Prolog, daugiausia efektyvumo patobulinimų, lambda išraiška, gramatikos taisykles, patobulintus kompiliatoriaus klaidas ir įspėjimo pranešimų.

Ant jų pridėti lengviau diegimo procesą ir Prolog sudarytojas suderinamumo atnaujinimai.

Tai daro Logtalk geresnį, labiau tinkama alternatyva Prolog į šiuolaikinės PG ir kompiuterių Lingvistika scenarijus, daug galingesnė kelių paradigmos kalba, tinka įvykiu ir aukšto lygio kelių-Threading programavimą.

Šiuo metu Logtalk sintaksė tęsiasi standartinį Prolog sintaksę ir galite paleisti Logtalk šių Prolog sudarytojų:

B-Prolog

CxProlog

"Eclipse

Jei GNU Prolog

Lieknas Prolog

"Qu-Prolog

SICStus Prolog

SWI Prolog

XSB

YAP

Kas naujo , šioje laidoje:

• pagerėjo:
• Pasikeitimai terminas žymeles naudojami rašant surinkti kodą, siekiant padėti sumažinti generuojamą tarpinių Prolog failų, kurie naudoja tuos žodžius nuspręsti, kada papuošti apibendrina sąlygas su šaltinio vietos nustatymo duomenis (dydis šiuo metu tik swi-Prolog turėjo pranašumą vietos nustatymo duomenys).
• Pataisyta:
• failas gali turėti daugiau nei vieną patronuojanti failą.

Kas naujo versija 3.02.2:

• pagerėjo:
• Pasikeitimai terminas žymeles naudojami rašant surinkti kodą, siekiant padėti sumažinti generuojamą tarpinių Prolog failų, kurie naudoja tuos žodžius nuspręsti, kada papuošti apibendrina sąlygas su šaltinio vietos nustatymo duomenis (dydis šiuo metu tik swi-Prolog turėjo pranašumą vietos nustatymo duomenys).
• Pataisyta:
• failas gali turėti daugiau nei vieną patronuojanti failą.

Kas naujo versija 3.02.1:

• pagerėjo:
• Pasikeitimai terminas žymeles naudojami rašant surinkti kodą, siekiant padėti sumažinti generuojamą tarpinių Prolog failų, kurie naudoja tuos žodžius nuspręsti, kada papuošti apibendrina sąlygas su šaltinio vietos nustatymo duomenis (dydis šiuo metu tik swi-Prolog turėjo pranašumą vietos nustatymo duomenys).
• Pataisyta:
• failas gali turėti daugiau nei vieną patronuojanti failą.

Kas naujo versija 3.00.4:

• pagerėjo:
• Pasikeitimai terminas žymeles naudojami rašant surinkti kodą, siekiant padėti sumažinti generuojamą tarpinių Prolog failų, kurie naudoja tuos žodžius nuspręsti, kada papuošti apibendrina sąlygas su šaltinio vietos nustatymo duomenis (dydis šiuo metu tik swi-Prolog turėjo pranašumą vietos nustatymo duomenys).
• Pataisyta:
• failas gali turėti daugiau nei vieną patronuojanti failą.

Kas naujo versija 3.00.2:

• pagerėjo:
• Pasikeitimai terminas žymeles naudojami rašant surinkti kodą, siekiant padėti sumažinti generuojamą tarpinių Prolog failų, kurie naudoja tuos žodžius nuspręsti, kada papuošti apibendrina sąlygas su šaltinio vietos nustatymo duomenis (dydis šiuo metu tik swi-Prolog turėjo pranašumą vietos nustatymo duomenys).
• Pataisyta:
• failas gali turėti daugiau nei vieną patronuojanti failą.

Kas naujo versija 3.00.1:

• pagerėjo:
• Pasikeitimai terminas žymeles naudojami rašant surinkti kodą, siekiant padėti sumažinti generuojamą tarpinių Prolog failų, kurie naudoja tuos žodžius nuspręsti, kada papuošti apibendrina sąlygas su šaltinio vietos nustatymo duomenis (dydis šiuo metu tik swi-Prolog turėjo pranašumą vietos nustatymo duomenys).
• Pataisyta:
• failas gali turėti daugiau nei vieną patronuojanti failą.

Kas naujo versija 2.44.1:

• Ištaisyta klaida, atsižvelgiant į meta_non_terminal rengimo / 1 Direktyva kur tik pirmas meta argumentas būtų tinkamai tvarkomi.
• Atnaujinta Eclipse config failą aptikti, kai veikia "Windows 64 bitų sistemų ir ignoruoti ne predikatų ir ne operatoriaus eksportą, kai iš anksto apdorojimas lib / 1 direktyvų.
• Atnaujinta įrenginys bandymų aplinka spausdinti daugiau informatyvus pranešimus nepavykusių vieneto bandymai.
• Pridėta tarinys padalinti / 4 (išskaidyti sąrašą į posąrašiams su tam tikro ilgio) į & quot; listp & quot ;, & quot; sąrašo & quot ;, 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; pavyzdys būtų išvengta vardas konfliktą, kai veikia pavyzdyje vieneto bandymai.
• Ištaisyta klaida "Windows installer, kad užkirto kelią aptikti YAP 64 bitų versijose. Ačiū Stepan Ipatov kaip pranešimą apie ydą.

Kas naujo versija 2.44.0:

• Ši laida keičia papildyti kategorijas semantiką, todėl jo naudojimas pleistras esamą objekto kodą, nustato dvi klaidas iš meta skambučių apdorojimą, leidžia atidaryti sąrašus terminalų į DCG taisyklių kūno, prideda dvi naujas pavyzdžių, gerina paramą Vim teksto redaktoriumi ir vešlus ctags.

Kas naujo versija 2.43.3:

• Ištaisyta klaida į Logtalk sudarytojas runtime prižiūrėtojas kur jai nepavyko dekompiliuoti vidaus subjektas identifikatorius, kai mesti subjektas, išimtis.
• 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 testas indekso / 1 direktyvą, kuri yra pasmerkta nauju eksperimentiniu swi-Prolog paramos just-in-time kelių argumentų indeksavimo galimybes.
• patalpintas 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 kurių kvailas klaidas iš & 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.2:

• Optimizuotas operatoriui deklaracijų apdorojimo, rengdami pirminius failus ir dinamiškai kurti naujas įmones.
• Atnaujintas Logtalk kompiliatorių naudotis & quot; modulius & quot; sudarytojas vėliava tiriant Prolog paramos modulį, tokiu būdu būtų išvengta kompiliacijos problemų su back-end Prolog sudarytojų, nepalaikantys "modulio sistemą, bet vis dar define (:). / 2, kaip įmontuotą kontrolės statyti ar tarinio
• Pašalinta parama & quot; startup_message & quot; sudarytojas vėliava & quot; vėliavos (Compact) & quot; ir & quot; vėliavos (VERBOSE) & quot; vertybes, pakeisti vienu vertės, & quot; vėliavos & quot ;, kuri atitinka senas & quot; vėliavos (Compact) & quot; vertė.
• Ištaisyta klaida, kai naudojant op / 3 direktyvas su create_protocol / 3, create_object / 4 ir create_category / 4 built-in predikatai, kur vietinio operatoriaus deklaracijos būtų matomas ne naujų subjektų.
• Ištaisyta klaida, kur sukurti naują dinamišką ūkio subjekto runtime būtų apibrėžti nebenaudojamas buhalterijos dinamišką predikatą, kad nebūtų panaikinta, kai subjektas yra panaikinta.
• pataisų sudarytojas klaidą kai & quot; super & quot; skambinti nuo per objekto, kad tik instantiates save, o ne specializuotis bet koks daiktas būtų mesti išimtį vietoj netinkamai.
• Atnaujinta & quot; etalonai & quot; pavyzdys, siekiant apsaugoti nuo aritmetinių išimčių, kai skaičiavimo skaičių skambučių per sekundę kiekvieną bandymą. Sumažino lyginamųjų bandymų pakartojimų skaičių, kai veikia vieneto bandymai išvengti ilgų skaičiavimo kartus lėtai back-end Prolog sudarytojų.

Kas naujo versija 2.43.1:

• Pasikeitė sudarytojas atsižvelgti į naudojimo būdus / direktyvos 2 rengdami skambučius į duomenų bazę built-in 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 argumento, 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ą.
• Geresnis parama derinimo coinductive predikatai naudojant Logtalk built-in išriktuotojo.
• Pašalinta coinduction parama CxProlog. Dabartinė versija šio kompiliatoriaus trūksta minkštą supjaustyti built-in predikato arba valdymo konstruktą, kuris dabar reikalauja eksperimentinės coinduction įgyvendinimą.
• kilstelėjo seniai apribojimas, kad neleido vartotojo apibrėžimą įvynioti predikatai už bagof / 3 ir setof / 3 built-in metodų, 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 metodų, kai tikslas argumentas gali naudoti ^ / 2 egzistencinę quantifier.
• patalpintas & 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 kaupia 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čiai į Prolog patentuotų built-in meta predikatai kur Logtalk kompiliatorius gali bandyti apdoroti atskiras meta argumentus kaip tikslai. Ši klaida tik pasireiškė su kai back-end Prolog sudarytojų, tokių kaip užtemimas.
• Ištaisyta klaida į lygtinio rengimo direktyvų apdorojimo.
• Ištaisyta klaida, kuri neleido perduoti alias / 3 direktyvas dėl kvietimų į create_object / 4, create_category / 4 ir create_protocol / 3 įmontuojama predikatai.
• pašalintas iš built-in objekto & quot; logtalk & quot; kad decompile_predicate_head / 4 ir decompile_predicate_indicator / 4 pasenusios metodai.
• Pašalinta parama ilgai nepatvirtintos Logtalk metapredicate / 1 direktyvą.
• pataisų veiklos rezultatų klaidą, kai spartinimo skambučiai į kategorijos predikatai kur talpyklos įrašai gali būti konkretesnis nei būtina dirbant su parametrinių kategorijas.
• Geresnis pasidėjimas & quot; super & quot; ragina iš vidaus prototipų. Anksčiau visi talpyklos įrašai būtų specializuojasi pagal & quot vertę; savarankiškai & quot; siekiant tinkamai spręsti su specialiais atvejais, kai daiktas abu instantiates ir specializuojasi kitus objektus.
• Atnaujintas Logtalk kompiliatorių aktyvuoti nerasta ant ratu taikomos Direktyvos bet kuris operatorius deklaracijas per subjektų, kuriuose direktyvas sudaryti.
• pagerino coinductive predikatai spektaklis naudojant back-end Prolog kompiliatoriai, pavyzdžiui, SICStus Prolog, kad nereikia teikti minkštomis supjaustyti kontrolės konstruktą, bet suteikti minkštomis supjaustyti built-in meta-predikato (jei / 3).
• Ištaisyta klaida, kuriose gali būti atspausdintas melagingas pranešimas kompiliacija / pakrovimo įspėjimus, kai šaltinio failas buvo sudarytas "/" pakrauta su kompiliatorių vėliava & quot; ataskaitą & quot; išjungtas.
• pridėjo & quot; streamvars & quot; biblioteka objektas, kilęs iš esamo & quot; assignvars & quot; biblioteka kategorija, siūlanti paramą pridedant ir išrinkti sąlygas (kurios gali būti kintamieji) iš & quot; srauto & quot; kintamasis.
• Atnaujinta & quot; coinduction & quot; Pavyzdžiui, pasinaudojant sustiprinto coinductive / 1 direktyvą ir išplėsti atskirų pavyzdžių, kad galima paleisti naudojant SICStus Prolog skaičių. Pridėta modelių tikrinimas Pavyzdžiui, naudojant coinduction, coroutining ir suvaržymai.
• Atnaujinta & quot; metapredicates & quot; pavyzdys su mėginio kodą, iliustruojantis, kaip apibrėžti pakuotes už bagof / 3 ir setof / 3 built-in metodų, kai meta argumentas gali būti egzistenciškai kvalifikuotus kintamuosius.
• Atnaujintas & quot; cc & quot; Pavyzdžiui, ištaisyti predikato sąvokų apibrėžimus kelis back-end Prolog sudarytojų ir pridedant keletą pagrindinių vieneto bandymai.
• Atnaujinta & quot; koduotes & quot; pavyzdys su ribota parama Lean Prolog.
• Pridėta trūkstamus įrašus už meta_non_terminal / 1 direktyvą ir už skambutį // N ne terminalo & quot; padeda & quot; pavyzdys.
• Pridėta analizatorius už PDDL 3.0 failus, prisidėjo Robert Sasak.
• Pridėta kodas lankstymo paramą SubEthaEdit teksto redaktoriumi. Pridėta kodas lankstymo paramą lygtinio rengimo blokų su Kate vim ir textmate teksto redaktoriai.
• Atnaujinta integracijos scenarijai siekiant įkelti biblioteka keliai byla prieš pakraunant Logtalk kompiliatoriaus / runtime. Šis pokytis siekiama supaprastinti krovimo Bibliotekininkystės ir pvz failus iš nustatymų failus. Be to, taip pat ieškoti Logtalk diegimo katalogą $ HOME / share kai LOGTALKHOME aplinkos kintamąjį nėra apibrėžta.
• Atnaujinta "Windows Installer", siekiant remti Lean Prolog ir aptikti Yap 64 bitų versijas.

Kas naujo versija 2.43.0:.

• Pridėta eksperimentinės parama "Lean Prolog"
• Panaikintas Logtalk sudarytojas apribojimas, kad priversti Neskarošs / 1 ir dinaminius / 1 direktyvas prieš skambučių į deklaruotą predikatai.
• Pagerinti Logtalk sudarytojas ataskaita misspelt skambučių į ne terminalus gramatikos taisykles. "
• leisti naudoti.: / 1 Valdymo statyti ant gramatikos taisyklių kūno;
• Kai derinimo nurodytus Naudojamos / 2 direktyvų pranešimus, pranešimas dabar yra spausdinama netiesiogiai kvalifikuoti kaip šaltinio kodas parašytas vartotojas.
• Pasikeitė vidaus predikatai naudojami built-in multi-Threading predikatai siekiant palengvinti integraciją su aukšto lygio derinimo priemonių, kurios reikalauja dekompiliavimu generuojamo Prolog kodas.
įgyvendinimo
• ištaisyta keletas bibliotekoje paramos vieneto bandymai klaidą, & quot;. Lgtunit & quot ;, kai bandymai išimtis būtų nepriimti jokių išimčių terminą kaip atitinkantis įrenginys bandymų specifikacijas;
• Atnaujintas & quot; cc & quot; pavyzdys su klaidų ir patobulinimų Eclipse prisidėjo Joachim Schimpf, su klaidos pataisymas SDI-Prolog įgyvendinimo expand_path / 2 predikato (atsiranda naujausių pakeitimų į SDI-Prolog absolute_file_name / 3 built-in pirminį) ir su apibrėžimas už command_line_arguments / 1 predikato B-Prolog.
• Atnaujinta & quot; coinduction & quot; Pavyzdžiui, galite pridėti šiek tiek daugiau individualių pavyzdžių.
• Atnaujintas & quot; xml_parser & quot; indėlis siekiant PROBLEMOS SPRENDIMAS perkeliamumo klausimus su GNU Prolog.
• ištaisyti klaidą kai apvalkalo scenarijus, kur & quot; # / bin / bash & quot; buvo naudojamas vietoj & quot; #! / bin / bash & quot ;. Ačiū Yiorgos Adamopoulos kaip pranešimą apie ydą.
• Atnaujintas "Inno Setup GUI" Windows Installer "scenarijų, kad būtų galima visą diegimą ne admin vartotojams.
• Pridėta sintaksės spalvinimas parama ISO Prolog direktyvos apima / 1 visų palaikomų teksto redaktorių ir sintaksės markeriai.
• Ištaisyta kai kurių klaidų skirtuką paleidžia už Gedit Logtalk fragmentus, kad užkirsti kelią jų naudojimą.
• Pasikeitė atgal naudojant XEP vietoj FOP generuojant PDF versijas vartotojui ir žinynai, kaip FOP nukerta kai kurių puslapių turinį.

Kas naujo versija 2.42.4:

• papildė entity_prefix / 2 tarinys ir dvi komunalinių predikatai, decompile_predicate_heads / 2-4 ir decompile_predicate_indicators / 2-4, prie & quot; logtalk & quot; įmontuotą objekto. Žymėjo decompile_predicate_head / 4 ir decompile_predicate_indicator / 4 kaip atgyvenę.
• Pridėta parama išsaugoti informaciją operatorių apimties paskelbė naudojant taikomos Direktyvos metu kompiliavimo metu. Pridėta informacija apie asmens deklaruota operatorius XML dokumentavimo failus. Atnaujinta tekstas, pdf, ir (X) HTML perskaičiavimo scenarijus atsispausdinti operatoriaus informaciją.
• Taikomieji keliais žemo lygio optimizavimas į Logtalk kompiliatorių / aplinką.
• Perkelta vidaus predikatai, kad statyti ir pasiekti tarinys vykdymo kontekstą iš sudarytojas prologe konfigūracijos failus, siekiant paremti bauda veiklos reguliavimą, kuris yra Prolog sudarytojas priklausomi.
• Atnaujinta sriegiuotų / 1 multi-sriegimo built-in predikato įgyvendinimas, siekiant naudoti mažą optimizavimą remiantis term_variables / 2 built-in pirminių siūlomų Timon Van Overveldt. Šis optimizavimo siekiama sumažinti nereikalingą kopiją ir suvienijimą sąlygomis. Be to, pakeisti ir setup_call_cleanup / 3 built-in predikato su sugavimo / 3 built-in predikato naudoti supaprastinti valdymą tiek valdančiojo ir pavaldinio temas, kurios taip pat pagerina efektyvumą.
• Ištaisyta klaida, atsižvelgiant į sriegiuotų / 1 multi-sriegimo built-in predikato jei nepateikus vartotojas patikslinti nepriklausomus tikslų bandant naudoti nepriklausomą ir-lygiagretumas lemtų Zombie temas įgyvendinimą.
• Daugiau informaciniai išimtis terminai bandant paskelbti sinchronizuoti predikatą kaip dinamiškas ar dinaminis tarinys, kaip sinchronizuoti.
• Atnaujintas XSB config failą, siekiant paremti modulių kaip objektai kompiliaciją. Pridėta dėl dingusio setup_call_catcher_cleanup / 4 built-in predikato apibrėžimo. XSB 3.3 (arba naujesnė versija) dabar reikia suderinamumo su Logtalk.
• Atnaujinta SDI-Prolog config failą, siekiant suteikti ribotą paramą arithmetic_function / 1 patentuota direktyvos (aritmetinis funkcijos kompiliavimas kaip pasaulinė, o ne kaip vietos į objektus ar kategorijų juos apibūdinančių).
• Atnaujintas Yap config failą, kad būtų ignoruoti style_check / 1 direktyvą ir aiškinti yap_flag / 2 Direktyva kaip set_prolog_flag / 2 direktyvą.
• Pasikeitė numatytąją XSL-FO procesorius (naudojamas generuoti PDF versijas vartotojui ir žinynai) iš XEP į FOP.
• Atnaujintas & quot; xml_parser & quot; indėlis siekiant PROBLEMOS SPRENDIMAS perkeliamumo klausimus su Qu-Prolog, SICStus Prolog ir XSB.
• Atnaujinta & quot; koduotes & quot; pavyzdžiui, siekiant užtikrinti, kad yra prieš kodavimo / 1 direktyvoje nėra tarpus.
• Atnaujinta & quot; attvars & quot; pavyzdys, siekiant paremti B-Prolog ir XSB. Taip pat papildoma parama naudojant priskirtus kintamuosius per Logtalk parametrinių objektų ir parametrinių kategorijų. Ačiū Jan Wielemaker, VATOR Santos Costa ir Bart Demoen grįžtamojo ryšio ir įgyvendinimo pasiūlymus.
• Atnaujinta & quot; profilers & quot; pavyzdys su preliminariu paramos į vykdymo profiliavimo pokyčių SICStus Prolog 4.2 versija.
• Atnaujintas & quot; plėsti & quot; pavyzdys su Morzės abėcėlė, kaip derinti term- ir tikslą plėtros apibrėžimai iš įvairių kabliukų objektų imties.
• Atnaujinta & quot; coinduction & quot; Pavyzdžiui, pridedant eksperimentinį keysort / 2 coinductive predikatą. Ačiū Jan Birža už pasiūlymą.
• Atnaujinta & quot; tak & quot; kelių sriegimo pavyzdį kai trūksta supjaustyti lemtų greitai alinantis vietos kamino, kai naudojant SDI-Prolog dėl labai daug nereikalingų pasirinkimo kiekis kūrimą.
• Atnaujinta & quot; mtbatch & quot; kelių sriegimo pavyzdį, siekiant suteikti išplėstą lyginamąją analizę & quot; tak & quot; pavyzdys.
• Atnaujintas DarwinPorts portfile ir scenarijų, kuris ją atnaujina, siekiant pašalinti iš MD5, kuri yra palaipsniui nutraukiamas iki DarwinPorts apskaičiavimas.
• Atnaujintas "Inno Setup GUI" Windows Installer "scenarijų, siekiant apeiti klaidą su SDI-Prolog Windows montuotojams, kur pašalinti procedūra NEPAŠALINTOS SDI-Prolog raktus iš Windows registre.

Kas naujo versija 2.42.3:

• Leisti dinaminiai predikatai deklaruotos į kategorijas būti vadinamas į & quot; tai & quot; nuo per kategorijas. Ankstesnėse versijose, tokie kvietimai lemtų kompiliavimo laiko klaida, verčia šiuos predikatai turi būti vadinama & quot; save & quot; (Naudojant :: / 1 pranešimas siuntimo kontrolės konstruktą).
• patalpintas Logtalk sudarytojas parama anksto parengta išlygos galvų (naudojant {} / 1 Valdymo konstruktą). Ši funkcija yra daugiausia naudinga, kai naudojate terminas praplėtimo mechanizmas.
• Ištaisyta klaida, dėl kodas, kuris supaprastina predikatų sąlygos generuoja iš gramatikos taisyklių rengimo. Kodeksas kilpą, kai gramatikos taisyklė, įtvirtinta meta-kintamasis, kurį Logtalk sudarytojas turėtų (bet šiuo metu nėra) ataskaitoje kaip neteisėtas (skambutis / 1 valdymo konstruktas turėtų būti naudojama vietoj šiuo atveju).
• Supaprastinta skambučių į pseudo-objekto & quot kontekste rinkinys; vartotojas & quot;.
• Pridėtas Vidinėklaida & quot; P & quot; į Logtalk built-in išriktuotojo. Ši komanda atspaudai dabartinį tikslą naudojant spausdinimo / 1 predikatą jei tokios yra. Pervadinta Vidinėklaida "q & quot; & quot; Q & quot ;. Ištaisyta klaida, kai Vidinėklaida & quot; w & quot; nebūtų pripažintas. Pasikeitė išriktuotojo Command & quot; D & quot; cituojant sąlygas, kai būtina.
• Pridėta dalinį įgyvendinimą ISO Prolog predicate_property / 2 predikatą Eclipse config failą.
• Atnaujinta SDI-Prolog config failą, siekiant pašalinti klaidingą deklaraciją bibliotekos meta predikatai dde_register_service / 2, laiko / 1, ir kai / 2 kaip built-in meta predikatai.
• Taikomoji klaidų taisymas į & quot; vėliavų & quot; indėlis prieinami jos autorius, Theofrastos Mantadelis. PROBLEMOS SPRENDIMAS suderinamumo problema su GNU Prolog.
• Pridėta memberchk / 2 predikatą bibliotekoje & quot; setp & quot; protokolas ir & quot; nustatyti & quot; objektas. Pridėta predikatai is_control / 1, is_newline / 1, ir is_end_of_line / 1 bibliotekai & quot; characterp & quot; ir & quot; charakteris & quot; subjektai.
• Pridėta eksperimentinės pavyzdį naudojant priskirtus kintamuosius per Logtalk objektų ir kategorijų. Šiuo metu reikalauja Yap ar SDI-Prolog naudoti kaip back-end Prolog sudarytojas.
• Pridėta parama indexicals į & quot; apribojimų / sicstus & quot; pavyzdys.
• Extended & quot; delegatai & quot; pavyzdys su atrankos įgyvendinimas delegator naudojant parametrinio objektą.
• Extended & quot; dynpred & quot; pavyzdys siekiant parodyti, kaip apibrėžti kategorijos predikatai, kurie tvarko dinaminius predikatai į & quot kontekste; tai & quot; ir į & quot kontekste; savarankiškai & quot;.
• Pridėta wall_time / 1 predikatą į & quot; cc & quot; pavyzdys.
• atnaujino sintaksės tyrimo failus, pridėti trūkstamą true / 0 ir nesugeba / 0 kontrolės konstruktus.

Kas naujo versija 2.42.2:

• Atnaujintas Logtalk kompiliatorių, kad būtų galima tikrinti modulis predikato savybės nereikalaujant importuoti predikatai į & quot; vartotojui & quot; (Pastaba, tačiau, kad modulis dar turi būti pakrautas iki šaltinio failus paskambinus modulio predikatai rengimo).
• Atnaujintas Logtalk kompiliatorių, siekiant patikrinti kompiliavimo laiko priderinta uždarymo argumentus budi / 2-N tikslų bendrų programavimo klaidų.
• Atnaujintas Logtalk kompiliatorių, siekiant sukurti įspėjimai lambda išraiška su kintamųjų, kurie nedeklaruoja arba kaip nemokamai kintamųjų ar lambda parametrus arba su kintamųjų, kurie yra deklaruojami kaip abiejų laisvų kintamųjų ir lambda parametrus. Ačiū Jan Birža už tai rodo šios normalumas patikrinimus.
• Atnaujintas Logtalk runtime siekiant remti naudojant & # x3c; & # x3c; / 2 valdymo statyti į uždarymo meta argumentus meta predikatai,
.
• Pridėta parama renkant nemokamai / Tikslų liambda išraiška skambučiai (automatiškai generuoja pagalbinį predikatą kai tai įmanoma).
• Pridėta compile_aux_clauses / 1 viešąjį metodą, remiantis predikato su to paties pavadinimo SDI-Prolog, į vidinę objekte & quot; logtalk & quot ;. Šis metodas paprastai vadinamas iš goal_expansion / 2 kabliukais siekiant kaupti pagalbinių sąlygos sukurtas remiant išplėstą tikslą.
• Pridėta meta-tarinys ignoruoti / 1, kai kurių Prolog sudarytojų kaip built-in predikato įgyvendinta, kaip Logtalk built-in metodas.
• Atnaujinta SDI-Prolog config failą, kad būtų užkirstas kelias automatinį pakrovimo modulis bibliotekose, kai užklausų predikato savybės iš Logtalk.
• Atnaujinta qu-Prolog, SICStus Prolog ir XSB config failus tam, kad padaryti prieinamas tarinys term_variables / 2 kaip ISO built-in predikato.
• Atnaujinta qu-Prolog integracijos scenarijai siekiant padvigubinti krūvos dydžio vertę sudarant Logtalk kompiliatoriaus / runtime, sprendžiant paleisties avariją.
• atkūrė MacOS X komandų failas GNU Prolog (pakilo nuo & quot; scripts / macosx / command_files / nepalaikomo & quot; aplanką).
• patalpintas predikatai findall_member / 4-5 į bibliotekos objektą quot; meta & quot; (Remiantis Richardo O'Keefe anketa Prolog bibliotekos pasiūlymo projekto). Pašalinta deklaraciją ir apibrėžimo predikatai pirmalaikio išpirkimo / 1 ir ignoruoti / 1 iš bibliotekos subjektų & quot; metap & quot; ir & quot; Meta & quot; (Pareikalavimo / 1 yra built-in tarinys visų palaikomų Prolog sudarytojų; ignoruoti / 1 dabar yra Logtalk built-in metodas),
.
• Pridėta library objektą, & quot; meta_compiler & quot ;, kuris gali būti naudojamas kaip kablio objektą išplėsti skambučius apibrėžtiems bibliotekos objektą quot meta predikatai meta & quot; siekiant išvengti meta skambučių pridėtines išlaidas. Remdamasis šiais atvejais, kai meta tarinys skambutis negali būti optimizuotas, numatytasis apibrėžimas ant & quot; meta & quot; objektas yra naudojamas. Naudojant kontrolės konstruktus kaip meta argumentų nėra (kol kas) pritarė. Nebaigta.
• Pridėta protokolą, & quot; loggingp & quot ;, ir kategorija ir objekto realizacijos, & quot; miško ruoša & quot; ir & quot;. kaupiklis & quot ;, deklaravimo ir apibrėžiant pagrindinę funkcionalumą prisijungti renginius failus į biblioteką;
• Pridėta protokolą, & quot; intervalp & quot ;, ir objektą, & quot; intervalą & quot ;, deklaravimo ir apibrėžiant pagrindinius laiko intervalą santykius į biblioteką (remiantis James F. Allen Intervalas Algebra darbo)
.
• Pridėta kategoriją įgyvendinant pavadintas sveikasis skaitikliai, & quot;. Skaitikliai & quot ;, į biblioteką;
• Pridėta predikatai proper_prefix / 2 ir proper_suffix / 2 į biblioteką subjektų & quot; listp & quot ;, & quot; list & quot ;, ir & quot; difflist & quot;.
• Pridėta tarinys perkelti / 2 bibliotekos objekto & quot; poras & quot;.
• Pridėta du pseudo-pavyzdžių bandymų tikslais, & quot; lambdas_compiled & quot; ir & quot; metapredicates_compiled & quot ;, kad pasinaudoti nauja bibliotekos objektą;
• & quot; meta_compiler & quot;.
• Atnaujintas & quot; plėsti & quot; pavyzdys tam, kad parodyti, kaip apibrėžti ir sujungti kablys objektus.
• Pridėta parama naudojant SyntaxHighlighter paketą (versija 3.0.83 arba naujesnė) Alex gorbatchev su Logtalk kodą.
• Pridėta trūkstamą sintaksės spalvinimas iš kitur / 0 sąlyginis kompiliacija direktyva GNU Source akcentas paryškinimo paramą.
• Pridėta pastaba dėl Logtalk teksto redagavimo paramos rasti laisvo MacOS X Kod teksto redaktoriumi.
• Pridėta sintaksės spalvinimas parama naujas ignoruoti / 1 built-in metodą visų palaikomų teksto redaktorių ir sintaksės markeriai.

Kas naujo versija 2.42.1:

• Pridėta parama Logtalk sudarytojas aptikti ir ataskaitų be dinaminių / 1 ir Neskarošs / 1 predikatų direktyvas.
• Pridėta naują pūkelių vėliava, & quot; missing_directives & quot ;, su numatytąją vertę iš & quot; įspėjimą & quot ;, visiems konfigūracijos failus. Ši vėliava leidžia spausdinti sudarytojas įspėjimų be dinaminių / 1, Neskarošs / 1, ir multifile / 1 predikatų direktyvas.
• Pridėtas naujas meta tarinys šablonas režimo rodiklius: (/) už predikatų rodiklį [/] dėl pirminių rodiklių sąrašą, ir [0] už tikslų sąrašą,
.
• Ištaisyta klaida į Logtalk sudarytojas tikrinant meta predikatų nuorodos straipsnio galvas už klaidas, jei & quot; :: & quot; meta argumentas režimo indikatorius vis dar buvo aiškinama kaip & quot; 0 & quot;.
• Ištaisyta klaida į uždarymo tvarkymo (meta-skambučius), kurie naudojami kuriant skambučius kontroliuoti konstruktus ar įmontuotą predikatai, kurie gali sukelti skambina kai meta argumentus netinkamoje kontekste. Ačiū Ulrich Neumerkel už iliustruojantis pavyzdžiui, SDI-Prolog pašto adresų sąrašą.
• Atnaujintas Logtalk kompiliatorių, siekiant išvengti spausdinimo įspėjimus apie trūkstamus nuorodas į & quot; plečia & quot; ir & quot; stebėti & quot; built-in protokolų, rengdami modulius objektų.
• Grąžino versijos 2.39.2 pokyčius, kurie leido pseudo-objektų & quot; vartotoją & quot; kad virtualiai yra visų Prolog built-in predikatai apibrėžimą. Tai gali duoti skirtingus rezultatus priklausomai nuo back-end Prolog sudarytojas, specialiai, kai skambinama meta predikatai į & quot kontekste; vartotojas & quot;.
• Ištaisyta klaida į SDI-Prolog & quot; swihooks.lgt & quot; failas, kuris lėmė fiktyvios klaidos pranešimą apie netinkamą Logtalk vėliava Kreipdamiesi į Prolog failą, kai yra Logtalk šaltinio failas su to paties pavadinimo tame pačiame kataloge.
• Pridėta trūkstama parama nuosavybės built-in meta predikatai į B-Prolog, SICStus Prolog, SDI-Prolog, XSB ir YAP konfigūracijos failus.
• Atnaujintas SICStus Prolog, SDI-Prolog ir YAP config failus siekiant nepaisyti meta-tarinys šablonus už pasikonsultuoti / 1 ir load_files / 2 įmontuotą predikatai.
• Pridėta žinutę apie map_reduce / 5 meta-predikato įgyvendinimą į bibliotekos objektą quot; meta & quot;.
• Pridėta žinutę A command_line_arguments / 1 tarinys į & quot įgyvendinimą; cc & quot; pavyzdys.
• Atnaujinta & quot; lambdas & quot; ir & quot; metapredicates & quot; pavyzdžiai, iliustruojantys, kaip apskaičiuoti Fibonačio skaičiai naudojant kartus kairįjį meta-predikatą. Atnaujinta & quot; metapredicates & quot; pavyzdys su naudojimo pavyzdys, map_reduce / 5 meta-predikato.
• Atnaujinta & quot; problog & quot; Pavyzdžiui, pridedant išankstinę paramą naujos komentuojami Atskyrimas sintaksė.
• Pridėta & quot; magija & quot; elementas į Logtalk MIME tipo faile freedesktop.org pasidalino MIME-info duomenų bazę.

Kas naujo versija 2.42.0:.

• Pridėta žinutę patvarių objekto vėliavų įgyvendinimą
• Pridėta nauja pora built-in predikatai, conforms_to_protocol / 2-3, įgyvendinant tranzityvūs uždarymo Protokolo įgyvendinimo atžvilgiu.
• Pridėta eksperimentinės direktyvą, anotacijos / 1, remti Logtalk integraciją su kitomis kalbomis, pavyzdžiui, ProbLog ir Chr.