Logtalk

Logtalk er en åpen kildekode objektorientert utvidelse til Prolog programmeringsspråk. Integrering logikk programmering med objektorientert og hendelsesdrevet programmering, er den kompatibel med de fleste Prolog kompilatorer.
Logtalk støtter både prototyper og klasser. I tillegg støtter den komponentbasert programmering gjennom kategori basert sammensetning

Egenskaper .

• Separasjon mellom grensesnitt og implementering:
• predikat direktiver (erklæringer) kan være inneholdt inne protokoller (grensesnitt), som kan iverksettes av ethvert objekt.


• para objekter:
• Objektnavn kan være sammensatte begrep inneholder frie variabler som kan brukes til å parametrize objekt predikater.


• Støtte for både klassebasert og prototype-baserte systemer:
• Du kan ha, i samme program, klassebasert hierarkier (med oppretting og spesialisering relasjoner) og prototypebaserte hierarkier (med skjøte relasjoner).


• Støtte for flere objekthierarkier:
• Du trenger ikke å være begrenset til en enkelt lang hierarki forankret i noen generiske objekt.


• Privat, beskyttet, og offentlig arv:
• Logtalk støtter private, beskyttet, og offentlig arv på en måte som ligner på C. Videre kan enhver enhet forhold være kvalifisert hjelp av et omfang søkeord.


• Privat, beskyttede og offentlig objekt predikater:
• Angi omfanget av objektet predikater å matche din protokolldesign og la runtime systemet håndheve dine valg.


• Statiske og dynamiske objekter:
• Objekter kan være enten statisk eller dynamisk. Statiske objekter er definert i kildefiler som er kompilert og lastet på samme måte som Prolog filer. Dynamisk objekt kan enten defineres i kildefilene eller opprettet under kjøring.


• Statisk og dynamisk objekt predikater:
• Enhver statisk objekt kan inneholde både statiske og dynamiske predikater.


• En pre-prosessor, slik at vi kan bruke standard Prolog syntaks:
• Logtalk bruker standard Prolog syntaks med tillegg av noen få operatører og direktiver for en jevn læringskurve.


• Hendelsesstyrt programmering:
• predikater kan implisitt kalles når en spionert hendelse inntreffer, slik at programmering løsninger som minimerer objekt kobling. I tillegg hendelser gir støtte for atferds refleksjon.


• Komponent-basert programmering:
• predikater kan være innkapslet inne kategorier, som kan være praktisk talt importert av et objekt, uten noen kode duplisering og uavhengig av objekthierarkier. Dermed kan objekter defineres gjennom sammensetningen av kategorier, som fungerer som finkornet enheter kode av gjenbruk.


• Multi-arv støtte:
• Logtalk støtter multi-arv av både protokoll og gjennomføring. Et objekt kan gjennomføre flere protokoller og utvide, spesialisere seg, eller instantiate flere objekter. Multi-arve konflikter løses implisitt ved de Logtalk oppslags algoritmer eller eksplisitt ved hjelp av underliggende direktiver.


• God ytelse:
• Logtalk kode er utarbeidet etter de samme teknikk som du bruker til å skrive effektiv Prolog kode. I tillegg er metoden oppslag bufres av Logtalk runtime motor, mye bedre ytelse. Benchmark resultater for enkelte Prolog kompilatorer er tilgjengelig her.


• Tett integrasjon med ISO Prolog Standard:
• Logtalk er designet for smidig integrasjon med noen Prolog kompilator som samsvarer eller tett følger ISO Prolog Standard.


• Kompatibel med de fleste Prolog kompilatorer:
• Logtalk grensesnitt med en bestemt Prolog kompilator via en minimal konfigurasjonsfil gjør den kompatibel med nesten alle moderne kompilator.


