Logtalk

Logtalk är en öppen källkod objektorienterad förlängning programmeringsspråket Prolog. Integrera logikprogrammering med objektorienterad och händelsestyrd programmering, är den kompatibel med de flesta Prolog kompilatorer.
Logtalk stöder både prototyper och klasser. Dessutom stöder det komponentbaserad programmering via kategori baserad sammansättning

Funktioner :.

• Separation mellan gränssnitt och genomförande:
• predikat direktiv (deklarationer) kan inne inne protokoll (gränssnitt), som kan genomföras med något föremål.


• Parametriska objekt:
• Objektnamn kan vara sammansatta termer som innehåller fria variabler som kan användas för att parametrize objekt predikat.


• Stöd för både klassbaserade och prototypbaserade system:
• Du kanske har i samma ansökan, klassbaserade hierarkier (med instansiering och specialiseringsrelationer) och prototypbaserade hierarkier (med förlängningsrelationer).


• Stöd för flera objekt hierarkier:
• Du behöver inte begränsas till en enda lång hierarki rotad i något generiskt objekt.


• Privat, skyddad och offentligt arv:
• Logtalk stödjer privata, skyddade, och allmänhetens arv på ett sätt som liknar C. Dessutom kan varje enhet relation vara kvalificerad hjälp av en omfattning sökord.


• private, protected och offentliga objekt predikat:
• Ange omfattningen av ditt objekt predikat att matcha din protokolldesign och låt runtime-systemet genomdriva dina val.


• Statiska och dynamiska objekt:
• Objekt kan vara antingen statiskt eller dynamiskt. Statiska objekt definieras i källfiler som sammanställs och lastas på samma sätt som Prolog-filer. Dynamisk objekt kan antingen definieras i källfiler eller skapas under körning.


• Statisk och dynamisk objekt predikat:
• Alla statiskt objekt kan innehålla både statiska och dynamiska predikat.


• En pre-processor så att vi kan använda standard Prolog syntax:
• Logtalk använder standard Prolog syntax med tillägg av ett fåtal aktörer och direktiv för en jämn inlärningskurva.


• Händelsestyrd programmering:
• Predikat kan implicit kallas när en spionerade händelse inträffar, så att programmeringslösningar som minimerar objektkoppling. Dessutom händelser ger stöd för beteende reflektion.


• Komponentbaserad programmering:
• Predikat kan kapslas inuti kategorier, som kan så gott som importeras av något föremål, utan någon kod dubbelarbete och oberoende av objekthierarkier. Således kan objekten definieras genom sammansättning kategorier, som fungerar som finkornig enheter kod återanvändning.


• Multi arv stöd:
• Logtalk stöder multi-arv av både protokollet och genomförande. Ett objekt kan genomföra flera protokoll och utöka, specialiserade, eller initiera flera objekt. Flerarvskonflikter löses implicit av Logtalk lookup algoritmer eller explicit med hjälp predikat direktiv.


• Bra resultat:
• Logtalk koden kompileras med hjälp av samma teknik som du använder för att skriva effektiva Prolog-kod. Dessutom är metoduppslag cachad av Logtalk runtime motorn, kraftigt förbättra prestanda. Benchmark resultat för vissa Prolog kompilatorer finns här.


• Stäng integration med ISO Prolog Standard:
• Logtalk är utformad för smidig integration med alla Prolog kompilator som överensstämmer eller nära följer ISO Prolog standard.


• Kompatibel med de flesta Prolog kompilatorer:
• Logtalk gränssnitt med en specifik Prolog kompilator via en minimal konfigurationsfil gör den kompatibel med nästan alla moderna kompilator.


• Automatisk generering av XML dokumentationsfiler:
• Logtalk genererar automatiskt en dokumentation i XML-format för varje samman objektet, protokoll, eller kategori. Systemet omfattar all nödvändig XSL (T) filer och skript för att konvertera dokumentera filer till (X) HTML och PDF.
• Logtalk körs på nästan alla datorer med en Prolog kompilator (huvud utvecklingsmiljö är en Apple PowerBook G4 kör MacOS X). Gränssnittet mellan Logtalk och en specifik Prolog kompilator sker via en konfigurationsfil.
• Den här filen innehåller vissa Logtalk specifika predikat och implementeringar för ISO Prolog standarden predikat inte tillgänglig i Prolog kompilator.


