Logtalk

Logtalk is 'n oop bron objek-georiënteerde uitbreiding van die Prolog programmeertaal. Integrasie logika programmering met objek-georiënteerde en gebeurtenis gedrewe programmering, dit is verenigbaar met die meeste Prolog opstellers.
Logtalk ondersteun beide prototipes en klasse. Daarbenewens, dit word ondersteun komponent-gebaseerde ontwikkeling deur kategorie-gebaseerde samestelling

Eienskappe :.

• Skeiding tussen jou en implementering:
• Predikaat voorskrifte (verklarings) vervat kan word binne protokolle (interfaces), wat deur enige voorwerp geïmplementeer kan word.


• Parametriese voorwerpe:
• Object name kan wees saamgestelde terme wat vry veranderlikes wat gebruik kan word voorwerp predicaten te parametrize.


• Ondersteuning vir beide die klas-gebaseerde en prototipe-gebaseerde stelsels:
• Jy kan hê, in dieselfde aansoek, klas-gebaseerde hiërargieë (met Instantiëring en spesialisasie verhoudings) en prototipe-gebaseerde hiërargieë (met die uitbreiding verhoudings).


• Ondersteuning vir verskeie voorwerp hiërargieë:
• Jy hoef nie te beperk tot 'n enkele lang hiërargie gewortel in sommige generiese voorwerp.


• Privaat, beskerm, en openbare erfenis:
• Logtalk ondersteun private, protected, en openbare erfenis in 'n manier soortgelyk aan C. Verder, kan enige entiteit betrekking gekwalifiseer word met behulp van 'n omvang navraag.


• Privaat, beskerm, en openbare voorwerp predicaten:
• Stel die omvang van jou voorwerp Predikaten jou protokol ontwerp aan te pas en laat die runtime stelsel jou keuses dwing.


• statiese en dinamiese voorwerpe:
• voorwerpe kan óf staties of dinamies. Statiese voorwerpe word gedefinieer in bronkodelêers wat saamgestel en gelaai in die dieselfde manier as Prolog lêers. Dynamic voorwerp kan óf gedefinieer word in die bron lêers of geskep tydens looptyd.


• statiese en dinamiese voorwerp predicaten:
• Enige statiese voorwerp kan bevat beide statiese en dinamiese predicaten.


• 'n pre-verwerker, sodat ons kan die standaard Prolog sintaksis gebruik:
• Logtalk gebruik van die standaard Prolog sintaksis met die toevoeging van 'n paar operateurs en voorskrifte vir 'n gladde leer kurwe.


• gebeurtenis gedrewe programmering:
• Predikaten kan implisiet genoem word wanneer 'n verken gebeurtenis plaasvind, sodat ontwikkeling oplossings wat verminder voorwerp koppeling. Daarbenewens gebeure ondersteuning bied vir gedrags besinning.


• komponent-gebaseerde programme:
• Predikaten kan saamgevat word in kategorieë, wat kan feitlik ingevoer word deur enige voorwerp, sonder enige kode duplisering en ongeag voorwerp hiërargieë. Dus, kan voorwerpe gedefinieer word deur die samestelling van die kategorieë, wat optree as fyn eenhede kode hergebruik.


• Multi-erfenis ondersteuning:
• Logtalk ondersteun multi-erfenis van beide protokol en implementering. 'N voorwerp kan 'n paar protokolle te implementeer en uit te brei, spesialiseer, of instansieer verskeie voorwerpe. Multi-erfenis konflikte implisiet opgelos deur die Logtalk lookup algoritmes of uitdruklik deur die gebruik van gesegde riglyne.


• Goeie prestasie:
• Logtalk kode is saamgestel met behulp van dieselfde tegnieke wat jy gebruik doeltreffende Prolog kode te skryf. Daarbenewens is metode soektogte kas deur die Logtalk runtime enjin, grootliks die verbetering van prestasie. Maatstaf resultate vir 'n paar Prolog opstellers is hier beskikbaar.


