Logtalk

Prolog is 'n algemene doel logika programmeertaal wat terug in 1972 vrygestel is, met baie min updates sedert.

Logtalk is geskep om meer moderne kenmerke te Prolog, veral prestasie verbeterings, lambda uitdrukkings, grammatika reëls, verbeterde samesteller foute en waarskuwings verslagdoening voeg.

Op die top van hierdie, voeg 'n makliker installasie proses en Prolog samesteller verenigbaarheid updates.

Dit maak Logtalk 'n beter, meer geskik alternatief vir Prolog in hedendaagse AI en rekenaar taalkunde scenario, 'n baie sterker multi-paradigma taal, wat geskik is vir gebeurtenis gedrewe en 'n hoë-vlak multi-threading programme.

Op die oomblik Logtalk sintaksis strek standaard Prolog sintaksis en jy kan Logtalk loop op hierdie Prolog opstellers:

B-Prolog

CxProlog

Eclipse

GNU Prolog

Lean Prolog

Qu-Prolog

SICStus Prolog

SWI Prolog

XSB

Yap

Wat is nuut in hierdie release:

• VERBETERDE:
• Wysigings aan die term tags gebruik tydens die skryf saamgestel kode te help verminder die grootte van die gegenereerde intermediêre Prolog lêers wat diegene tags gebruik om te besluit wanneer om saamgestel terme met bron plek data (versier tans slegs SWI-Prolog neem voordeel van die plek data).
• VASTE:
• 'n lêer kan meer as een ouer lêer.

Wat is nuut in weergawe 3.02.2:

• VERBETERDE:
• Wysigings aan die term tags gebruik tydens die skryf saamgestel kode te help verminder die grootte van die gegenereerde intermediêre Prolog lêers wat diegene tags gebruik om te besluit wanneer om saamgestel terme met bron plek data (versier tans slegs SWI-Prolog neem voordeel van die plek data).
• VASTE:
• 'n lêer kan meer as een ouer lêer.

Wat is nuut in weergawe 3.02.1:

• VERBETERDE:
• Wysigings aan die term tags gebruik tydens die skryf saamgestel kode te help verminder die grootte van die gegenereerde intermediêre Prolog lêers wat diegene tags gebruik om te besluit wanneer om saamgestel terme met bron plek data (versier tans slegs SWI-Prolog neem voordeel van die plek data).
• VASTE:
• 'n lêer kan meer as een ouer lêer.

Wat is nuut in weergawe 3.00.4:

• VERBETERDE:
• Wysigings aan die term tags gebruik tydens die skryf saamgestel kode te help verminder die grootte van die gegenereerde intermediêre Prolog lêers wat diegene tags gebruik om te besluit wanneer om saamgestel terme met bron plek data (versier tans slegs SWI-Prolog neem voordeel van die plek data).
• VASTE:
• 'n lêer kan meer as een ouer lêer.

Wat is nuut in weergawe 3.00.2:

• VERBETERDE:
• Wysigings aan die term tags gebruik tydens die skryf saamgestel kode te help verminder die grootte van die gegenereerde intermediêre Prolog lêers wat diegene tags gebruik om te besluit wanneer om saamgestel terme met bron plek data (versier tans slegs SWI-Prolog neem voordeel van die plek data).
• VASTE:
• 'n lêer kan meer as een ouer lêer.

Wat is nuut in weergawe 3.00.1:

• VERBETERDE:
• Wysigings aan die term tags gebruik tydens die skryf saamgestel kode te help verminder die grootte van die gegenereerde intermediêre Prolog lêers wat diegene tags gebruik om te besluit wanneer om saamgestel terme met bron plek data (versier tans slegs SWI-Prolog neem voordeel van die plek data).
• VASTE:
• 'n lêer kan meer as een ouer lêer.

Wat is nuut in weergawe 2.44.1:

• Reggemaak 'n fout in die samestelling van die meta_non_terminal / 1 richtlijn waar slegs die eerste meta-argument korrek sou verwerk.
• Opdateer die verduistering opstelling lêer op te spoor wanneer loop op Windows 64 stukkies stelsels en nie-gesegde en nie-operateur uitvoere ignoreer wanneer pre-verwerking lib / 1 voorskrifte.
• Opdateer die eenheid toets raamwerk om meer insiggewend boodskappe vir mislukte eenheid toetse te druk.
• Bygevoeg gesegde verdeel / 4 (vir 'n verdeling van 'n lys in sublists met 'n gegewe lengte) om die & quot; listp & quot ;, & quot; n lys & quot ;, en & quot; difflist & quot; biblioteek entiteite.
• Opdateer die & quot; cc & quot; Byvoorbeeld 'n definisie vir die dop / 2 gesegde vir CxProlog.
• verander die name van die voorwerpe in die & quot; mi & quot; Byvoorbeeld om 'n naam konflik te vermy wanneer loop die voorbeeld eenheid toetse.
• Reggemaak 'n fout in die Windows installeerder dat opsporing van Yap 64 stukkies weergawes voorkom. Danksy Stepan Ipatov vir die fout raport.

Wat is nuut in weergawe 2.44.0:

• Hierdie weergawe verander die semantiek van aanvulling kategorieë, sodat die gebruik daarvan om bestaande voorwerp kode pleister, vasgestel twee foute in die verwerking van meta-oproepe, laat oop lyste van terminale in die liggaam van DCG reëls, voeg twee nuwe voorbeelde, en verbeter ondersteuning vir die Vim teks editor en vir Uitbundige ctags.

Wat is nuut in weergawe 2.43.3:

• Reggemaak 'n fout in die Logtalk samesteller runtime hanteerder waar dit versuim het om interne entiteit ID's afbreek wanneer gooi entiteit bestaan ​​uitsonderings.
• Opdateer die Lean Prolog opstelling lêer, die byvoeging van indeks / 1 voorskrifte 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 deur die nuwe eksperimentele SWI-Prolog ondersteuning vir just-in-time multi-argument kruip.
• Toegevoegde predicaten 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 om die biblioteek & quot; listp & quot; en & quot; n 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 om die biblioteek & quot; numberlistp & quot; en & quot; numberlist & quot; entiteite.
• Reggemaak paar dom foute in die definisie van die & quot; karakter & quot; biblioteek voorwerp predicaten is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, en is_hex_digit / 1.
• Opdateer die biblioteek & quot; all_loader.lgt & quot; meta_compiler_loader.lgt & quot; loader lêer om ook die & quot laai; loader lêer.

Wat is nuut in weergawe 2.43.2:

• Geoptimaliseerd die verwerking van verklarings operateur by die opstel van bronkodelêers en dinamiese skep van nuwe entiteite.
• Opdateer die Logtalk samesteller van die & quot gebruik; modules & quot; samesteller vlag wanneer die toets vir Prolog module steun, dus vermy samestelling probleme met back-end Prolog opstellers wat nie ondersteun 'n module stelsel, maar nog steeds definieer (:). / 2 as 'n ingeboude in beheer bou of gesegde
• Verwyder ondersteuning vir die & quot; startup_message & quot; samesteller vlag & quot; vlae (kompakte) & quot; en & quot; vlae (verbose) & quot; waardes, vervang deur 'n enkele waarde, & quot; vlae & quot ;, wat ooreenstem met die ou & quot; vlae (kompakte) & quot; waarde.
• Reggemaak 'n fout by die gebruik van op / 3 voorskrifte met die create_protocol / 3, create_object / 4, en create_category / 4 ingeboude predicaten waar die plaaslike verklarings operateur sigbaar buite die nuwe entiteite sou wees.
• Reggemaak n fout waar die skep van 'n nuwe dinamiese entiteit tydens looptyd sou 'n nie meer gebruik boekhouding dinamiese gesegde wat nie sou word afgeskaf wanneer die entiteit is afgeskaf definieer.
• Reggemaak n samesteller fout waar 'n & quot; super & quot; roep van binne 'n voorwerp wat net homself instantiates en nie spesialiseer enige voorwerp sou 'n uitsondering in plaas gooi van die versuim.
• Opdateer die & quot; maatstawwe & quot; Byvoorbeeld, ten einde te beskerm teen rekenkundige uitsonderings wanneer die berekening van die totale aantal oproepe per sekonde vir elke toets. Verminder die aantal Normtoets herhalings wanneer loop die eenheid toetse te lang rekenaar keer met 'n stadige back-end Prolog opstellers vermy.

Wat is nuut in weergawe 2.43.1:

• verander die samesteller in ag te neem die gebruike / 2 richtlijn by die opstel van oproepe na die databasis ingeboude metodes. Hierdie verandering strek die semantiek van die gebruike / 2 richtlijn en kan makliker migrasie van plain Prolog aansoeke om Logtalk.
• Bygevoeg eksperimentele ondersteuning vir die gebruik van 'n gesegde sjabloon as argument om die coinductive / 1 richtlijn. Hierdie sjabloon kan die spesifikasie van wat argumente is betekenisvol vir coinductive sukses. Op grond van soortgelyke funksie gevind word op op Feliks Kluzniak se DRA meta-tolk.
• Verbeterde ondersteuning vir ontfouting coinductive predicaten by die gebruik van die Logtalk ingeboude debugger.
• verwyder coinduction ondersteuning vir CxProlog. Die huidige weergawe van hierdie samesteller nie 'n sagte-cut ingeboude gesegde of beheer konstruk, wat nou deur die eksperimentele coinduction implementering vereis.
• opgehef 'n langdurige beperking dat die gebruiker definisie van wrapper predicaten voorkom vir die bagof / 3 en setof / 3 ingeboude metodes wanneer die doel argument die ^ / 2 eksistensiële kwantifiseerder kan gebruik.
• Bygevoeg ondersteuning vir die & quot; ^ & quot; meta-gesegde meta-argument af specific voorgestel deur Jan Wielemaker en gevind op SWI-Prolog 5.11.25. Hierdie modus specific is sinvol as die definisie van omhulsels vir die bagof / 3 en setof / 3 ingeboude metodes wanneer die doel argument die ^ / 2 eksistensiële kwantifiseerder kan gebruik.
• Toegevoegde & quot; prolog_compiler & quot; en & quot; prolog_loader & quot; samesteller vlae, wat toelaat dat die verbygaan opsies om die back-end Prolog samesteller ingeboude predicaten wat stel op 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 om nie meta-argumente te verwerk as doelwitte. Dit fout gemanifesteer net 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 riglyne oor oproepe na die create_object / 4, create_category / 4, en create_protocol / 3 ingeboude predicaten.
• verwyder van die ingeboude 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 kas oproepe na kategorie predicaten waar die kas inskrywings meer spesifiek as wat nodig kan wees wanneer daar met parametriese kategorieë.
• Verbeterde caching van & quot; super & quot; roep van binne prototipes. Voorheen sou al die kas inskrywings word gespesialiseerde deur die waarde van & quot; self & quot; ten einde behoorlik te gaan met die spesiale gevalle waar 'n voorwerp beide instantiates en spesialiseer ander voorwerpe.
• Opdateer die Logtalk samesteller om enige operateur verklarings gevind op gesegde omvang riglyne tydens die samestelling van die entiteite wat die voorskrifte bevat te aktiveer.
• Verbeterde die prestasie van coinductive predicaten by die gebruik van back-end Prolog opstellers soos SICStus Prolog wat nie voorsien die sagte-cut beheer konstruk, maar bied die sagte-cut ingeboude meta-gesegde (indien / 3).
• Reggemaak n fout waar 'n vals verslag van samestelling / 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 van en die herwinning van terme (wat veranderlikes kan wees) van 'n & quot; stroom & quot; veranderlike.
• Opdateer die & quot; coinduction & quot; Byvoorbeeld, met behulp van die verhoogde coinductive / 1 richtlijn en die verbreding van die aantal individuele voorbeelde wat gebruik kan hardloop met behulp van SICStus Prolog. Bygevoeg 'n model te keur byvoorbeeld met behulp van coinduction, coroutining, en beperkings.
• Opdateer die & quot; metapredicates & quot; Byvoorbeeld met voorbeeld kode illustreer hoe om omhulsels definieer vir die bagof / 3 en setof / 3 ingeboude metodes wanneer die meta-argument eksistensieel gekwalifiseerde veranderlikes bevat.
• Opdateer die & quot; cc & quot; Byvoorbeeld, die regstelling van gesegde definisies vir 'n paar back-end Prolog opstellers en die toevoeging van 'n paar basiese eenheid toetse.
• Opdateer die & quot; enkoderings & quot; Byvoorbeeld met beperkte ondersteuning vir Lean Prolog.
• Bygevoeg vermiste inskrywings vir die meta_non_terminal / 1 richtlijn en vir die oproep // N nie-terminaal om die & quot; help & quot; voorbeeld.
• Bygevoeg 'n ontleder vir PDDL 3.0 lêers, bygedra deur Robert Sasak.
• Toegevoegde kode vou ondersteuning aan die SubEthaEdit teks editor. Bygevoeg kode vou ondersteuning vir voorwaardelike samestelling blokke die Kate, Vim, en TextMate teksredakteurs.
• Opdateer die integrasie skrifte om te laai die biblioteek paaie lêer voordat 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 $ HOME / aandeel wanneer die LOGTALKHOME omgewing veranderlike nie gedefinieer word.
• Opdateer Windows Installer om Lean Prolog te ondersteun en op te spoor Yap 64 stukkies weergawes.

Wat is nuut in weergawe 2.43.0:.

• Bygevoeg eksperimentele ondersteuning vir Lean Prolog
• verwyder die Logtalk samesteller beperking wat aaneen / 1 en dinamiese / 1 voorskrifte gedwing om oproepe na die verklaarde predicaten voorafgaan.
• Verbeterde die Logtalk samesteller verslag van Verkeerd gespelde oproepe na nie-terminale in taalreëls.
• Laat die gebruik van die:. / 1 ​​beheer bou op die liggaam van grammatikareëls
• Wanneer ontfouting boodskappe wat in gebruike / 2 riglyne, die boodskap is nou gedruk implisiet gekwalifiseerde soos in die bron-kode wat geskryf is deur die gebruiker.
• verander die interne predicaten gebruik word in die implementering van die ingeboude in 'n multi-threading predicaten ten einde die integrasie met 'n hoë-vlak ontfouting gereedskap wat decompilatie van die gegenereerde Prolog kode vereis fasiliteer.
• Reggemaak 'n fout in die biblioteek ondersteuning vir eenheid toetse, & quot;. Lgtunit & quot ;, waar toetsing vir uitsonderings sal enige uitsondering termyn te aanvaar as wat voldoen aan die eenheid toets spesifikasies
• Opdateer die & quot; cc & quot; Byvoorbeeld met foutherstellings en verbeter vir Eclipse bygedra deur Joachim Schimpf, met 'n bugfix vir die SWI-Prolog implementering van die expand_path / 2 gesegde (as gevolg van die onlangse veranderinge aan die SWI-Prolog absolute_file_name / 3 ingeboude gesegde) en met 'n definisie vir die command_line_arguments / 1 gesegde vir B-Prolog.
• Opdateer die & quot; coinduction & quot; Byvoorbeeld, die toevoeging van 'n paar meer individuele voorbeelde.
• Opdateer die & quot; xml_parser & quot; bydrae om port kwessies tydelike oplossing met GNU Prolog.
• Korrekte 'n fout in 'n tolk skripte waar & quot; # / bin / bash & quot; gebruik in plaas van & quot;! # / bin / bash & quot ;. Danksy Yiorgos Adamopoulos vir die fout raport.
• Opdateer die Inno Setup GUI Windows installeerder script om volledige installasie toelaat deur nie-admin gebruikers.
• Bygevoeg sintaksis kleur ondersteuning vir die ISO Prolog richtlijn sluit / 1 tot alle ondersteunde teksredigeerders en sintaksis highlighters.
• Reggemaak n paar foute op die blad snellers vir die gedit Logtalk brokkies wat die gebruik daarvan verhoed.
• terug verander na die gebruik van XEP in plaas van FOP wanneer genereer die PDF-weergawes van die gebruiker en Reference handleidings as FOP truncates die inhoud van sommige van die bladsye.

Wat is nuut in weergawe 2.42.4:

• Bygevoeg 'n entity_prefix / 2 gesegde en twee stelle nut predicaten, decompile_predicate_heads / 2-4 en decompile_predicate_indicators / 2-4, die & quot; logtalk & quot; ingeboude voorwerp. Gemerk die decompile_predicate_head / 4 en decompile_predicate_indicator / 4 as afgekeur.
• Bygevoeg ondersteuning vir die behoud van die omvang inligting vir operateurs verklaar met behulp van omvang riglyne tydens kompilering. Bygevoeg inligting oor entiteit verklaar operateurs om die XML dokumentasie lêers. Opgedateer die teks, PDF, en (X) HTML omskakeling skrifte uit te druk operateur inligting.
• Toegepaste verskeie lae-vlak optimalisaties om die Logtalk samesteller / runtime.
• geskuif nie die interne predicaten wat bou en toegang tot die uitvoering gesegde konteks van die samesteller van die Prolog konfigurasielêers om fyn performance tuning wat Prolog samesteller afhanklik ondersteun.
• Opdateer die implementering van die stringe / 1 multi-threading ingeboude gesegde ten einde 'n klein verbetering van die prestasie gebaseer op die term_variables / 2 ingeboude gesegde deur Timon Van Overveldt voorgestel gebruik. Dit optimalisering is daarop gemik om onnodige kopie en eenwording van terme verminder. Daarbenewens vervang die gebruik van die setup_call_cleanup / 3 ingeboude gesegde met die vangs / 3 ingeboude gesegde deur die vereenvoudiging hantering van beide meester en slaaf drade, wat ook verhoog die werkverrigting.
• Reggemaak 'n fout in die toepassing van die stringe / 1 multi-threading ingeboude gesegde waar versuim van die gebruiker om onafhanklike doelwitte spesifiseer wanneer gepoog word om onafhanklik te gebruik en-parallelisme sou lei tot 'n zombie drade.
• Meer inligting uitsondering terme tydens 'n poging om 'n gesinchroniseer gesegde verklaar as dinamiese of 'n dinamiese gesegde as gesinchroniseer.
• Opdateer die XSB config lêer om die samestelling van modules soos voorwerpe te ondersteun. Bygevoeg 'n definisie vir die vermiste setup_call_catcher_cleanup / 4 ingeboude gesegde. XSB 3.3 (of 'n latere weergawe) is nou nodig is vir verenigbaarheid met Logtalk.
• Opdateer die SWI-Prolog config lêer om beperkte ondersteuning vir die arithmetic_function / 1 eie richtlijn (rekenkundige funksies saam te stel as globale plaas van as plaaslike tot die voorwerpe of kategorieë definieer hulle) te verskaf.
• Opdateer die Yap config lêer om die style_check / 1 richtlijn te ignoreer en om die yap_flag / 2 richtlijn as set_prolog_flag / 2 richtlijn interpreteer.
• verander die verstek XSL-FO verwerker (wat gebruik word om die PDF-weergawes van die gebruiker en Reference handleidings te genereer) van XEP om FOP.
• Opdateer die & quot; xml_parser & quot; bydrae om port kwessies tydelike oplossing met Qu-Prolog, SICStus Prolog, en XSB.
• Opdateer die & quot; enkoderings & quot; Byvoorbeeld, ten einde te verseker dat die daar geen spasie voor die enkodering / 1 richtlijn.
• Opdateer die & quot; attvars & quot; Byvoorbeeld om B-Prolog en XSB ondersteun. Ook bygevoeg ondersteuning vir die gebruik toegeskryf veranderlikes binne Logtalk parametriese voorwerpe en parametriese kategorieë. Danksy Jan Wielemaker, VAtor Santos Costa, en Bart Demoen vir terugvoer en implementering voorstelle.
• Opdateer die & quot; profilers & quot; Byvoorbeeld met voorlopige steun vir die veranderinge om uitvoering profilering in die SICStus Prolog 4.2 weergawe.
• Opdateer die & quot; uitbreiding & quot; Byvoorbeeld, met meer voorbeeld kode oor hoe om term- en doel-uitbreiding definisies kombineer uit verskillende hoeke voorwerpe.
• Opdateer die & quot; coinduction & quot; Byvoorbeeld, die byvoeging van 'n eksperimentele keysort / 2 coinductive gesegde. Danksy Jan burse vir die voorstel.
• Opdateer die & quot; Tak & quot; multi-threading voorbeeld waar 'n vermiste sny sou lei tot vinniger uitputtend die plaaslike stapel by die gebruik van SWI-Prolog te danke aan die skepping van 'n baie groot aantal onnodige keuse punte.
• Opdateer die & quot; mtbatch & quot; multi-threading voorbeeld om uitgebrei benchmarking van die & quot verskaf; Tak & quot; voorbeeld.
• Opdateer die MacPorts portfile en die script wat dit updates ten einde die berekening van die MD5 checksum, wat tans uit is uitgefaseer deur MacPorts verwyder.
• Opdateer die Inno Setup GUI Windows installeerder script om 'n fout tydelike oplossing op die SWI-Prolog Windows installeerders waar die verwyder prosedure versuim om die SWI-Prolog sleutels van die Windows-register te verwyder.