• Automatisk generering av XML-filer med dokumentasjon:
• Logtalk genererer automatisk en dokumentasjonsfil i XML-format for hver kompilert objekt, protokoll, eller kategori. Systemet inneholder all nødvendig XSL (T) filer og skript for å konvertere dokumentere filer til (X) HTML og PDF.
• Logtalk kjører på nesten hvilken som helst datamaskin med en Prolog kompilator (hoved utviklingsmiljø er en Apple Powerbook G4 som kjører MacOS X). Grensesnittet mellom Logtalk og en bestemt Prolog kompilator gjøres via en konfigurasjonsfil.
• Denne filen inneholder noen Logtalk spesifikke predikater og implementeringer for ISO Prolog standard predikater ikke tilgjengelig i Prolog kompilatoren.


• Skriftlig Logtalk Jeg har prøvd å følge Prolog ISO-standard når det er mulig. Evner som trengs av Logtalk som ikke er definert i del I i ISO-standarden er:


• tilgang til predikat egenskaper (dynamisk, statisk, built_in):
• Forutsatt at din favoritt Prolog har disse funksjonene nevnt ovenfor, gjør en konfigurasjonsfil er veldig enkelt. Den Logtalk pakken allerede inneholder konfigurasjonsfiler for de vanligste Prolog kompilatorer. For optimal ytelse, krever Logtalk at Prolog kompilatoren støtter første argument indeksering for både statisk og dynamisk kode.


• Logtalk utvikling og testing er i dag utføres ved hjelp av følgende Prolog kompilatorer (i alfabetisk rekkefølge):
• GNU Prolog 1.2.18
• SWI Prolog 5.4.7
• YAP 4.5.7
• På grunn av at disse er sannsynligvis de beste valgene for å kjøre Logtalk (forutsatt at du står fritt til å bruke en av disse kompilatorer).


• I tillegg kjører med lite eller ingen endringer med følgende Prolog kompilatorer (i alfabetisk rekkefølge) Logtalk:
• 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
• Åpne 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

Hva er nytt i denne utgaven:

• Modifisert meldingen du sender mekanisme for å kalle & quot; før & quot; hendelsesbehandlinger før du utfører metoden oppslag. Denne endringen skal ha noen innvirkning på eksisterende kode, men gjør noen interessante programmer (f.eks mislykkes i stedet for å kaste et unntak når en melding ikke blir forstått).
• Mer konsekvent håndtering av kompilatoren flagg mellom å sette flagg verdier når kompilering / lasting av en fil, og når du bruker set_logtalk_flag / 2 innebygde predikat: i begge tilfeller, sette & quot; smart_compilation & quot; på vil slå av flagg & quot; ren & quot; flagg og sette & quot; ren & quot; på vil slå av flagg & quot; smart_compilation & quot; flagg. Også, sette & quot; debug & quot; flagg på vil slå av både & quot; smart_compilation & quot; og & quot; ren & quot; flagg.
• Lar myke snitt kontroll konstruere, (* - & gt;) / 2, da opprinnelig støttet av back-end Prolog kompilator, som skal brukes i kroppen av grammatiske regler (etter en bemerkning av Daniel Diaz mens de diskuterer GNU prolog støtte for den myke snitt kontroll konstruere).
• Korrigert en Logtalk kompilator bug når & quot; source_data & quot; flagget er på med back-end Prolog kompilatorer der ikke er mulig å hente posisjonen til en lese sikt.
• Korrigert en feil i sammenstillingen av meta_non_terminal / 1 direktiv hvor bare den første meta-argument ville være riktig behandlet.
• Oppdatert Eclipse config filen for å oppdage når du kjører Windows 64 bits systemer og for å ignorere ikke-predikat og ikke-operatør eksporten når forprosessering lib / 1 direktiver.
• Oppdatert enheten testen rammeverk for å skrive ut mer informative meldinger for mislykkede enhet tester.
• Lagt predikat delt / 4 (for å splitte en liste til underlister med en gitt lengde) til & quot; listp & quot ;, & quot; liste & quot ;, og & quot; difflist & quot; bibliotek enheter.
• Oppdatert & quot; cc & quot; eksempel med en definisjon for skallet / 2 predikat for CxProlog.
• Endret navn på objektene i & quot; mi & quot; eksempel for å unngå en navnekonflikt når du kjører eksempel enheten tester.
• Korrigert en feil i Windows Installer som hindret påvisning av YAP 64 bits versjoner. Takk til Stepan Ipatov som feilrapport.
• Korrigert en feil i Windows Installer som hindret brukere fra å tilpasse installasjonsmappen. Takk til Daniel Moniz som feilrapport og til Gavin Lambert for å diagnostisere feilen.
• Oppdatert Windows installasjonsskript for forbedret deteksjon av XSB og til standard for å installere kun per bruker filer når drevet av en som ikke er administrator på en datamaskin hvor Logtalk allerede er installert.
• Lagt grunnleggende støtte for LaTeX & quot; oppføringer & quot; pakke. Lagt notater på & quot; preget & quot; og & quot; texmates & quot; LaTeX pakker.
• Lagd notater på Textastic iPad tekst editor.
• Lagt grunnleggende syntaks farge og kode folding støtte for UltraEdit tekst editor.
• Oppdaterte Textmate bundle å deaktivere den automatiske innrykk korreksjoner introdusert i utviklingen versjon av Textmate 2.0.