• Skriftligen Logtalk Jag har försökt att följa Prolog ISO-standarden när det är möjligt. Resurser som behövs av Logtalk som inte definieras i del I i ISO-standarden är:


• tillgång till predikat egenskaper (dynamisk, statisk, built_in):
• Förutsatt att din favorit Prolog har dessa möjligheter som nämnts ovan, gör en konfigurationsfil är mycket enkelt. Den Logtalk paketet ingår redan konfigurationsfiler för de vanligaste Prolog kompilatorer. För optimal prestanda, kräver Logtalk att Prolog kompilator stöder första argumentet indexering för både statisk och dynamisk kod.


• Logtalk Develope och testning för närvarande utförs med hjälp av följande Prolog kompilatorer (i alfabetisk ordning):
• GNU Prolog 1.2.18
• SWI Prolog 5.4.7
• YAP 4.5.7
• På grund av detta, dessa är förmodligen dina bästa val för att köra Logtalk (förutsatt att du är fri att använda en av dessa kompilatorer).


• Dessutom Logtalk körs med små eller inga ändringar med följande Prolog kompilatorer (i alfabetisk ordning):
• ALS Prolog 3,1
• Amzi! Prolog 6.22 ~ 7.x
• BinProlog 8.x ~ 10.x
• B-Prolog 4,0, 5,0, 6.x
• CIAO Prolog 1.10p5
• Eclipse 5.5 ~ 5.8
• IF / Prolog 5.x
• JIProlog 3.0.1-2
• K-Prolog 5.1.2a
• LPA MacProlog32 1.25
• LPA WinProlog32 4,0x
• MasterProlog 4.1
• Öppna 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

Vad är nytt i den här versionen:

• Ändrad meddelandet skickas mekanism för att ringa & quot; innan & quot; händelsehanterare innan utföra metoden lookup. Denna förändring bör ha någon inverkan på befintlig kod men tillåter några intressanta tillämpningar (t.ex. misslyckas istället för att kasta ett undantag när ett meddelande inte förstås).
• Mer konsekvent hantering av kompilatorflaggor mellan inställning flagga värden vid sammanställningen / laddar en fil och när du använder set_logtalk_flag / 2 inbyggda predikat: i båda fallen, inställning av & quot; smart_compilation & quot; flagga på kommer att stänga av & quot; ren & quot; flagga och inställning av & quot; ren & quot; flagga på kommer att stänga av & quot; smart_compilation & quot; flagga. Också, inställning av & quot; debug & quot; flagga på stängs både & quot; smart_compilation & quot; och & quot; ren & quot; flaggor.
• Låter soft-cut kontroll konstruktion, (* - & gt;) / 2, när inbyggt stöd av back-end Prolog kompilator, som ska användas i kroppen av grammatiska regler (efter en anmärkning av Daniel Diaz medan diskutera GNU Prolog stöd för den mjuka skuren kontroll konstruktion).
• Korrigerat ett Logtalk kompilator bugg när & quot; source_data & quot; flaggan är på med back-end Prolog kompilatorer där inte är möjligt att hämta positionen för ett läst sikt.
• Korrigerat en bugg i sammanställningen av meta_non_terminal / 1 direktivet där endast den första meta-argumentet skulle vara korrekt bearbetas.
• Uppdaterad ECLIPSE konfigurationsfil för att upptäcka när man kör på Windows 64 bitar system och att ignorera icke-predikat och icke-operatörs export när förbehandlings lib / 1 direktiven.
• Uppdaterad ramverket 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.
• Ändrad namnen på objekten i & quot; mi & quot; exempel för att undvika en namnkonflikt när man kör exempel enhetstester de.
• Korrigerat en bugg i Windows installationsprogram som förhindrade upptäckt av YAP 64 bitar versioner. Tack vare Stepan Ipatov för felrapporten.
• Korrigerat en bugg i Windows installationsprogram som hindrade användare från att anpassa installationskatalogen. Tack till Daniel Moniz för felrapporten och Gavin Lambert för att diagnostisera felet.
• Uppdaterade Windows Installer script för förbättrad detektering av XSB och till standard för att installera endast de per användare filer när som drivs av en icke-admin användare på en dator där Logtalk redan är installerat.
• Inkom grundläggande stöd för LaTeX & quot; listor & quot; paket. Lades anteckningar på & quot; präglade & quot; och & quot; texmates & quot; LaTeX-paket.
• Lades anteckningar på Textastic iPad textredigerare.
• Inkom grundläggande syntax färgning och kod fällbara stöd för Ultraedit textredigerare.
• Uppdaterade Textmate bunta att inaktivera de automatiska indrag korrigeringar införs i utvecklingsversionen av Textmate 2.0.