Wat is nuut in weergawe 2.42.3:

• Laat dinamiese predicaten in 'n kategorie verklaar te word genoem in & quot; hierdie & quot; vanuit die kategorie. In vorige weergawes, sou sulke oproepe lei tot 'n Stel-time fout, dwing hierdie predicaten genoem te word in & quot; self & quot; (Met behulp van die :: / 1 boodskap stuur beheer konstruk).
• Toegevoegde Logtalk samesteller ondersteuning vir pre-saamgestel klousule koppe (met behulp van die {} / 1 beheer konstruk). Hierdie funksie is meestal nuttig wanneer die gebruik van die term-uitbreiding meganisme.
• Reggemaak 'n fout op die kode wat die gesegde klousules wat gegenereer word deur die samestelling van grammatikareëls vergemaklik. Die kode sal lus wanneer 'n grammatika reël 'n meta-veranderlike, soos vervat wat die Logtalk samesteller moet (maar tans doen nie) verslag as onwettig (die oproep / 1 beheer konstruk moet eerder gebruik word op hierdie geval).
• Vereenvoudigde die samestelling van oproepe in die konteks van die pseudo-voorwerp & quot; gebruiker & quot;.
• Bygevoeg 'n debugger command & quot; p & quot; om die Logtalk ingeboude debugger. Hierdie opdrag afdrukke die huidige doel met behulp van die gedrukte / 1 gesegde wanneer dit beskikbaar is. Herdoop die debugger command & quot; Q & quot; om & quot; Q & quot ;. Reggestel n fout waar die debugger command & quot; w & quot; sou nie erken word. Verander die debugger command & quot; d & quot; om vrede te haal wanneer dit nodig is.
• Bygevoeg 'n gedeeltelike implementering van die ISO Prolog predicate_property / 2 gesegde tot die verduistering opstelling lêer.
• Opdateer die SWI-Prolog config lêer om die verkeerde verklaring van die biblioteek meta-predicaten / 2 verwyder dde_register_service, tyd / 1, en wanneer / 2 as ingeboude meta-predicaten.
• Toegepaste n bugfix die & quot; vlae & quot; bydrae beskikbaar gestel deur die outeur, Theofrastos Mantadelis. Tydelike oplossing 'n verenigbaarheidstoets kwessie met GNU Prolog.
• Bygevoeg 'n memberchk / 2 gesegde na die biblioteek & quot; setp & quot; protokol en 'set & quot; voorwerp. Bygevoeg predicaten is_control / 1, is_newline / 1, en is_end_of_line / 1 tot die biblioteek & quot; characterp & quot; en & quot; karakter & quot; entiteite.
• Bygevoeg 'n eksperimentele voorbeeld van die gebruik van toegeskryf veranderlikes binne Logtalk voorwerpe en kategorieë. Tans vereis die gebruik van Yap of SWI-Prolog as die back-end Prolog samesteller.
• Bygevoeg ondersteuning vir indexicals om die & quot; beperkings / sicstus & quot; voorbeeld.
• Uitgebreide die & quot; afgevaardigdes & quot; Byvoorbeeld 'n monster implementering van 'n delegatie met behulp van 'n parametriese voorwerp.
• Uitgebreide die & quot; dynpred & quot; Byvoorbeeld, ten einde te illustreer hoe om kategorie predicaten dat dinamiese predicaten te hanteer in die konteks van & quot definieer; hierdie & quot; en in die konteks van & quot; self & quot;.
• Bygevoeg 'n wall_time / 1 gesegde tot die & quot; cc & quot; voorbeeld.
• Opdateer die accentuering toets lêers, en voeg ontbreek ware / 0 en versuim / 0 beheer konstrukte.