Hva er nytt i versjon 2.44.0:

• Endret semantikk utfyller kategorier for å tillate patching både underliggende erklæringer og underliggende definisjoner av supplert objekter. Dette oppnås ved å sikre at predikat erklæring og definisjons oppslag starter på komplette kategorier før du ser på den suppleres objektet selv eller til sine tilknyttede enheter.
• Oppdaterte Logtalk kompilatoren for å generere en advarsel når kompilering en sammenfallende kategori for en suppleres objekt som ble kompilert med støtte for utfyller kategorier slått av.
• Korrigert en feil i behandlingen av meta-samtaler for meta-predikater hvor kallet sammenheng ville bli satt til & quot; dette & quot; i stedet for & quot; avsender & quot; når en meta-argument var en av de :: / 2, {} / 1,

Hva er nytt i versjon 2.43.3:

• Endret kompilatoren for å ta hensyn til bruk / 2-direktiv når kompilering samtaler til refleksjon innebygde metoder. Denne endringen utvider semantikken i bruk / 2-direktiv og tillater enklere migrering fra vanlig Prolog programmer til Logtalk.
• Oppdatert gjennomføringen av predicate_property / 2 innebygde metode, og legger et omfang / en eiendom.
• Oppdaterte Logtalk kompilatoren for å legge til informasjon om en kilde filnavn, kildefilen katalog, og kildefilen kompilatoren alternativer til de genererte Prolog filer. I tidligere versjoner, ble denne informasjonen registrert kun ved overføring av en kildefilen. Endringene forenkle byggesøknader hvor Logtalk bibliotekene er pre-kompilert og pre-lastet.
• Oppdaterte Logtalk kompilatoren for å skrive navnet på kroken gjenstand som brukes i utarbeidelsen av kildefilene når & quot; krok & quot; kompilatoren flagg er definert.
• Oppdatert den innebygde debugger for å unngå unødvendige valg poeng opprettet av back-end Prolog kompilatorer som trekker / en implementering klarer å dra nytte av logiske oppdatere semantikk ringe deterministisk.
• Korrigert en feil i Logtalk kompilatoren runtime handler der det ikke klarte å dekompilere interne foretakets identifikatorer når du kaster enhet eksistens unntak.
• Oppdatert Lean Prolog config fil, og legger til indeks / en direktiver for noen av de dynamiske predikater som brukes av de interne Logtalk runtime tabeller.
• Oppdaterte SWI-Prolog integrasjonsfiler for å teste for tilgjengeligheten av indeksen / 1-direktiv, som er foreldet etter den nye eksperimentelle SWI-Prolog støtte for just-in-time multi-argument indeksering.
• Lagd predikater subsequence / 4 (for å generere subsekvenser av en liste med en gitt lengde), erstatte / 4 (for å erstatte elementer i en liste), og hamming_distance / 3 til biblioteket & quot; listp & quot; og & quot; liste & quot; enheter.
• Lagt euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, og scalar_product / tre predikater til biblioteket & quot; numberlistp & quot; og & quot; numberlist & quot; enheter.
• Korrigert noen dumme feil i definisjonen av & quot; tegnet & quot; bibliotekobjekt predikater is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, og is_hex_digit / 1.
• Oppdatert biblioteket & quot; all_loader.lgt & quot; loader filen til også laste inn & quot; meta_compiler_loader.lgt & quot; loader filen.