• Close integrasie met die ISO Prolog Standard:
• Logtalk is ontwerp vir 'n gladde integrasie met enige Prolog samesteller wat voldoen of nou volg die ISO Prolog Standard.


• Versoenbaar met die meeste Prolog opstellers:
• Logtalk koppelvlakke met 'n spesifieke Prolog samesteller via 'n minimale konfigurasielêer maak dit verenigbaar met byna enige moderne samesteller.


• Outomatiese generasie van XML dokumentasie lêers:
• Logtalk genereer outomaties 'n dokumentasie lêer in XML-formaat vir elke saamgestel voorwerp, protokol, of kategorie. Die stelsel sluit al die nodige XSL (T) lêers en skrifte te omskep dokumentasie lêers (X) HTML en PDF.
• Logtalk loop op byna enige rekenaar met 'n Prolog samesteller (die belangrikste ontwikkeling omgewing is 'n Apple Book G4 hardloop MacOS X). Die skakeling tussen Logtalk en 'n spesifieke Prolog samesteller word bereik deur 'n konfigurasielêer.
• Die lêer bevat sommige Logtalk spesifieke predicaten en implementering vir ISO Prolog standaard Predikaten nie beskikbaar in die Prolog samesteller.


• In die skryf van Logtalk Ek het probeer om die Prolog ISO standaard te volg waar moontlik. Vermoëns wat nodig is deur Logtalk wat nie gedefinieer in die Deel I van die ISO standaard is:


• toegang eienskappe (dinamiese, statiese, built_in) om predikaat:
• Met dien verstande dat jou gunsteling Prolog het hierdie vermoëns hierbo genoem, 'n konfigurasielêer is baie maklik. Die Logtalk pakket sluit reeds opset lêers vir die mees algemene Prolog opstellers. Vir optimale prestasie, Logtalk vereis dat die Prolog samesteller ondersteun die eerste argument indeksering vir beide statiese en dinamiese code.


• Logtalk Develop en toetsing is tans uitgevoer met behulp van die volgende Prolog vertalers (in alfabetiese volgorde):
• GNU Prolog 1.2.18
• SWI Prolog 5.4.7
• Yap 4.5.7
• As gevolg van dat, dit is waarskynlik jou beste keuses vir die uitvoer van Logtalk (op voorwaarde dat jy vry is een van hierdie opstellers te gebruik).


• Verder Logtalk loop met min of geen veranderinge aan die volgende Prolog vertalers (in alfabetiese volgorde):
• AS Prolog 3.1
• Amsi! 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
• AS / Prolog 5.x
• JIProlog 3.0.1-2
• K-Prolog 5.1.2a
• LPA MacProlog32 1.25
• LPA WinProlog32 4.0x
• MasterProlog 4.1
• Open 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

Wat is nuut in hierdie release:

• Gemodifiseerde die boodskap te stuur meganisme om die & quot te noem; voor & quot; event handlers voor die verrigting van die metode lookup. Hierdie verandering moet geen impak op die bestaande kode het nie, maar kan 'n paar interessante programme (bv misluk in plaas van die gooi van 'n uitsondering wanneer 'n boodskap nie verstaan).
• Meer konsekwent hantering van samesteller vlae tussen die opstel vlag waardes wanneer die opstel / laai 'n lêer en wanneer die gebruik van die set_logtalk_flag / 2 ingeboude gesegde: in beide gevalle, die opstel van die & quot; smart_compilation & quot; vlag op sal afskakel die & quot; skoon & quot; vlag en die opstel van die & quot; skoon & quot; vlag op sal afskakel die & quot; smart_compilation & quot; vlag. Ook, die opstel van die & quot; debug & quot; vlag op sal afskakel beide die & quot; smart_compilation & quot; en & quot; skoon & quot; vlae.
• Laat die sagte sny beheer konstruk, (* - & gt;) / 2, wanneer native ondersteun deur die back-end Prolog samesteller, om gebruik te word in die liggaam van die grammatika reëls (na 'n opmerking van Daniel Diaz terwyl bespreek GNU Prolog ondersteuning vir die sagte-cut beheer konstruk).
• Reggemaak n Logtalk samesteller fout wanneer die & quot; source_data & quot; vlag is met back-end Prolog opstellers waar is nie moontlik om die posisie van 'n lees termyn te haal.
• Reggemaak 'n fout in die samestelling van die meta_non_terminal / 1 richtlijn waar slegs die eerste meta-argument sou korrek verwerk word.
• Opdateer die verduistering config lêer op te spoor wanneer loop op Windows 64 stukkies en nie-predikaat en nie-operateur uitvoere te ignoreer wanneer pre-verwerking lib / 1 riglyne.
• Opdateer die eenheid toets raamwerk meer insiggewende boodskappe misluk eenheid toetse te druk.
• Bygevoeg gesegde verdeel / 4 (vir 'n verdeling van 'n lys in sublists met 'n gegewe lengte) aan die & quot; listp & quot ;, & quot; & quot ;, lys en & quot; difflist & quot; biblioteek entiteite.
• Opdateer die & quot; cc & quot; byvoorbeeld met 'n definisie vir die dop / 2 gesegde vir CxProlog.
• Verander die name van die voorwerpe in die & quot; mi & quot; byvoorbeeld 'n naam om konflik te vermy wanneer die loop van die voorbeeld eenheid toetse.
• Reggemaak 'n fout in die Windows installeerder wat verhoed het dat die opsporing van Yap 64 stukkies weergawes. Danksy Stepan Ipatov vir die fout verslag.
• Reggemaak 'n fout in die Windows installeerder te verhoed dat gebruikers van die opstel van die installasie gids. Danksy Daniel Moniz vir die fout verslag en Gavin Lambert vir die diagnose van die fout.
• Opdateer die Windows installeerder script vir verbeterde opsporing van XSB en die standaard net die per-gebruiker lêers te installeer wanneer loop deur 'n nie-admin gebruiker op 'n rekenaar waar Logtalk is reeds geïnstalleer.
• Bygevoeg basiese ondersteuning vir die LaTeX & quot; lyste & quot; pakket. Bygevoeg aantekeninge oor die & quot; geslaan & quot; en & quot; texmates & quot; LaTeX pakkette.
• Bygevoeg aantekeninge oor die Textastic iPad teks editor.
• Bygevoeg basiese sintaks kleur en kode vou ondersteuning vir die also use Ultra Edit teks editor.
• Opdateer die TextMate bundel die outomatiese streepje regstellings wat in die ontwikkeling weergawe van TextMate 2.0 uit te skakel.

Wat is nuut in die weergawe 2.44.0:

• Verander die semantiek van aanvulling kategorieë te laat lap beide predikaat verklarings en gesegde definisies van aangevul voorwerpe. Dit word bereik deur te verseker dat predikaat verklaring en definisie soektogte begin by die aanvulling kategorieë voor te kyk na die aangevul voorwerp self of in sy verwante entiteite.
• Opdateer die Logtalk samesteller om 'n waarskuwing te genereer wanneer 'n aanvulling kategorie vir 'n aangevul voorwerp wat saamgestel is met die ondersteuning vir die aanvulling kategorieë afgeskakel.
• Reggemaak 'n fout in die verwerking van meta-oproepe vir meta-predicaten waar die roeping konteks sou word & quot; hierdie & quot; in plaas van & quot; sender & quot; Wanneer 'n meta-argument was een van die :: / 2, {} / 1,

Wat is nuut in die weergawe 2.43.3:

• Verander die samesteller die gebruike in ag te neem / 2 richtlijn by die opstel van oproepe na die weerspieëling ingeboude metodes. Hierdie verandering strek die semantiek van die gebruike / 2 richtlijn en maak dit makliker om migrasie van plain Prolog aansoeke te Logtalk.
• Opdateer die implementering van die predicate_property / 2 ingeboude metode, voeg 'n omvang / 1 eiendom.
• Opdateer die Logtalk samesteller inligting by te voeg oor 'n bron lêer naam, bron lêer gids, en 'n bron lêer samesteller opsies aan die gegenereer Prolog lêers. In vorige weergawes, is hierdie inligting slegs geregistreer wanneer die laai van 'n bron lêer. Die veranderinge vereenvoudig gebou aansoeke waar Logtalk biblioteke is pre-saamgestel en pre-gelaai.
• Opdateer die Logtalk samesteller die naam van die haak voorwerp gebruik in die samestelling van die bron lêers te druk wanneer die & quot; haak & quot; samesteller vlag word gedefinieer.
• Opdateer die ingeboude debugger om onnodige keuse punte geskep deur back-end Prolog opstellers wie trek / 1 implementering versuim om voordeel te trek van 'n logiese update semantiek oproepe deterministiese te maak om te verhoed dat.
• Reggemaak 'n fout in die Logtalk samesteller runtime hanteerder waar dit misluk interne entiteit ID te afbreek wanneer gooi entiteit bestaan ​​uitsonderings.
• Opdateer die Lean Prolog opstelling lêer, indeks / 1 voorskrifte voeg vir 'n paar van die dinamiese predicaten wat gebruik word deur die interne Logtalk runtime tafels.
• Opdateer die SWI-Prolog integrasie lêers te toets vir die beskikbaarheid van die indeks / 1 richtlijn, wat afgekeur is deur die nuwe eksperimentele SWI-Prolog ondersteuning vir net-in-time multi-argument kruip.
• Added Predikaten subopeenvolging / 4 (vir die opwekking van deelstringe van 'n lys met 'n gegewe lengte), vervang / 4 (vir die vervanging van elemente in 'n lys), en hamming_distance / 3 na die biblioteek & quot; listp & quot; en & quot; lys & quot; entiteite.
• Bygevoeg euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, en scalar_product / 3 predicaten na die biblioteek & quot; numberlistp & quot; en & quot; numberlist & quot; entiteite.
• Reggemaak paar dom foute in die definisie van die & quot; karakter & quot; biblioteek voorwerp is_bin_digit Predikaten / 1, is_octal_digit / 1, is_dec_digit / 1, en is_hex_digit / 1.
• Opdateer die biblioteek & quot; all_loader.lgt & quot; loader lêer ook laai die & quot; meta_compiler_loader.lgt & quot; loader lêer.

Wat is nuut in die weergawe 2.43.1:

• Verander die samesteller die gebruike in ag te neem / 2 richtlijn by die opstel van oproepe na die databasis ingeboude metodes. Hierdie verandering strek die semantiek van die gebruike / 2 richtlijn en maak dit makliker om migrasie van plain Prolog aansoeke te Logtalk.
• Bygevoeg eksperimentele ondersteuning vir die gebruik van 'n predikaat sjabloon as argument aan die coinductive richtlijn / 1. Hierdie sjabloon kan die spesifikasie van wat argumente is betekenisvol vir coinductive sukses. Gebaseer op 'n soortgelyke funksie wat op op Feliks Kluzniak se DRA meta-tolk.
• Verbeterde ondersteuning vir die opsporing van coinductive predicaten wanneer die gebruik van die Logtalk ingeboude debugger.
• verwyder coinduction ondersteuning vir CxProlog. Die huidige weergawe van hierdie samesteller nie 'n sagte-cut ingeboude predikaat of beheer konstruk is, wat nou deur die eksperimentele coinduction implementering.
• Lifted 'n lang beperking wat verhoed het dat die gebruiker definisie van wrapper predicaten vir die bagof / 3 en setof / 3 ingeboude metodes wanneer die doel argument kan die ^ / 2 eksistensiële quantifier gebruik.
• Bygevoeg steun vir die & quot; ^ & quot; meta-predikaat meta-argument af specific voorgestel deur Jan Wielemaker en gevind op SWI-Prolog 5.11.25. Hierdie modus specific is nuttig wanneer die definisie omhulsels vir die bagof / 3 en setof / 3 ingeboude metodes wanneer die doel argument kan die ^ / 2 eksistensiële quantifier gebruik.
• Added & quot; prolog_compiler & quot; en & quot; prolog_loader & quot; samesteller vlae, wat toelaat dat die verbygaan opsies aan die back-end Prolog samesteller ingeboude predicaten saamstel te skyf en laai 'n (saamgestel) Prolog vlag. Die standaard waarde vir beide vlae is die leë lys.
• Reggemaak 'n fout tydens die opstel van oproepe na Prolog eie ingeboude meta- predicaten waar die Logtalk samesteller kan probeer nie meta- argumente as doelwitte te verwerk. Hierdie fout self net gemanifesteer met 'n paar back-end Prolog opstellers soos Eclipse.
• Reggemaak 'n fout in die verwerking van voorwaardelike samestelling riglyne.
• Reggemaak 'n fout wat voorkom verby alias / 3 voorskrifte op oproepe na die create_object / 4, create_category / 4, en create_protocol / 3 ingeboude predicaten.
• verwyder van die gebou-in voorwerp & quot; logtalk & quot; die decompile_predicate_head / 4 en decompile_predicate_indicator / 4 afgekeur metodes.
• Verwyder ondersteuning vir die lang afgekeur Logtalk metapredicate / 1 richtlijn.
• Reggemaak n prestasie fout Wanneer die kas oproepe na kategorie predicaten waar die kas inskrywings kan wees meer spesifiek as nodig wanneer die werk met parametriese kategorieë.
• Verbeterde caching van & quot; super & quot; oproepe van binne prototipes. Voorheen sou al die kas inskrywings gespesialiseerde word deur die waarde van & quot; self & quot; ten einde behoorlik te doen het met die spesiale gevalle waar 'n voorwerp beide instantiates en spesialiseer ander voorwerpe.
• Opdateer die Logtalk samesteller enige operateur verklarings gevind op gesegde omvang voorskrifte tydens die samestelling van die entiteite wat die voorskrifte bevat te aktiveer.
• Verbeterde die prestasie van coinductive predicaten wanneer die gebruik van back-end Prolog opstellers soos SICStus Prolog wat voorsien nie die sagte-cut beheer konstruk, maar bied die sagte-cut ingeboude meta-predikaat (indien / 3).
• Reggemaak 'n fout waar 'n vals verslag saamstel / laai waarskuwings kan gedruk word wanneer 'n bron lêer is saamgestel / gelaai met die samesteller vlag & quot; verslag & quot; afgeskakel.
• Bygevoeg 'n & quot; streamvars & quot; biblioteek voorwerp, afgelei van die bestaande & quot; assignvars & quot; biblioteek kategorie, met ondersteuning vir die toevoeging en herwinning terme (wat veranderlikes mag wees) van 'n & quot; stroom & quot; veranderlike.
• Opdateer die & quot; coinduction & quot; Byvoorbeeld, met behulp van die verhoogde coinductive richtlijn / 1 en die getal van individuele voorbeelde wat kan wees hardloopna die gebruik SICStus Prolog verbreed. Bygevoeg 'n model nagaan byvoorbeeld, met behulp coinduction, coroutining, en beperkings, bygedra deur Neda Saeedloei.
• Opdateer die & quot; metapredicates & quot; byvoorbeeld met voorbeeld kode illustreer hoe omhulsels te definieer vir die bagof / 3 en setof / 3 ingeboude metodes toe die meta-argument eksistensieel gekwalifiseerde veranderlikes bevat.
• Opdateer die & quot; cc & quot; Byvoorbeeld, gesegde definisies regstelling vir 'n paar back-end Prolog opstellers en voeg 'n paar basiese eenheid toetse.
• Opdateer die & quot; enkoderings & quot; byvoorbeeld met beperkte ondersteuning vir Lean Prolog.
• Bygevoeg ontbrekende inskrywings vir die meta_non_terminal richtlijn / 1 en vir die oproep // N nie-terminale na die & quot; help & quot; voorbeeld.
• Bygevoeg 'n ontleder vir PDDL 3.0 lêers, bygedra deur Robert Sasak.
• Added kode vou ondersteuning aan die SubEthaEdit teks editor. Bygevoeg kode vou ondersteuning vir voorwaardelike samestelling blokke aan die Kate, Vim, en TextMate teksredakteurs.
• Opdateer die integrasie skrifte om te laai die biblioteek paaie lêer voor die laai van die Logtalk samesteller / runtime. Hierdie verandering het ten doel om die laai van biblioteek en voorbeeld lêers te vereenvoudig vanaf die instellings lêers. Daarbenewens ook kyk vir die Logtalk installasie gids in $ HUIS / aandeel wanneer die LOGTALKHOME omgewing veranderlike nie gedefinieer nie. Danksy VAtor Santos Costa vir die voorstel.
• Opdateer die Windows installeerder om Lean Prolog te ondersteun en op te spoor Yap 64 stukkies weergawes.

Wat is nuut in die weergawe 2.43.0:.

• Bygevoeg eksperimentele ondersteuning vir Lean Prolog
• verander fout verslagdoening deur die Logtalk samesteller en runtime. Alle uitsondering terme nou gebruik, waar moontlik, die fout (Fout, logtalk (Goal, Entiteit))
• formaat. Verander die interne fout kontrole, waar prakties, die nuwe "$ lgt_must_be '/ 2-3 interne predicaten te gebruik.
• Bygevoeg op 'n & quot; optimaliseer & quot; vlag, wie se standaard waarde is & quot; op & quot ;. Hierdie vlag die gebruiker toelaat om bestaande optimalisaties vir bv om te draai debugging take (die
• tans geïmplementeer optimalisaties sluit die verwydering van oortollige oproepe na waar / 0 van die liggaam van opgestel gesegde klousules en die verwydering van
• oortollige oproepe na (=) / 2 van die liggaam van klousules wat gegenereer word deur die uitbreiding van die grammatika reëls).
• Bygevoeg 'n & quot; source_data & quot; vlag, wie se standaard waarde is & quot; op & quot ;. Met hierdie vlag stel & quot; op & quot ;, Logtalk sal die inligting hou voorgestel word met af / 2,
• info / 1-2, gebruik / 2, en use_module / 2 voorskrifte plus bron plek data (insluitend bron lêer name en lyn nommers), nuttige beide debugging
• en vir integrasie met die ontwikkeling gereedskap. Hierdie vlag kan afgeskakel word ten einde meer kompakte kode te genereer. Die parameter_names / 1 voorwerp en
• kategorie eiendom is ten einde ontslag te vermy verwyder.
• Geïmplementeer beskerm / 1 en private / 1 eienskappe vir voorwerpe, protokolle en kategorieë. Saam met die openbare / 1 eiendom, hierdie eienskappe
• kan die lys van gesegdes verklaar in die entiteit verkry word vir reflektiewe berekeninge. Geïmplementeer verklaar / 2, definieer / 2, sluit / 3,
• en bied / 3 eiendomme vir toegang tot die eienskappe van predicaten verklaar en gedefinieer binne 'n entiteit. Verklaring eienskappe sluit line_count / 1, die lyn nommer van die predikaat omvang richtlijn. Definisie eienskappe sluit line_count / 1, die lyn nommer van die hoof van die eerste
• klousule vir die gesegde, en number_of_clauses / 1, die aantal klousules vir die gesegde. Ook geïmplementeer eksperimentele gebruike / 3 en use_module / 3 eienskappe.
• Bygevoeg 'n gesegde eiendom, redefined_from / 1, sodat die gebruik daarvan oor die voorwerp of kategorie wat 'n gesegde definisie wat geherdefinieer word bevat.
• Bygevoeg 'n loaded_file / 3 gesegde na die & quot; logtalk & quot; ingeboude voorwerp, wat komplimenteer die bestaande loaded_file / 2 gesegde en gee toegang tot die
• eksplisiete opsies gebruik wanneer die lêer is saamgestel en gelaai.
• Geïmplementeer samesteller ondersteuning vir die meta_non_terminal / 1 richtlijn en die oproep // N ingeboude in nie-terminale.
• Vereenvoudigde die samestelling van die grammatika reëls deur die verwydering van die ondersteuning vir die hantering van nie-terminale omvang en bestaan ​​foute by die grammatika reël
• vlak in plaas van die predikaat vlak. Alhoewel hierdie funksie nuttige kan wees wanneer die opsporing van grammatika reëls, dit ingewikkeld die integrasie van Logtalk met Prolog-moedertaal ontwikkeling gereedskap.
• Opdateer die Logtalk samesteller ten einde die entiteit klousule plekke op te slaan en maak hierdie inligting beskikbaar is vir die back-end Prolog opstellers.
• Opdateer die Logtalk samesteller ten einde te verhoed genereer onnodige interne catchall klousules vir die predikaat verklaring en definisie tafels vir dinamiese entiteite.
• Opdateer die Logtalk samesteller om te voorkom met behulp van multifile predicaten vir die breek voorwerp inkapseling. 'N primêre verklaring
• entiteit moet bestaan, wat beide 'n omvang en 'n multifile richtlijn vir die gesegde. Daarbenewens, definieer klousules vir 'n multifile
• Entiteit :: Functor / Arity sonder 'n ooreenstemmende multifile / 1 richtlijn nou lei tot 'n samestelling fout in plaas van net 'n waarskuwing.
• verwyder die Logtalk samesteller beperking dat ontevredend / 1 en dinamiese / 1 voorskrifte gedwing oproepe na die verklaarde predicaten voorafgaan.
• Verbeterde die Logtalk samesteller verslag van verkeerd gespel oproepe na nie-terminale in taalreëls.
• toelaat dat die gebruik van die /. 1 beheer bou op die liggaam van die grammatika reëls
• Wanneer debugging boodskappe wat in gebruike / 2 riglyne, die boodskap is nou gedruk implisiet gekwalifiseerde as in die bron-kode wat geskryf is deur die gebruiker.
• verander die interne predicaten gebruik word in die implementering van die gebou-in 'n multi-threading predicaten ten einde die integrasie met te fasiliteer
• 'n hoë-vlak debugging gereedskap wat decompilatie van die gegenereerde Prolog kode vereis.
• Reggemaak 'n fout wat in Logtalk 2.42.4 op die samestelling van entiteit predicaten wat noem gesinchroniseer predicaten. Hierdie fout het gelei tot oproepe
• gemaak plaas aan die nie-gesinchroniseer vorms van die predicaten, wat in 'n ewekansige mislukkings van draad doelwitte sou manifesteer.
• Reggemaak 'n lang staande fout waar 'n runtime-saamgestel meta-oproep binne 'n kategorie sal saamgestel word as 'n oproep tot 'n gesegde van die voorwerp
• die invoer van die kategorie plaas as 'n oproep tot 'n plaaslike kategorie predikaat.
• Reggemaak 'n lang staande fout waar entiteit vlag waardes wat plaaslik met behulp van die set_logtalk_flag / 2 richtlijn sou versuim het om in die entiteit gered word
• saamgestel kode.
• Reggemaak 'n lang staande fout wanneer skaf 'n dinamiese gesegde in 'n nie-prototipe voorwerp waar die skaf / 1 metode sou slaag sonder
• die gesegde wat eintlik afgeskaf.
• Reggemaak 'n fout in die opstel van die korrekte uitvoering konteks toe te bel 'n meta-argument wat vereis dat 'n runtime samestelling in die konteks van
• & quot; sender & quot;.
• Reggemaak 'n fout in die samestelling van eksplisiete gekwalifiseerde oproepe meta-predicaten waar die module kwalifikasie sal laat val van die
tot module
• saamgestel oproep. Let daarop dat hierdie oproepe sal gebruik Logtalk meta-predikaat semantiek (dws die meta-argumente sal in die konteks van die
genoem word
• oproeper) in plaas van die gewone Prolog module meta-predikaat semantiek.
• Reggemaak n fout waar die coinduction stapels is nie geïnisialiseer wanneer die gebruik van die

Wat is nuut in die weergawe 2.42.4:

• Hierdie weergawe sluit samesteller, runtime, en multi- threading prestasie optimalisaties, verbeter samesteller fout boodskappe vir die gesinchroniseer / 1 en dinamiese / 1 riglyne, voeg ondersteuning vir die behoud operateur omvang inligting en uitdruk hierdie inligting aan die outomaties gegenereer XML dokumentasie lêers, voeg nuwe nut predicaten die logtalk voorwerp, verbeter verskeie programmeertale voorbeelde, sluit in 'n oplossing vir 'n SWI-Prolog uninstaller fout op Windows, en funksies port updates vir Qu-Prolog, SICStus Prolog, SWI-Prolog, XSB, en lag.

Wat is nuut in die weergawe 2.42.3:

• Hierdie weergawe voeg ondersteuning vir die roeping van dinamiese predicaten in die konteks van & quot; hierdie & quot; van binne kategorieë, voeg ondersteuning vir die pre-saamgestel klousule koppe, sluit bugfixes en verbeteringe aan die gebou-in debugger, sluit verbeterde biblioteke en voorbeelde, voeg ondersteuning vir indexicals wanneer die gebruik van die SICStus Prolog CLP (FD) biblioteek, voeg 'n eksperimentele voorbeeld van gebruik van toegeskryf veranderlikes binne voorwerpe en kategorieë en funksies port updates vir Eclipse, GNU Prolog, SICStus Prolog, en SWI-Prolog.

Wat is nuut in die weergawe 2.42.2:

• Hierdie weergawe verhoog die samestelling van oproepe predicaten tot module , verbeter kontrolering van meta-argumente in meta-predikaat oproepe, verbeter ondersteuning vir lambda uitdrukkings, sluit in 'n optimalisering samesteller vir oproepe na biblioteek meta-predicaten, voeg nuwe biblioteke vir meld gebeure, in samewerking met die tydelike interval verhoudings, en die gebruik van heelgetal tellers, verbeter bestaande voorbeelde en biblioteke, voeg ondersteuning vir die gebruik van die JavaScript-gebaseerde SyntaxHighlighter pakket, en funksies port updates vir GNU Prolog, Qu-Prolog, SICStus Prolog, SWI-Prolog, en XSB.

Wat is nuut in die weergawe 2.42.1:

• Hierdie weergawe voeg ondersteuning vir nuwe meta-gesegde af aanwysers, waarmee die ondersteuning vir meer Prolog eie ingeboude meta-predicaten.
• Ondersteuning is bygevoeg vir die opsporing van en verslagdoening ontbreek dinamiese / 1 en aaneen / 1 riglyne.
• 'n nuwe pluis vlag is bygevoeg.
• Twee meta-predikaat samestelling foute is reggestel.
• Sommige van die voorbeelde is opgedateer.
• Oordraagbaarheid updates is gemaak vir B-Prolog, SICStus Prolog, SWI-Prolog, XSB, en lag.