Logtalk

Prolog är en logisk programmeringsspråk allmänt ändamål som släpptes tillbaka i 1972, med mycket få uppdateringar sedan.

Logtalk skapades för att lägga till mer moderna funktioner till Prolog, främst prestandaförbättringar, lambda-uttryck, grammatiska regler, förbättrade kompileringsfel och varningsrapportering.

På toppen av dessa, lägga till en enklare installation process och Prolog uppdateringar kompilator kompatibilitet.

Detta gör Logtalk en bättre, mer lämpligt alternativ till Prolog i dagens AI och datorlingvistik scenarier, ett mycket kraftfullare flera paradigm språk, som lämpar sig för händelsestyrd och hög nivå multi-threading programmering.

För närvarande Logtalk syntax sträcker standard Prolog syntax och du kan köra Logtalk på följande Prolog kompilatorer:

B-Prolog

CxProlog

Eclipse

GNU Prolog

Lean Prolog

Qu-Prolog

SICStus Prolog

SWI Prolog

XSB

YAP

Vad är nytt i den här versionen:

• FÖRBÄTTRAT:
• Ändringar termen taggar som används när du skriver kompilerad kod för att minimera storleken på de genererade mellanliggande Prolog-filer som använder dessa taggar för att bestämma när dekorera kompilerade rätta med källlokaliseringsuppgifter (för närvarande, tar bara SWI-Prolog fördel av lokaliseringsuppgifter).
• FAST:
• En fil kan ha mer än en överordnad fil.

Vad är nytt i version 3.02.2:

• FÖRBÄTTRAT:
• Ändringar termen taggar som används när du skriver kompilerad kod för att minimera storleken på de genererade mellanliggande Prolog-filer som använder dessa taggar för att bestämma när dekorera kompilerade rätta med källlokaliseringsuppgifter (för närvarande, tar bara SWI-Prolog fördel av lokaliseringsuppgifter).
• FAST:
• En fil kan ha mer än en överordnad fil.

Vad är nytt i version 3.02.1:

• FÖRBÄTTRAT:
• Ändringar termen taggar som används när du skriver kompilerad kod för att minimera storleken på de genererade mellanliggande Prolog-filer som använder dessa taggar för att bestämma när dekorera kompilerade rätta med källlokaliseringsuppgifter (för närvarande, tar bara SWI-Prolog fördel av lokaliseringsuppgifter).
• FAST:
• En fil kan ha mer än en överordnad fil.

Vad är nytt i version 3.00.4:

• FÖRBÄTTRAT:
• Ändringar termen taggar som används när du skriver kompilerad kod för att minimera storleken på de genererade mellanliggande Prolog-filer som använder dessa taggar för att bestämma när dekorera kompilerade rätta med källlokaliseringsuppgifter (för närvarande, tar bara SWI-Prolog fördel av lokaliseringsuppgifter).
• FAST:
• En fil kan ha mer än en överordnad fil.

Vad är nytt i version 3.00.2:

• FÖRBÄTTRAT:
• Ändringar termen taggar som används när du skriver kompilerad kod för att minimera storleken på de genererade mellanliggande Prolog-filer som använder dessa taggar för att bestämma när dekorera kompilerade rätta med källlokaliseringsuppgifter (för närvarande, tar bara SWI-Prolog fördel av lokaliseringsuppgifter).
• FAST:
• En fil kan ha mer än en överordnad fil.

Vad är nytt i version 3.00.1:

• FÖRBÄTTRAT:
• Ändringar termen taggar som används när du skriver kompilerad kod för att minimera storleken på de genererade mellanliggande Prolog-filer som använder dessa taggar för att bestämma när dekorera kompilerade rätta med källlokaliseringsuppgifter (för närvarande, tar bara SWI-Prolog fördel av lokaliseringsuppgifter).
• FAST:
• En fil kan ha mer än en överordnad fil.

Vad är nytt i version 2.44.1:

• Korrigerat ett fel i sammanställningen av meta_non_terminal / 1 direktivet där endast den första meta-argument skulle behandlas korrekt.
• Uppdaterade Eclipse konfigurationsfil för att upptäcka när man kör på Windows 64 bits system och att ignorera icke-predikat och icke-operatörs export när förbehandlings lib / 1 direktiv.
• Uppdaterad ramen för enhetstest för att skriva ut mer informativa meddelanden för misslyckade enhetstester.
• Inkom predikat split / 4 (för att dela en lista i underlistor med en given längd) till & quot; listp & quot ;, & quot; listan & quot ;, och & quot; difflist & quot; biblioteks enheter.
• Uppdaterade & quot; cc & quot; exempel med en definition för skalet / 2 predikat för CxProlog.
• bytt namn på objekten i & quot; mi & quot; exempel för att undvika en namnkonflikt när man kör exempel enhetstester de.
• rättad en bugg i installationsprogrammet för Windows som hindrade detektion av YAP 64 bitar versioner. Tack vare Stepan Ipatov för felrapporten.

Vad är nytt i version 2.44.0:

• Denna utgåva ändrar semantiken för att komplettera kategorier, vilket gör att dess användning för att lappa befintligt objekt kod, fixar två buggar i behandlingen av meta-samtal, kan öppna listor av terminaler i kroppen av DCG regler, lägger till två nya exempel och förbättrar stödet för Vim textredigerare och för översvallande ctags.

Vad är nytt i version 2.43.3:

• rättad en bugg i Logtalk kompilatorn runtime hanterare där den inte dekompilera intern entitet identifierare när du kastar enhet existens undantag.
• Uppdaterade Lean Prolog konfigurationsfil, lägga index / 1 direktiv för några av de dynamiska predikat som används av de interna Logtalk runtime tabeller.
• Uppdaterade SWI-Prolog integrations filer för att testa om det finns någon index / 1 direktiv, som är föråldrat av den nya experimentella SWI-Prolog stöd för just-in-time multi-argument indexering.
• Lade predikat subsekvens / 4 (för att generera sekvenser av en lista med en viss längd), ersätta / 4 (för att ersätta element i en lista), och hamming_distance / 3 till biblioteket & quot; listp & quot; och & quot; listan & quot; enheter.
• Inkom euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, och scalar_product / 3 predikat till biblioteket & quot; numberlistp & quot; och & quot; numberlist & quot; enheter.
• rättad några dumma fel i definitionen av & quot; karaktär & quot; biblioteksobjekt predikat is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, och is_hex_digit / 1.
• Uppdaterade bibliotek & quot; all_loader.lgt & quot; loader fil också ladda & quot; meta_compiler_loader.lgt & quot; loader fil.

Vad är nytt i version 2.43.2:

• Optimerad behandling av operatörs deklarationer vid sammanställningen källfiler och dynamiskt skapa nya enheter.
• Uppdaterade Logtalk kompilatorn att använda & quot; moduler & quot; kompilator flagga vid prövning av Prolog module support, därmed undvika sammanställning problem med back-end Prolog kompilatorer som inte stöder ett modulsystem, men ändå definiera (:). / 2 som en inbyggd kontroll konstruktion eller predikat
• Removed stöd för & quot; startup_message & quot; kompilator flagga & quot; flaggor (compact) & quot; och & quot; flaggor (verbose) & quot; värden, ersatt av ett enda värde, & quot; flaggor & quot ;, som motsvarar den gamla & quot; flaggor (compact) & quot; värde.
• Korrigerat ett fel när man använder op / 3 direktiven med create_protocol / 3, create_object / 4, och create_category / 4 inbyggda predikat där den lokala operatören deklarationer skulle vara synlig utanför de nya enheterna.
• Korrigerat ett fel där skapa en ny dynamisk enhet vid körning skulle definiera en inte längre används bokföring dynamisk predikat som inte skulle avskaffas när företaget avskaffas.
• Korrigerat en kompilator fel där en & quot; super & quot; ringa inifrån ett objekt som bara exemplifierar själv och inte specialisera något föremål skulle kasta ett undantag i stället för att misslyckas.
• Uppdaterade & quot; riktmärken & quot; exempel i syfte att skydda mot aritmetiska fel vid beräkning av totala antalet samtal per sekund för varje test. Minskat antalet benchmark-test repetitioner när du kör enhetstester för att undvika långa beräkningstider med långsam back-end Prolog kompilatorer.