Hva er nytt i versjon 2.43.1:

• Endret kompilatoren for å ta hensyn til bruk / 2-direktiv når kompilering samtaler til databasen innebygde metoder. Denne endringen utvider semantikken i bruk / 2-direktiv og tillater enklere migrering fra vanlig Prolog programmer til Logtalk.
• Lagt eksperimentell støtte for å bruke et predikat mal som argument til coinductive / ett direktiv. Denne malen gjør at spesifisering av hvilke argumenter er meningsfylt for coinductive suksess. Basert på lignende funksjonalitet funnet på på Feliks Kluzniak sin DRA meta-tolk.
• Forbedret støtte for debugging coinductive predikater når du bruker Logtalk innebygd debugger.
• Fjernet coinduction støtte for CxProlog. Den gjeldende versjonen av denne kompilatoren mangler en myk snitt innebygd predikat eller kontroll konstruere, som nå kreves av den eksperimentelle coinduction gjennomføring.
• Løftet en langvarig begrensning som forhindret brukeren definisjon av wrapper predikater for bagof / 3 og setof / 3 innebygde metoder når målet argumentet kan bruke ^ / 2 eksistensiell kvantifikator.
• Lagt til støtte for & quot; ^ & quot; meta-predikat meta-argument modus specifier foreslått av Jan Wielemaker og funnet på SWI-Prolog 5.11.25. Denne modusen specifier er nyttig når du definerer wrappers for bagof / 3 og setof / tre innebygde metoder når målet argumentet kan bruke ^ / 2 eksistensiell kvantifikator.
• Lagd & quot; prolog_compiler & quot; og & quot; prolog_loader & quot; kompilatoren flagg, som tillater passerende alternativer til back-end Prolog kompilatoren innebygde predikater som kompilere til disk og laste en (samlet) Prolog flagg. Standardverdien for både flagg er den tom liste.
• Korrigert en feil når kompilering samtaler til Prolog proprietær innebygd meta predikater hvor Logtalk kompilatoren kan forsøke å behandle ikke-meta argumenter som mål. Denne feilen bare manifestert seg med noen back-end Prolog kompilatorer som Eclipse.
• Korrigert en feil i behandlingen av betinget kompilering direktiver.
• Korrigert en bug som forhindret passerer alias / tre direktiver på samtaler til create_object / 4, create_category / 4, og create_protocol / tre innebygde predikater.
• Fjernet fra den innebygde objekt & quot; logtalk & quot; de decompile_predicate_head / 4 og decompile_predicate_indicator / 4 utdaterte metoder.
• Fjernet støtte for lenge frarådet Logtalk metapredicate / ett direktiv.
• Korrigert en forestilling bug når caching samtaler til kategori predikater hvor de lagrede oppføringer kan være mer spesifikk enn nødvendig når du arbeider med para kategorier.
• Bedre caching av & quot; super & quot; kaller innenfra prototyper. Tidligere ville alle hurtigbufferpostene være spesialisert av verdien av & quot; selv & quot; for å riktig håndtere de spesielle tilfeller hvor et objekt både instantiates og spesialiserer andre objekter.
• Oppdaterte Logtalk kompilatoren for å aktivere eventuelle operatørerklæringer funnet på underliggende omfang direktiver ved oppstillingen av enhetene som inneholder direktivene.
• Forbedret ytelse coinductive predikater ved bruk av back-end Prolog kompilatorer som SICStus Prolog som ikke gir den myke snitt kontroll konstruere men gi den myke snitt innebygd meta-predikat (hvis / 3).
• Rettet en feil der en falsk rapport om kompilering / laste advarsler kan skrives ut når en kildefil ble kompilert / lastet med kompilatoren flagg & quot; rapporten & quot; slått av.
• Lagt til en & quot; streamvars & quot; bibliotekobjekt, avledet fra den eksisterende & quot; assignvars & quot; bibliotek kategori, med støtte for å legge til og hente vilkår (som kan være variabler) fra en & quot; stream & quot; variabel.
• Oppdatert & quot; coinduction & quot; eksempel, drar nytte av den forbedrede coinductive / ett direktiv og utvide antall enkelteksempler som kan kjøres ved hjelp SICStus Prolog. Lagt til en modell sjekke eksempel bruker coinduction, coroutining, og begrensninger, bidratt med Neda Saeedloei.
• Oppdatert & quot; metapredicates & quot; eksempel med eksempelkode som illustrerer hvordan man definerer wrappers for bagof / 3 og setof / tre innebygde metoder når meta-argumentet kan inneholde eksistensielt kvalifiserte variabler.
• Oppdatert & quot; cc & quot; eksempel korrigere underliggende definisjoner for flere back-end Prolog kompilatorer og legge noen grunnleggende enhet tester.
• Oppdatert & quot; kodinger & quot; eksempel med begrenset støtte for Lean Prolog.
• Lagt manglende oppføringer for meta_non_terminal / 1-direktiv og for samtalen // N non-terminal i & quot; hjelp & quot; eksempel.
• Lagt til en parser for PDDL 3,0 filer, bidratt med Robert sasak.
• Lagd kode folding støtte til SubEthaEdit tekst editor. Lagt til kode folding støtte for betinget kompilering kvartaler til Kate, Vim, og Textmate tekst redaktører.
• Oppdatert integrerings skript for å laste bibliotekstier fil før du legger i Logtalk kompilatoren / runtime. Denne endringen har som mål å forenkle lasting av bibliotek og eksempelfiler fra innstillingsfiler. I tillegg også se etter Logtalk installasjonsmappen i $ HOME / share når LOGTALKHOME miljøvariabelen ikke er definert. Takk til vator Santos Costa for forslaget.
• Oppdatert Windows-installasjonsprogrammet for å støtte Lean Prolog og oppdage YAP 64 bits versjoner.