Vad är nytt i version 2.44.0:

• Ändrad semantik för att komplettera kategorier att tillåta patchning både predikat deklarationer och predikat definitioner av kompletteras objekt. Detta uppnås genom att säkerställa att predikat deklaration och definition uppslag börjar vid kompletterar kategorierna innan du tittar in i den kompletterade själva objektet eller till dess närstående enheter.
• Uppdaterade Logtalk kompilatorn för att generera en varning vid sammanställningen ett komplement kategori för en kompletterade objekt som sammanställdes med stöd för att komplettera kategorier avstängd.
• Korrigerat ett fel i behandlingen av metalyser meta predikat där den uppringande sammanhanget skulle ställas till & quot; detta & quot; istället för & quot; avsändaren & quot; när en meta-argument var en av :: / 2, {} / 1,

Vad är nytt i version 2.43.3:

• Ändrad kompilatorn att ta hänsyn till de användningsområden / 2 Direktivet vid sammanställningen samtal till reflektion inbyggda metoder. Denna förändring utvidgar semantiken för användningar / 2-direktivet och gör lättare migrering från vanlig Prolog program att Logtalk.
• Uppdaterad genomförandet av predicate_property / 2 inbyggda metoden, lägga till en räckvidd / 1 fastighet.
• Uppdaterade Logtalk kompilatorn att lägga till information om ett namn källfilen, källfilen katalogen, och källfilen kompilatoralternativ till de genererade Prolog filerna. I tidigare versioner, var denna information registreras endast när du läser in en källfil. Förändringarna förenklar bygga applikationer där Logtalk biblioteken är förkompilerade och förinstallerade.
• Uppdaterade Logtalk kompilatorn att skriva ut namnet på kroken objekt som används i sammanställningen av källfiler när & quot; krok & quot; kompilator flagga definieras.
• Uppdaterad den inbyggda debugger för att undvika onödiga val punkter som skapats av back-end Prolog kompilatorer vars dra / 1 implementering låter att utnyttja logiska uppdaterings semantik att ringa deterministisk.
• Korrigerat en bugg i Logtalk kompilatorn runtime handler där den inte dekompilera intern entitet identifierare när du kastar enhet existens undantag.
• Uppdaterad Lean Prolog konfigurationsfil, lägga index / 1 direktiv för en del av de dynamiska predikat som används av de interna Logtalk runtime tabeller.
• Uppdaterad de SWI-Prolog integrationsfiler till testet för tillgängligheten av index / 1 direktiv, som är föråldrat av den nya experimentella SWI-Prolog stöd för just-in-time multi-argumentet indexering.
• Lade predikat delsekvens / 4 (för att generera sekvenser av en lista med en given 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; lista & 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.
• Korrigerad några dumma buggar 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.
• Uppdaterad biblioteket & quot; all_loader.lgt & quot; loader fil för att även ladda & quot; meta_compiler_loader.lgt & quot; loader filen.

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 utvidgar semantiken för användningar / 2-direktivet och gör lättare migrering från vanlig Prolog program att Logtalk.
• Inkom experimentellt stöd för att använda ett predikat mall som argument till coinductive / 1 direktivet. Denna mall tillåter specifikation av vilka argument är meningsfulla för coinductive framgång. Baserat på liknande funktionalitet finns på den Feliks Kluzniak s DRA meta tolk.
• Förbättrat stöd för felsökning coinductive predikat när du använder Logtalk inbyggda debugger.
• Bort coinduction stöd för CxProlog. Den nuvarande versionen av denna kompilator saknar en mjuk skuren inbyggd predikat eller kontroll konstruktion, som nu krävs av den experimentella genomförande coinduction.
• Lifted 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 quantifier.
• Utökat stöd för & quot; ^ & quot; meta-predikat meta-argumentet läge specifikation föreslagits av Jan Wielemaker och hittade på SWI-Prolog 5.11.25. Detta läge specifice är användbart när man definierar omslag för bagof / 3 och setof / 3 inbyggda metoder när målet argumentet kan använda ^ / 2 existentiell quantifier.
• Lade & quot; prolog_compiler & quot; och & quot; prolog_loader & quot; kompilatorflaggor, som tillåter passerande alternativ till 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 patenterade inbyggda meta- predikat där Logtalk kompilatorn kunde försöka bearbeta icke meta- argument som mål. Denna bugg bara visade sig med några back-end Prolog kompilatorer såsom Eclipse.
• Korrigerat ett fel i behandlingen av direktiven villkorlig kompilering.
• Korrigerat en bugg som hindrade passerar alias / 3 direktiv om samtal till create_object / 4, create_category / 4, och create_protocol / 3 inbyggda predikat.
• Borttagen från den 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 kategori 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 inifrån prototyper. Tidigare skulle alla cachade poster vara specialiserade med värdet av & quot; själv & quot; för att korrekt hantera de speciella fall där ett föremål både instansieras och specialiserat andra objekt.
• Uppdaterade Logtalk kompilatorn att aktivera eventuella operatörsdeklarationer finns på direktiv predikat omfattning under sammanställningen av de enheter som innehåller direktiven.
• Förbättrad prestanda coinductive predikat när back-end Prolog kompilatorer såsom SICStus Prolog som inte ger den mjuka skuren kontroll konstruktion men ger den mjuka skuren inbyggd meta-predikat (om / 3).
• Korrigerat ett fel där en falsk rapport sammanställning / last varningar kan skrivas ut när en källfil sammanställdes / lastad med kompilatorn flaggan & quot; rapporten & quot; avstängd.
• Inkom en & quot; streamvars & quot; biblioteksobjekt, som härrör från den befintliga & quot; assignvars & quot; bibliotekskategori, med stöd för att lägga till och hämta termer (som kan vara variabler) från en & quot; stream & quot; variabel.
• Uppdaterade & quot; coinduction & quot; exempel dra nytta av den förbättrade coinductive / 1 direktivet och bredda antalet enskilda exempel som kan köras med hjälp SICStus Prolog. Lade till en modell kontrollera exempel använder coinduction, coroutining och begränsningar, bidrar med Neda Saeedloei.
• Uppdaterade & quot; metapredicates & quot; exempel med exempelkod illustrerar 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 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 direktivet och för samtalet // N icke-terminal till & quot; hjälpa & quot; exempel.
• Inkom en parser för PDDL 3,0-filer, bidragit med Robert Sasak.
• Lade kod fällbara stöd till SubEthaEdit textredigerare. Inkom kod fällbara stöd för villkorlig kompilering kvarter till Kate, Vim, och Textmate texteditorer.
• Uppdaterad skripten integrations för att ladda biblioteket vägarna 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 också leta efter Logtalk installationskatalogen i $ HOME / aktie när LOGTALKHOME miljövariabeln inte är definierad. Tack Till Vator Santos Costa för förslaget.
• 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
• Ändrad felrapportering av Logtalk kompilator och runtime. Alla undantag termer använder nu, när det är möjligt, felet (Fel, logtalk (Goal, Entity))
• format. Bytt interna felkontroll att använda, när praktiskt, den nya "$ lgt_must_be '/ 2-3 interna predikat.
• Inkom en & quot; optimera & quot; flagga, vars standardvärde är & quot; på & quot ;. Denna flagga tillåter användaren att stänga befintliga optimeringar för t.ex. felsökning uppgifter (på
• för närvarande genomförda optimeringar omfatta avlägsnande av överflödiga samtal till true / 0 från kroppen av kompilerade predikat klausuler och avlägsnandet av
• redundanta samtal till (=) / 2 från kroppen av klausuler som genereras av utbyggnaden av grammatiska regler).
• Lade till en & quot; source_data & quot; flagga, vars standardvärde är & quot; på & quot ;. Med denna flagga satt till & quot; på & quot ;, Logtalk kommer hålla informationen representeras med läge / 2,
• info / 1-2, använder / 2, och use_module / 2 direktiven plus källlokaliseringsuppgifter (inklusive namn källfilen och radnummer), användbara både för felsökning
• och för integration med utvecklingsverktyg. Denna flagga kan stängas i syfte att generera mer kompakt kod. Den parameter_names / 1 objekt och
• kategori egendom avlägsnas för att undvika redundans.
• Genomfört skyddade / 1 och privat / 1 fastigheter för objekt, protokoll och kategorier. Tillsammans med allmänheten / 1 egendom, dessa egenskaper
• gör en lista av predikat deklarerats i den enhet som ska nås för reflekterande beräkningar. Implemented förklarar / 2, definierar / 2, innefattar / 3,
• och ger / 3 fastigheter för åtkomst egenskaper predikat deklareras och definieras inom en enhet. Deklaration egenskaper inkluderar line_count / 1, linje antalet direktivet predikatet omfattning. Definition egenskaper inkluderar line_count / 1, radnumret av huvudet av den första
• klausul för predikatet och number_of_clauses / 1, antalet klausuler för predikatet. Också genomfört experimentella användningar / 3 och use_module / 3 fastigheter.
• Inkom ett predikat egendom, redefined_from / 1, vilket gör att fråga om det föremål eller kategori som innehåller ett predikat definition som omdefinieras.
• Inkom en loaded_file / 3 predikat till & quot; logtalk & quot; inbyggd objekt, som kompletterar den befintliga loaded_file / 2 predikat och ger tillgång till
• explicita alternativ används när filen kompileras och laddas.
• Genomfört kompilator stöd för meta_non_terminal / 1 direktivet och samtalet // N inbyggd icke-terminal.
• Förenklad sammanställning av grammatiska regler genom att ta bort stödet för att hantera icke-terminala omfattning och existens fel på grammatikregeln
• nivå istället för predikatet nivån. Även denna funktion skulle kunna vara till hjälp vid felsökning grammatiska regler, komplicerat det integrationen av Logtalk med Prolog-infödda utvecklingsverktyg.
• Uppdaterade Logtalk kompilatorn för att rädda de entitetsklausul platser och göra denna information tillgänglig för back-end Prolog kompilatorer.
• Uppdaterade Logtalk kompilatorn för att undvika att skapa onödiga interna catchall klausuler för predikatet deklaration och definition tabeller för dynamiska enheter.
• Uppdaterade Logtalk kompilatorn för att utesluta att använda multifile predikat för att bryta objekt inkapsling. En primär förklaring
• enhet måste finnas, som innehåller både en omfattning och en multifile direktiv för predikatet. Dessutom definierar klausuler för ett multifile
• Entity :: funktor / Ställighet utan en motsvarande multifile / 1 direktivet kommer nu att resultera i en sammanställning fel istället för att bara en varning.
• Tog bort Logtalk kompilatorn begränsningen som tvingade Åtskilda / 1 och dynamisk / 1 direktiven att föregå samtal till de deklarerade predikat.
• Förbättrad Logtalk kompilatorn rapport felstavade samtal till icke-terminaler i grammatikregler.
• Tillåt användning av:. / 1 ​​kontroll konstruera på kroppen av grammatiska regler
• När felsökningsmeddelanden som anges i användningsområden / 2-direktiv, budskapet trycks nu implicit kvalificerad som i källkoden skriven av användaren.
• Ändrade de interna predikat som används vid genomförandet av de inbyggda multi-threading predikat för att underlätta integrationen med
• högnivåfelsökningsverktyg som kräver dekompilering av den genererade Prolog-kod.
• Korrigerat en bugg introducerades i Logtalk 2.42.4 om sammanställning av entitets predikat som kallar synkroniserade predikat. Detta fel ledde samtal
• görs istället till de icke-synkroniserade former av predikat, som skulle manifestera i slumpmässiga misslyckanden gäng mål.
• Korrigerat en lång stående bugg där en runtime-kompileras meta samtal inom en kategori skulle sammanställas som en uppmaning till ett predikat av objektet
• importera kategorin istället som en uppmaning till en lokal kategori predikat.
• Korrigerat en lång stående bugg där entitets flagga värden fastställs lokalt använder set_logtalk_flag / 2-direktivet inte skulle sparas in i företaget
• kompilerad kod.
• Korrigerat en lång stående bugg när avskaffa en dynamisk predikat i en icke-prototypobjekt där avskaffa / 1-metoden skulle lyckas utan
• predikatet som faktiskt avskaffas.
• Korrigerat ett fel i att sätta rätt utförande sammanhanget när du ringer ett meta argument som kräver en runtime sammanställning i samband med
• & quot; avsändaren & quot;.
• Korrigerat ett fel i sammanställningen av explicit-kvalificerade samtal till modulen meta predikat där modulen kvalifikationer skulle tappas ur
• sammanställt samtal. Observera att dessa samtal kommer att använda Logtalk meta-predikat semantik (dvs. meta argument kommer att kallas i samband med
• ringer) istället för de vanliga Prolog modul meta-predikat semantik.
• Korrigerat en bugg där coinduction stackar inte initierades vid användning av

Vad är nytt i version 2.42.4:

• Denna version innehåller kompilator, runtime, och multi- gängprestandaoptimeringar, förbättrar kompilator felmeddelanden för synkroniserade / 1 och dynamisk / 1 direktiven, lägger till stöd för att bevara operatörs omfattning information och mata denna information till automatiskt genererade XML dokumentera infogar nya verktyget predikat till logtalk objektet, förbättrar flera programmering exempel, innehåller en lösning för en SWI-Prolog uninstaller bugg i Windows, och har uppdateringar portabilitet för Qu-Prolog, SICStus Prolog, SWI-Prolog, XSB och YAP.

Vad är nytt i version 2.42.3:

• Denna version lägger till stöd för att ringa dynamiska predikat i sammanhang & quot; detta & quot; inifrån kategorier, lägger till stöd för förkompilerade klausul huvuden, innehåller buggfixar och förbättringar av inbyggda debugger, inkluderar förbättrade bibliotek och exempel, lägger till stöd för indexikala när du använder SICStus Prolog CLP (FD) bibliotek, tillägger en experimentell exempel på använder skrivs variabler inom föremål och kategorier, och har uppdateringar portabilitet för Eclipse, GNU Prolog, SICStus Prolog, och SWI-Prolog.

Vad är nytt i version 2.42.2:

• Denna version förbättrar sammanställning av samtalen till modul predikat , förbättrar kontroll av meta argument i meta-predikat samtal, förbättrar stödet för lambda-uttryck, inkluderar ett optimerande kompilator för samtal till biblioteksmeta predikat, lägger till nya bibliotek för loggning händelser, som arbetar med tidsintervallrelationer, och med hjälp av heltal räknare, förbättrar befintliga exempel och bibliotek, lägger till stöd för att använda JavaScript-baserade SyntaxHighlighter paket, och har portabilitet uppdateringar för GNU Prolog, Qu-Prolog, SICStus Prolog, SWI-Prolog, och XSB.

Vad är nytt i version 2.42.1:

• Denna version lägger till stöd för nya meta predikat läge indikatorer, som möjliggör stöd för mer Prolog egen inbyggda meta predikat.
• Stöd sattes för att upptäcka och rapportera saknade dynamiska / 1 och Åtskilda / 1 direktiven.
• En ny ludd flagga sattes.
• Två meta predikat sammanställning buggar korrigerades.
• En del av exemplen uppdaterades.
• Portabilitet uppdateringar gjordes för B-Prolog, SICStus Prolog, SWI-Prolog, XSB och YAP.