Vad är nytt i version 2.43.1:

• Ändrad kompilatorn att ta hänsyn till de användningsområden / 2 direktivet vid sammanställningen samtal till databasen inbyggda metoder. Denna förändring sträcker semantiken för användning / 2 direktivet och möjliggör enklare migration från vanligt Prolog applikationer Logtalk.
• Inkom experimentellt stöd för att använda ett predikat mall som argument till coinductive / 1 direktiv. Denna mall tillåter specifikation av vilka argument är meningsfulla för coinductive framgång. Baserat på liknande funktionalitet finns på på Feliks Kluzniak s DRA meta-tolk.
• Förbättrat stöd för felsökning coinductive predikat vid användning av Logtalk inbyggda debugger.
• Bort coinduction stöd för CxProlog. Den nuvarande versionen av denna kompilator saknar en mjuk skuren inbyggda predikat eller kontroll konstruktion, som nu krävs av den experimentella genomförandet coinduction.
• Lyfte en långvarig begränsning som förhindrade definitionen av omslags predikat användare för bagof / 3 och setof / 3 inbyggda metoder när målet argumentet kan använda ^ / 2 existentiell kvantifierare.
• Stöd för & quot; ^ & quot; meta-predikat meta-argument läge föreskrivare föreslagits av Jan Wielemaker och återfinns på SWI-Prolog 5.11.25. Detta läge specifice är användbar när man definierar omslag för bagof / 3 och setof / 3 inbyggda metoder när målet argumentet kan använda ^ / 2 existentiell kvantifierare.
• Lade & quot; prolog_compiler & quot; och & quot; prolog_loader & quot; kompilatorflaggor, som tillåter passerande alternativ för back-end Prolog kompilator inbyggda predikat som sammanställer till disk och ladda en (sammanställd) Prolog flagga. Standardvärdet för båda flaggorna är den tomma listan.
• Korrigerat ett fel vid sammanställningen samtal till Prolog egen inbyggd meta predikat där Logtalk kompilator kan försöka bearbeta icke meta-argument som mål. Detta fel bara visat sig med några back-end Prolog kompilatorer såsom Eclipse.
• Korrigerat ett fel i behandlingen av direktiv villkorlig kompilering.
• rättad en bugg som hindrade passerar alias / 3 direktiv om samtal till create_object / 4, create_category / 4, och create_protocol / 3 inbyggda predikat.
• Bort från inbyggda objekt & quot; logtalk & quot; de decompile_predicate_head / 4 och decompile_predicate_indicator / 4 nedgraderade metoder.
• Removed stöd för den långa föråldrat Logtalk metapredicate / 1 direktiv.
• Korrigerat ett prestations bugg när caching samtal till kategorin predikat där cachade poster kan vara mer specifik än nödvändigt när man arbetar med parametriska kategorier.
• Förbättrad cachning av & quot; super & quot; samtal från inom prototyper. Tidigare skulle alla cachade poster vara specialiserade av värdet på & quot; själv & quot; För att kunna ta itu med de särskilda fall där ett föremål både instansieras och specialiserat andra objekt.
• Uppdaterade Logtalk kompilatorn att aktivera eventuella operatörs deklarationer finns på direktiven predikat omfattning under sammanställningen av de enheter som innehåller direktiven.
• Förbättrad prestanda coinductive predikat vid användning av back-end Prolog kompilatorer som SICStus Prolog som inte ger den mjuka skuren styr konstruktion men ger mjuk skuren inbyggd meta-predikat (om / 3).
• Korrigerat ett fel där en falsk rapport för sammanställning / last varningar kan skrivas ut när en källfil har sammanställts / lastad med kompilatorn flaggan & quot; rapporten & quot; avstängd.
• A & quot; streamvars & quot; biblioteksobjekt, som härrör från den befintliga & quot; assignvars & quot; bibliotek kategori, med stöd för att lägga till och hämta termer (som kan vara variabler) från en & quot; ström & quot; variabel.
• Uppdaterade & quot; coinduction & quot; exempel dra nytta av den förbättrade coinductive / 1 direktiv och bredda antalet enskilda exempel som kan köras med hjälp av SICStus Prolog. Lade till en modell kontroll exempel, med hjälp av coinduction, coroutining och begränsningar.
• Uppdaterade & quot; metapredicates & quot; exempel med exempelkod visar hur man definierar omslag för bagof / 3 och setof / 3 inbyggda metoder när meta-argumentet kan innehålla existentiellt kvalificerade variabler.
• Uppdaterade & quot; cc & quot; exempel korrigera predikat definitioner för flera back-end Prolog kompilatorer och lägga till några grundläggande enhetstester.
• Uppdaterade & quot; kodningar & quot; exempel med begränsat stöd för Lean Prolog.
• Inkom saknade poster för meta_non_terminal / 1 direktiv och för samtalet // N icke-terminal till & quot; hjälpa & quot; exempel.
• Lade till en parser för PDDL 3,0 filer, bidragit med Robert Sasak.
• Annan kodvikning stöd till SubEthaEdit textredigerare. Inkom kod fällbara stöd för villkorlig kompilering kvarter till Kate, Vim, och Textmate textredigerare.
• Uppdaterad skripten integrations för att ladda biblioteket banorna filen innan du laddar Logtalk kompilatorn / runtime. Denna förändring syftar till att förenkla lastning av bibliotek och exempelfiler från inställningsfiler. Dessutom, även leta efter Logtalk installationskatalogen i $ HOME / aktie när LOGTALKHOME miljövariabeln inte är definierad.
• Uppdaterad installationsprogrammet för Windows för att stödja Lean Prolog och upptäcka YAP 64 bitar versioner.