Hva er nytt i versjon 2.43.0:.

• Lagt eksperimentell støtte for Lean Prolog
• Endret feilrapportering av Logtalk kompilatoren og runtime. Alle unntaksvilkår bruker nå, når det er mulig, feilen (Feil, logtalk (Goal, Entity))
• format. Endret den interne feilsjekking å bruke, når praktisk, den nye '$ lgt_must_be' / 2-3 interne predikater.
• Lagt en & quot; optimalisere & quot; hvis standardverdien er & quot flagg,; på & quot ;. Dette flagget gir brukeren mulighet til å slå av eksisterende optimaliseringer for f.eks debugging oppgaver (den
• for tiden implementert optimaliseringer inkluderer fjerning av overflødige samtaler til sann / 0 fra kroppen av kompilerte underliggende klausuler og fjerning av
• overflødige samtaler til (=) / 2 fra kroppen av klausuler som genereres av utvidelsen av grammatiske regler).
• Lagt til en & quot; source_data & quot; hvis standardverdien er & quot flagg,; på & quot ;. Med dette flagget satt til & quot; på & quot ;, Logtalk vil holde informasjonen representert ved hjelp av modus / 2,
• info / 1-2, bruker / 2, og use_module / 2 direktiver pluss kilde posisjonsdata (inkludert kilde filnavn og linjenummer), nyttig både for debugging
• og for integrasjon med utviklingsverktøy. Dette flagget kan slås av for å generere mer kompakt kode. Den parameter_names / ett objekt og
• kategori eiendommen er fjernet for å unngå redundans.
• Gjennomført beskyttet / 1 og privat / 1 eiendommer for gjenstander, protokoller og kategorier. Sammen med publikum / en eiendom, disse egenskapene
• lar listen over predikater deklarert i foretaket som skal åpnes for reflekterende beregninger. Implementert erklærer / 2, definerer / 2, includes / 3,
• og gir / tre eiendommer for å få tilgang til egenskapene til predikater erklært og definert innenfor en enhet. Erklæring egenskaper inkluderer line_count / 1, linjenummer for predikatet omfang direktivet. Definisjon egenskaper inkluderer line_count / 1, linjenummeret til sjef for den første
• klausul for predikatet, og number_of_clauses / 1, antall klausuler for predikatet. Også gjennomført eksperimentelle bruksområder / 3 og use_module / 3 eiendommer.
• Lagt til en predikat eiendom, redefined_from / 1, slik spørring om objektet eller kategori som inneholder et predikat definisjon som er omdefinert.
• Lagt til en loaded_file / 3 predikat til & quot; logtalk & quot; innebygd objekt, som utfyller den eksisterende loaded_file / 2 predikat og gir tilgang til
• eksplisitte alternativer brukes når filen ble kompilert og lastet.
• Gjennomført kompilatoren støtte for meta_non_terminal / ett direktiv og samtalen // N innebygd ikke-terminal.
• Forenklet sammenstillingen av grammatiske regler ved å fjerne støtte for håndtering av ikke-terminal omfang og eksistens feil på grammatikk regelen
• nivå i stedet for predikatet nivå. Selv om denne funksjonen kan være nyttig når debugging grammatiske regler, det komplisert å integrere Logtalk med Prolog-innfødte utviklingsverktøy.
• Oppdaterte Logtalk kompilatoren for å spare på foretaket klausul steder og gjøre denne informasjonen tilgjengelig for back-end Prolog kompilatorer.
• Oppdaterte Logtalk kompilatoren for å unngå å generere unødvendige interne CatchAll klausuler for predikatet erklæring og definisjons tabeller for dynamiske enheter.
• Oppdaterte Logtalk kompilatoren for å utelukke å bruke multifile predikater for å bryte objekt innkapsling. En primær erklæring
• enhet må eksistere, som inneholder både et omfang og en multifile direktiv for predikatet. I tillegg definerer klausuler for en multifile
• Entity :: Funktor / Arity uten en tilsvarende multifile / 1 Direktivet vil nå føre til en kompileringsfeil i stedet for bare en advarsel.
• Fjernet Logtalk kompilatoren begrensning som tvang discontiguous / 1 og dynamiske / 1 direktiver å gå foran samtaler til de erklærte predikater.
• Forbedret Logtalk kompilatoren rapport av feilstavede samtaler til ikke-terminaler i grammatiske regler.
• Tillat bruk av:. / 1 ​​kontroll konstruere på kroppen av grammatiske regler
• Når debugging meldinger du har angitt i bruker / to direktiver, meldingen er nå skrevet ut implisitt kvalifisert som i kildekoden er skrevet av brukeren.
• Endret interne predikater som brukes i gjennomføringen av de innebygde multi-threading predikater for å lette integreringen med
• høyt nivå debugging verktøy som krever dekompilering av den genererte Prolog koden.
• Korrigert en feil introdusert i Logtalk 2.42.4 på sammenstillingen av foretakets predikater som kaller synkroniserte predikater. Denne feilen førte samtaler
• blir gjort i stedet til de ikke-synkronisert former av predikater, noe som vil manifestere i tilfeldige feil av tråd mål.
• Korrigert en langvarig feil der en runtime-kompilert meta-samtale innen en kategori vil bli utarbeidet som en oppfordring til et predikat av objektet
• importere kategorien i stedet som en oppfordring til en lokal kategori predikat.
• Korrigert en langvarig feil der foretakets flagg verdiene satt lokalt bruker set_logtalk_flag / 2-direktiv ville klare å bli lagret i enheten
• kompilert kode.
• Korrigert en lang stående bug når avskaffe en dynamisk predikat i en ikke-prototype gjenstand der avskaffe / en metode ville lykkes uten
• predikatet blir faktisk avskaffet.
• Korrigert en feil i å sette riktig utførelse sammenheng når du ringer en meta-argument som krever en runtime samling i sammenheng med
• & quot; avsender & quot;.
• Korrigert en feil i utarbeidelsen av eksplisitt kvalifiserte samtaler til modul meta-predikater hvor modulen kvalifisering ville bli droppet fra
• kompilert samtale. Merk at disse samtalene vil bruke Logtalk meta-predikat semantikk (dvs. meta-argumenter vil bli kalt i sammenheng med den
• innringer) i stedet for de vanlige Prolog modul meta-predikat semantikk.
• Rettet en feil der coinduction stabler ikke ble initialisert når du bruker