Wat is nuut in weergawe 2.42.2:

• Opdateer die Logtalk samesteller ten einde toe te laat nagaan vir module gesegde eiendom sonder dat die invoer van die predicaten in & quot; gebruiker & quot; (Let egter daarop dat die module moet nog gelaai voor die samestelling van bronkodelêers roeping van die module predicaten).
• Opdateer die Logtalk samesteller om saam te stel-time aangehaal sluiting argumente op roep / 2-N doelwitte vir 'n gemeenskaplike ontwikkeling foute te kontroleer.
• Opdateer die Logtalk samesteller om waarskuwings vir lambda uitdrukkings met veranderlikes wat nie as óf gratis veranderlikes of lambda parameters of met veranderlikes wat as beide gratis veranderlikes en lambda parameters verklaar verklaar genereer. Danksy Jan burse vir suggereer hierdie gesonde verstand tjeks.
• Opdateer die Logtalk runtime om te ondersteun met behulp van die & # x3c; & # x3c; / 2 beheer bou in sluiting meta-argumente van meta-predicaten
.
• Bygevoeg ondersteuning vir die opstel van Free / Doel lambda uitdrukking oproepe (deur outomaties genereer 'n hulp gesegde waar moontlik).
• Bygevoeg 'n compile_aux_clauses / 1 openbare metode, gebaseer op 'n gesegde met dieselfde naam in SWI-Prolog, om die ingeboude voorwerp & quot; logtalk & quot ;. Hierdie metode word gewoonlik genoem van goal_expansion / 2 hakies om hulp klousules gegenereer vir die ondersteuning van 'n uitgebreide doel saam te stel.
• Bygevoeg die meta-gesegde ignoreer / 1, geïmplementeer deur 'n paar Prolog opstellers as 'n ingeboude gesegde, as 'n Logtalk ingeboude metode.
• Opdateer die SWI-Prolog config lêer om die motor-laai van module biblioteke wanneer bevraagteken gesegde eienskappe van Logtalk voorkom.
• Opdateer die Qu-Prolog, SICStus Prolog, en XSB konfigurasielêers ten einde te maak beskikbaar die gesegde term_variables / 2 as 'n ISO ingeboude gesegde.
• Opdateer die Qu-Prolog integrasie skrifte om die hoop grootte waarde verdubbel vir die opstel van die Logtalk samesteller / runtime, die oplossing van 'n begin ongeluk.
• Herstelde die MacOS X opdrag-lêer vir GNU Prolog (opgeskuif van die & quot; skrifte / MacOSX / command_files / nie-ondersteunde & quot; gids).
• Toegevoegde predicaten findall_member / 4-5 om die biblioteek voorwerp & quot; meta & quot; (Gebaseer op Richard O'Keefe se konsep Prolog biblioteek voorstel). Verwyder verklaring en definisie van die predicaten call able / 1 en ignoreer / 1 van die biblioteek entiteite & quot; metap & quot; en & quot; meta & quot; (Call able / 1 is 'n ingeboude gesegde in alle ondersteunde Prolog opstellers; ignoreer / 1 is nou 'n Logtalk ingeboude metode)
.
• Bygevoeg 'n biblioteek voorwerp, & quot; meta_compiler & quot ;, wat gebruik kan word as 'n haak voorwerp om oproepe na die meta-predicaten omskryf in die biblioteek voorwerp & quot brei; meta & quot; ten einde die meta-oproep oorhoofse vermy. Op daardie gevalle waar die meta-gesegde oproep nie kan geoptimaliseer word, die standaard definisie van die & quot; meta & quot; voorwerp gebruik. Die gebruik van beheer konstrukte as meta-argumente is nie (nog) ondersteun. Werk aan die gang.
• Bygevoeg 'n protokol, & quot; loggingp & quot ;, en kategorie en voorwerp implementering, & quot; te meld & quot; en & quot;. logger & quot ;, verklaar en die definisie van basiese funksies vir jou aan te meld gebeure om lêers na die biblioteek
• Bygevoeg 'n protokol, & quot; intervalp & quot ;, en 'n voorwerp, & quot; interval & quot ;, verklaar en die definisie van basiese interval verhoudings tydelike na die biblioteek (op grond van die James F. Allen Interval Algebra werk)
.
• Bygevoeg 'n kategorie te implementeer met die naam heelgetal tellers, & quot;. Tellers & quot ;, om die biblioteek
• Bygevoeg predicaten proper_prefix / 2 en proper_suffix / 2 tot die biblioteek entiteite & quot; listp & quot ;, & quot; n lys & quot ;, en & quot; difflist & quot;.
• Bygevoeg gesegde transponeer / 2 tot die biblioteek voorwerp & quot; pare & quot;.
• Bygevoeg twee pseudo-voorbeelde vir toetsdoeleindes, & quot; lambdas_compiled & quot; en & quot; metapredicates_compiled & quot ;, wat gebruik maak van die nuwe biblioteek voorwerp te maak
• & quot; meta_compiler & quot;.
• Opdateer die & quot; uitbreiding & quot; Byvoorbeeld, ten einde te illustreer hoe om te definieer en te kombineer haak voorwerpe.
• Bygevoeg ondersteuning vir die gebruik van die SyntaxHighlighter pakket (weergawe 3.0.83 of later) deur Alex Gorbatchev met Logtalk bronkode.
• Bygevoeg ontbrekende sintaksis kleur van die ander / 0 voorwaardelike samestelling opdrag aan die GNU Bron-hoogtepunt highlighter ondersteuning.
• Bygevoeg 'n nota op die Logtalk teksredigering ondersteuning wat beskikbaar is op die vrye MacOS X Kortslraat teks editor.
• Bygevoeg sintaksis kleur steun vir die nuwe ignoreer / 1 ingeboude metode om al ondersteun teksredigeerders en sintaksis highlighters.

Wat is nuut in weergawe 2.42.1:

• Bygevoeg ondersteuning aan die Logtalk samesteller vir die opsporing van en verslagdoening ontbreek dinamiese / 1 en Discontiguous / 1 gesegde riglyne.
• 'n Nuwe pluis vlag, & quot; missing_directives & quot ;, met 'n verstek waarde van & quot; waarskuwing & quot ;, al konfigurasielêers. Hierdie vlag kan jy druk van samesteller waarskuwings vir vermiste dinamiese / 1, Discontiguous / 1, en multifile / 1 gesegde riglyne.
• Bygevoeg ondersteuning vir nuwe meta-gesegde sjabloon af aanwysers: (/) vir 'n gesegde aanwyser, [/] vir 'n lys van gesegde aanwysers, en [0] vir 'n lys van doelwitte
.
• Reggemaak 'n fout in die Logtalk samesteller tydens die kontrolering van meta-gesegde klousule koppe vir foute waar die & quot; :: & quot; meta-argument af aanwyser is steeds as dit vertaal as & quot; 0 & quot;.
• Reggemaak 'n fout in die hantering van sluitings (in meta-oproepe) wat gebruik word om oproepe na konstrukte of ingeboude predicaten wat kan lei tot 'n beroep 'n meta-argumente in die verkeerde konteks beheer bou. Danksy Ulrich Neumerkel vir die illustrasie byvoorbeeld in die SWI-Prolog poslys.
• Opdateer die Logtalk samesteller om druk waarskuwings te vermy oor die vermiste verwysings na die & quot; te brei & quot; en & quot; monitering & quot; ingeboude protokolle by die samestelling van modules soos voorwerpe.
• Het terug gegaan die veranderinge in weergawe 2.39.2 dat die pseudo-voorwerp & quot toegelaat; gebruiker & quot; feitlik bevat die definisie van al Prolog ingeboude predicaten. Dit kan lei tot verskillende resultate, afhangende van die back-end Prolog samesteller, spesiaal wanneer ek bel meta-predicaten in die konteks van & quot; gebruiker & quot;.
• Reggemaak 'n fout in die SWI-Prolog & quot; swihooks.lgt & quot; lêer wat gelei het tot 'n valse fout boodskap oor 'n ongeldige Logtalk vlag wanneer raadgewende n Prolog lêer wanneer daar 'n Logtalk bron lêer met dieselfde naam in dieselfde gids.
• Bygevoeg ontbrekende ondersteuning vir eie ingeboude meta-predicaten om die B-Prolog, SICStus Prolog, SWI-Prolog, XSB, en Yap konfigurasielêers.
• Opdateer die SICStus Prolog, SWI-Prolog, en Yap konfigurasielêers om die meta-gesegde templates oorheers vir die raadpleeg / 1 en load_files / 2 ingeboude predicaten.
• Bygevoeg 'n implementering van 'n map_reduce / 5 meta-gesegde na die biblioteek voorwerp & quot; meta & quot;.
• Bygevoeg 'n implementering van 'n command_line_arguments / 1 gesegde tot die & quot; cc & quot; voorbeeld.
• Opdateer die & quot; lambdas & quot; en & quot; metapredicates & quot; voorbeelde, illustreer hoe om Fibonacci getalle te bereken met behulp van 'n vou links meta-gesegde. Opgedateer die & quot; metapredicates & quot; Byvoorbeeld 'n gebruik voorbeeld van die map_reduce / 5 meta-gesegde.
• Opdateer die & quot; problog & quot; Byvoorbeeld, die toevoeging van voorlopige steun vir die nuwe geannoteerde disjunctions sintaksis.
• Bygevoeg 'n & quot; magie & quot; element om die Logtalk mime-tipe lêer vir die freedesktop.org gedeel mime-inligting databasis.

Wat is nuut in weergawe 2.42.0:.

• Bygevoeg 'n implementering van aanhoudende voorwerp vlae
• Bygevoeg 'n nuwe paar ingeboude predicaten, conforms_to_protocol / 2-3, die implementering van die oorganklike sluiting van die implementering protokol verhouding.
• Bygevoeg 'n eksperimentele richtlijn, body / 1, vir die ondersteuning van Logtalk integrasie met ander tale, soos ProbLog en CHR.