Vad är nytt i version 2.43.0.

• Inkom experimentellt stöd för Lean Prolog
• Tog bort Logtalk kompilatorn begränsning som tvingade Åtskilda / 1 och dynamisk / 1 direktiv att föregå samtal till de deklarerade predikat.
• Förbättrad Logtalk kompilatorn rapport felstavade samtal till icke-terminaler i grammatikregler.
• Tillåt användandet av. / 1 ​​kontroll bygga på kroppen av grammatiska regler
• När felsökningsmeddelanden som anges i användningsområden / 2 direktiv meddelandet trycks nu implicit kvalificerad som i källkoden skriven av användaren.
• Ändrad interna predikat som används vid genomförandet av den inbyggda multi-threading predikat för att underlätta integrationen med hög nivå felsökningsverktyg som kräver dekompilering av den genererade Prolog-kod.
• rättad en bugg i bibliotek stöd för enhetstester, & quot;. Lgtunit & quot ;, där testning för undantag skulle acceptera något undantag term som överensstämmer med enhetstestspecifikationer
• Uppdaterade & quot; cc & quot; exempel med buggfixar och förbättringar för Eclipse bidragit med Joachim Schimpf, med en buggfix för genomförandet av expand_path / 2 predikat SWI-Prolog (till följd av de senaste ändringarna i SWI-Prolog absolute_file_name / 3 inbyggda predikat), och med en definition för command_line_arguments / 1 predikat för B-Prolog.
• Uppdaterade & quot; coinduction & quot; exempel, lägga till några mer enskilda exempel.
• Uppdaterade & quot; xml_parser & quot; bidrag i syfte att kringgå portabilitet problem med GNU Prolog.
• Korrigera ett fel i vissa skalskript där & quot; # / bin / bash & quot; användes i stället för & quot; #! / bin / bash & quot ;. Tack vare Yiorgos Adamopoulos för felrapporten.
• Uppdaterade Inno Setup GUI Windows Installer script för att möjliggöra fullständig installation av icke-administratörer.
• Inkom syntaxfärger stöd för ISO Prolog direktivet include / 1 för alla som stöds textredigerare och syntax strykningspennor.
• Korrigerad del buggar på fliken utlöser för Gedit Logtalk utdrag som hindrade deras användning.
• ändras tillbaka till att använda XEP istället för FOP vid generering av PDF-versioner av manualer användar och referens som FOP trunkerar innehållet i några av sidorna.