Hva er nytt i versjon 2.42.4:

• Denne versjonen inkluderer kompilator, runtime, og multi- threading ytelsesoptimaliseringer, forbedrer kompilatoren feilmeldinger for de synkronisert / 1 og dynamiske / 1 direktiver, legger til støtte for å bevare operatør omfang informasjon og gi ut denne informasjonen til den automatisk genererte XML dokumentere filer, legger nye verktøyet predikater til logtalk objekt, forbedrer flere programmering eksempler, inkluderer en midlertidig løsning for en SWI-Prolog avinstalleringsprogram bug på Windows, og har bærbarhet oppdateringer for Qu-Prolog, SICStus Prolog, SWI-Prolog, XSB, og YAP.

Hva er nytt i versjon 2.42.3:

• Denne versjonen legger til støtte for å kalle dynamiske predikater i sammenheng med & quot; dette & quot; innenfra kategorier, legger til støtte for pre-kompilert klausul hoder, inneholder feilrettinger og forbedringer av den innebygde debugger, inkluderer forbedrede biblioteker og eksempler, legger til støtte for indexicals når du bruker SICStus Prolog CLP (FD) bibliotek, legger en eksperimentell eksempel på hjelp tilskrives variabler innenfor objekter og kategorier, og har bærbarhet oppdateringer for Eclipse, GNU Prolog, SICStus Prolog, og SWI-Prolog.

Hva er nytt i versjon 2.42.2:

• Denne versjonen forbedrer samling av samtaler til modul predikater , forbedrer kontroll av meta-argumenter i meta-predikat samtaler, forbedrer støtte for lambda-uttrykk, inkluderer en optimalisere kompilatoren for samtaler til bibliotekmeta predikater, legger nye biblioteker for logging av hendelser, som arbeider med timelige intervall relasjoner, og ved hjelp av heltall tellere, forbedrer eksisterende eksempler og biblioteker, legger til støtte for bruk av Javascript-baserte SyntaxHighlighter pakken, og har bærbarhet oppdateringer for GNU Prolog, Qu-Prolog, SICStus Prolog, SWI-Prolog, og XSB.

Hva er nytt i versjon 2.42.1:

• Denne versjonen legger til støtte for ny meta-predikat modus indikatorer, slik at støtte for mer Prolog proprietær innebygd meta predikater.
• Støtte ble lagt til for å avdekke og rapportere mangler dynamiske / 1 og discontiguous / 1 direktiver.
• En ny lo flagget ble lagt til.
• To meta-predikat kompilering feil ble rettet.
• Noen av eksemplene ble oppdatert.
• bærbarhet oppdateringer ble gjort for B-Prolog, SICStus Prolog, SWI-Prolog, XSB, og YAP.