Vad är nytt i version 2.42.4:

• Lade till ett entity_prefix / 2 predikat och två uppsättningar nytto predikat, decompile_predicate_heads / 2-4 och decompile_predicate_indicators / 2-4, till & quot; logtalk & quot; inbyggd objekt. Markerade decompile_predicate_head / 4 och decompile_predicate_indicator / 4 som föråldrat.
• Utökat stöd för att bevara den information utrymme för operatörerna deklareras med direktiven omfattning under kompileringen. Lade till information om enheten deklarerade operatörer till XML dokumentera filer. Uppdaterade text, PDF, och (X) HTML konvertering skript för att skriva ut operatörsinformation.
• Applied flera låg nivå optimeringar till Logtalk kompilatorn / runtime.
• Flyttade de interna predikat som konstruerar och åtkomstprivilegier predikat sammanhang från kompilatorn till Prolog konfigurationsfiler för att stödja fina prestandajustering som är Prolog kompilator beroende.
• Uppdaterad genomförandet av den gängade / 1 multi-threading inbyggda predikat för att kunna använda en liten prestandaoptimering baserad på term_variables / 2 inbyggda predikat föreslagits av Timon Van Overveldt. Denna optimering syftar till att minska onödig kopia och enande av termer. Dessutom ersätta användningen av setup_call_cleanup / 3 inbyggda predikat med fångsten / 3 inbyggda predikat genom att förenkla hanteringen av både master- och slavtrådar, som också förbättrar prestanda.
• rättad en bugg i genomförandet av den gängade / 1 multi-threading inbyggda predikat där fel av användaren för att ange oberoende mål när man försöker att använda oberoende och-parallellism skulle resultera i zombie trådar.
• Mer informativa undantagsvillkor när man försöker att förklara en synkroniserad predikat som dynamisk eller dynamiskt predikat som synkroniseras.
• Uppdaterade XSB konfigurationsfil för att stödja sammanställningen av moduler som objekt. Lade till en definition för den saknade setup_call_catcher_cleanup / 4 inbyggda predikat. XSB 3,3 (eller en senare version) är nu krävs för kompatibilitet med Logtalk.
• Uppdaterade SWI-Prolog konfigurationsfil för att ge begränsat stöd för arithmetic_function / 1 proprietära direktivet (aritmetiska funktioner sammanställa den globala stället för som lokal föremålen eller kategorier som definierar dem).
• Uppdaterade YAP konfigurationsfil för att ignorera style_check / 1 direktivet och tolka yap_flag / 2 direktiv som set_prolog_flag / 2 direktiv.
• ändrat standard XSL-FO processor (används för att generera PDF-versioner av manualer användar och referens) från XEP att FOP.
• Uppdaterade & quot; xml_parser & quot; bidrag i syfte att kringgå portabilitet problem med Qu-Prolog, SICStus Prolog, och XSB.
• Uppdaterade & quot; kodningar & quot; exempel i syfte att säkerställa att det inte finns något blanksteg före kodningen / 1 direktiv.
• Uppdaterade & quot; attvars & quot; exempel för att stödja B-Prolog och XSB. också lagt till stöd för att använda tillskrivs variabler inom Logtalk parametriska objekt och parametriska kategorier. Tack vare Jan Wielemaker, Vator Santos Costa, och Bart Demoen för återkoppling och genomförande förslag.
• Uppdaterade & quot; profilerare & quot; exempel med preliminärt stöd för ändringar i utförande profilering i SICStus Prolog 4,2 version.
• Uppdaterade & quot; utvidgning & quot; exempel med mer exempelkod på hur man kombinerar sikt- och mål expansion definitioner från olika krokar objekt.
• Uppdaterade & quot; coinduction & quot; Exempelvis tillsätta en experimentell keysort / 2 coinductive predikat. Tack vare Jan Burse för förslaget.
• Uppdaterade & quot; Tak & quot; multi-threading exempel där en saknad snitt skulle resultera i snabbt uttömma lokala stacken när SWI-Prolog på grund av skapandet av ett mycket stort antal onödiga val punkter.
• Uppdaterade & quot; mtbatch & quot; multi-threading exempel för att ge utökat benchmarking av & quot; Tak & quot; exempel.
• Uppdaterade MacPorts portfile och manuset som uppdaterar det för att avlägsna beräkningen av MD5-kontrollsumma, som håller på att fasas ut från MacPorts.
• Uppdaterade Inno Setup GUI Windows Installer script för att kringgå ett fel på SWI-Prolog Windows installatörer där avinstallationen misslyckas med att ta bort SWI-Prolog nycklar från Windows-registret.

Vad är nytt i version 2.42.3:

• Tillåt dynamiska predikat deklarerats i en kategori som kallas i & quot; detta & quot; inifrån kategorin. I tidigare versioner, skulle sådana samtal resultera i en kompileringsfel, vilket tvingar dessa predikat att kallas i & quot; själv & quot; (Med hjälp av :: / 1 meddelandesändning kontroll konstruktion).
• Lade Logtalk kompilator stöd för förkompilerade Klausul huvuden (med hjälp av {} / 1 styr konstruktion). Den här funktionen är mest användbar när man använder termen-expansionsmekanismen.
• Korrigerad en bugg på kod som förenklar predikat klausuler som genereras av sammanställningen av grammatiska regler. Koden skulle slingan när en grammatikregel innehöll en meta-variabel, som Logtalk kompilatorn bör (men för närvarande inte) rapport som olagligt (samtalet / 1 styr konstruktion bör användas i stället på det här fallet).
• Förenklad sammanställningen av samtal i samband med pseudo-objekt & quot; användare & quot;.
• Lade till en felsökningskommando & quot; p & quot; till Logtalk inbyggda debugger. Detta kommando skriver ut nuvarande mål med hjälp av trycket / 1 predikat när det finns. Omdöpt till debugger kommandot & quot; q & quot; & quot; Q & quot ;. Korrigerat ett fel där debugger kommandot & quot; w & quot; skulle inte kännas igen. Ändrad debugger kommandot & quot; d & quot; citera villkor vid behov.
• Lade till en partiellt genomförande av ISO Prolog predicate_property / 2 predikat till Eclipse konfigurationsfil.
• Uppdaterade SWI-Prolog konfigurationsfil för att avlägsna den felaktiga deklarationen av biblioteket meta-predikat dde_register_service / 2, tid / 1, och när / 2 som inbyggd meta predikat.
• Tillämpad en buggfix till & quot; flaggor & quot; bidrag ställs till förfogande av dess författare, Theofrastos Mantadelis. Lösning ett kompatibilitetsproblem med GNU Prolog.
• Lade till en memberchk / 2 predikat till biblioteket & quot; setp & quot; protokoll och & quot; ange & quot; objekt. Tillsatta predikat is_control / 1, is_newline / 1, och is_end_of_line / 1 till biblioteket & quot; characterp & quot; och & quot; karaktär & quot; enheter.
• Lade till ett experimentellt exempel på att använda tillskrivs variabler inom Logtalk objekt och kategorier. För närvarande kräver användning av YAP eller SWI-Prolog som back-end Prolog kompilator.
• Stöd för indexikala till & quot; begränsningar / SICStus & quot; exempel.
• Utökad & quot; delegater & quot; exempel med en implementering av en fullmaktsgivaren med hjälp av en parametrisk objekt prov.
• Utökad & quot; dynpred & quot; exempel för att illustrera hur man definierar kategorin predikat som hanterar dynamiska predikat i samband med & quot; detta & quot; och i samband med & quot; själv & quot;.
• Lade till en wall_time / 1 predikat till & quot; cc & quot; exempel.
• Uppdaterade syntaxmarkering testfiler, lägga till saknade sant / 0 och misslyckas / 0 kontroll konstruktioner.

Vad är nytt i version 2.42.2:

• Uppdaterade Logtalk kompilator för att möjliggöra kontroll av modul predikat egenskaper utan att kräva importera predikat i & quot; användare & quot; (Observera dock att modulen måste fortfarande laddas före sammanställningen av källfiler kallar modulen predikat).
• Uppdaterade Logtalk kompilator för att kontrollera kompilering realiserade stängning argument på samtal / 2-N mål för vanliga programmeringsfel.
• Uppdaterade Logtalk kompilator för att generera varningar för lambda-uttryck med variabler som inte deklareras som antingen fria variabler eller lambda parametrar eller med variabler som deklareras som både fria variabler och lambda parametrar. Tack vare Jan Burse för att föreslå dessa rimlighetskontroller.
• Uppdaterade Logtalk runtime för att stödja använda & # x3c; & # x3c; / 2 kontroll konstruera i nedläggningsmeta argument meta predikat
.
• Utökat stöd för att sammanställa Free / Mål lambda expressions samtal (genom att automatiskt generera en extra predikat när det är möjligt).
• Lade till en compile_aux_clauses / 1 offentlig metod, baserad på en predikat med samma namn i SWI-Prolog, till den inbyggda objekt & quot; logtalk & quot ;. Denna metod brukar kallas från goal_expansion / 2 krokar för att sammanställa hjälp klausuler som genereras för att stödja en utökad mål.
• Lade till meta-predikatet ignorera / 1, genomförs av vissa Prolog kompilatorer som en inbyggd predikat, som Logtalk inbyggd metod.
• Uppdaterade SWI-Prolog konfigurationsfil för att förhindra den automatiska laddningen av modulbibliotek vid frågor predikat egenskaper från Logtalk.
• Uppdaterade Qu-Prolog, SICStus Prolog, och XSB konfigurationsfiler för att tillgängliggöra predikatet term_variables / 2 som en ISO inbyggda predikat.
• Uppdaterade Qu-Prolog integrations skript för att fördubbla stackstorlek värdet för att sammanställa Logtalk kompilatorn / runtime, lösa en startkrasch.
• Återställd MacOS X kommandofilen för GNU Prolog (flyttas upp från & quot; scripts / MacOSX / command_files / stöds & quot; mapp).
• Lade predikat findall_member / 4-5 till biblioteksobjekt & quot; meta & quot; (Baserat på Richard O'Keefe utkast Prolog förslag bibliotek). Avlägsnas förklaring och definition av predikat inlösbara / 1 och ignorera / 1 från biblioteket enheter & quot; METAP & quot; och & quot; meta & quot; (Inlösbara / 1 är en inbyggd predikat i alla stödda Prolog kompilatorer, ignorera / 1 nu en Logtalk inbyggd metod)
.
• Lade till en biblioteksobjekt, & quot; meta_compiler & quot ;, som kan användas som ett krok objekt att expandera samtal till meta predikat definieras i biblioteksobjekt & quot; meta & quot; För att undvika metasamtalskostnader. På de fall meta-predikat samtalet inte kan optimeras, standarddefinitionen på & quot; meta & quot; objekt används. Använda kontroll konstruktioner som meta-argument är inte (ännu) stöds. Work in progress.
• Inkom ett protokoll, & quot; loggingp & quot ;, och kategori och objektimplementeringar, & quot; loggning & quot; och & quot;. logger & quot ;, förklara och definiera grundläggande funktionalitet för att logga händelser till filer till biblioteket
• Inkom ett protokoll, & quot; intervalp & quot ;, och ett föremål, & quot; intervall & quot ;, förklara och definiera grundläggande tidsintervallet relationer till biblioteket (baserat på James F. Allen Intervall Algebra arbete)
.
• Lade till en kategori genomföra namngivna heltal räknare, & quot;. Räknare & quot ;, till biblioteket
• tillagda predikat proper_prefix / 2 och proper_suffix / 2 till biblioteket enheter & quot; listp & quot ;, & quot; listan & quot ;, och & quot; difflist & quot;.
• Inkom predikat införliva / 2 till biblioteksobjekt & quot; par & quot;.
• Added två pseudo exempel för teständamål, & quot; lambdas_compiled & quot; och & quot; metapredicates_compiled & quot ;, som utnyttjar den nya biblioteksobjekt
• & quot; meta_compiler & quot;.
• Uppdaterade & quot; utvidgning & quot; exempel för att illustrera hur man definierar och kombinera krok objekt.
• Utökat stöd för att använda SyntaxHighlighter paketet (version 3.0.83 eller senare) av Alex Gorbatchev med Logtalk källkod.
• Inkom saknas syntax färgning av annat / 0 villkorlig kompilering direktivet GNU source-highlight stryknings stöd.
• Lade till en anteckning på Logtalk textredigering stöd finns på den fria MacOS X Kod textredigerare.
• Inkom syntaxfärger stöd för den nya ignorera / 1 inbyggd metod för alla som stöds textredigerare och syntax strykningspennor.

Vad är nytt i version 2.42.1:

• Extra stöd för att den Logtalk kompilator för att upptäcka och rapportera saknas dynamiska / 1 och Åtskilda direktiven / 1 predikat.
• Lade till en ny ludd flagga, & quot; missing_directives & quot ;, med ett standardvärde på & quot; varning & quot ;, till alla konfigurationsfiler. Denna flagga kan du skriva ut av kompileringsvarningar för saknade dynamiska / 1, Åtskilda / 1, och multifile / 1 predikat direktiv.
• Stöd för nya meta predikat mall Lägesindikatorer: (/) för ett predikat indikator [/] för en lista över predikat indikatorer, och [0] för en lista över mål
.
• rättad en bugg i Logtalk kompilatorn vid kontroll meta-predikat klausul huvuden för fel där & quot; :: & quot; meta-argument lägesindikator fortfarande tolkas som & quot; 0 & quot;.
• Korrigerat ett fel i hanteringen av nedläggningar (i meta samtal) som används för att konstruera samtal för att kontrollera konstruktioner eller inbyggda predikat som skulle kunna resultera i att kalla vissa meta-argument i fel sammanhang. Tack vare Ulrich Neumerkel för illustrerande exempel på sändlistan SWI-Prolog.
• Uppdaterade Logtalk kompilator för att undvika tryck varningar om saknade hänvisningar till & quot; expandera & quot; och & quot; övervakning & quot; inbyggda protokoll vid sammanställningen moduler som objekt.
• återgick förändringar i version 2.39.2 som tillät pseudo-objekt & quot; användare & quot; till praktiskt taget innehåller definitionen av alla Prolog inbyggda predikat. Detta kan leda till olika resultat beroende på back-end Prolog kompilator, speciellt när du ringer meta predikat inom ramen för & quot; användare & quot;.
• rättad en bugg i SWI-Prolog & quot; swihooks.lgt & quot; fil som resulterade i en falsk felmeddelande om ett ogiltigt Logtalk flagga när hört en Prolog-fil när det finns en Logtalk källfilen med samma namn i samma katalog.
• Inkom saknas stöd för egen inbyggda meta predikat till B-Prolog, SICStus Prolog, SWI-Prolog, XSB och YAP konfigurationsfiler.
• Uppdaterade SICStus Prolog, SWI-Prolog, och YAP konfigurationsfiler för att åsidosätta de meta predikat mallar för samråd / 1 och load_files / 2 inbyggda predikat.
• Lade till ett genomförande av en map_reduce / 5 meta-predikat till biblioteksobjekt & quot; meta & quot;.
• Lade till ett genomförande av en command_line_arguments / 1 predikat till & quot; cc & quot; exempel.
• Uppdaterade & quot; lambdas & quot; och & quot; metapredicates & quot; exempel, som visar hur man beräknar Fibonacci-tal med hjälp av ett veck vänster meta predikat. Uppdaterade & quot; metapredicates & quot; exempel med ett användningsexempel av map_reduce / 5 meta-predikat.
• Uppdaterade & quot; problog & quot; exempel lägga preliminärt stöd för den nya kommenterade avskiljts syntax.
• Lade till en & quot; magic & quot; element till Logtalk mime-filtyp för freedesktop.org delade mime-info databas.

Vad är nytt i version 2.42.0.

• Lade till ett genomförande av ihållande objekt flaggor
• Lade till en ny par inbyggda predikat, conforms_to_protocol / 2-3, genomförande av transitiva stängningen av protokollimplementering relation.
• Inkom en experimentell direktiv anteckning / 1, för att stödja Logtalk integration med andra språk som ProbLog och CHR.