Logtalk

Logtalk is een open source object-georiënteerde uitbreiding van de Prolog programmeertaal. Het integreren van logisch programmeren met objectgeoriënteerde en event-driven programmeren, het is compatibel met de meeste Prolog compilers.
Logtalk ondersteunt zowel prototypes en klassen. Daarnaast ondersteunt component-gebaseerde programmering via-categorie gebaseerde samenstelling

Kenmerken .

• scheiding tussen interface en implementatie:
• Predikaat richtlijnen (aangiften) kan worden opgenomen in protocollen (interfaces), die door een object kan worden geïmplementeerd.


• parametrische objecten:
• Object namen mogen samengestelde termen met vrije variabelen die gebruikt kunnen worden om object predikaten parametriseren.


• Ondersteuning voor zowel-class-based en prototype-gebaseerde systemen:
• U kan hebben, in dezelfde applicatie-klasse gebaseerde hiërarchieën (met concretisering en specialisatie relaties) en-prototype op basis van hiërarchieën (met extensie relaties).


• Ondersteuning voor meerdere objecthiërarchieën:
• Geen behoefte om te worden beperkt tot een enkele lange hiërarchie geworteld in een aantal generieke object.


• Privé, beschermd, en publieke erfenis:
• Logtalk ondersteunt private, protected en publieke erfenis op een manier vergelijkbaar met C. Anderzijds kan elke entiteit relatie worden gekwalificeerd met een reikwijdte trefwoord.


• Privé, beschermd, en de openbare object predikaten:
• Stel het bereik van uw object predikaten om uw protocol ontwerp aan te passen en laat de runtime-systeem af te dwingen uw keuzes.


• Statische en dynamische objecten:
• Objecten kunnen statisch of dynamisch. Statische objecten worden gedefinieerd in bronbestanden die worden samengesteld en op dezelfde wijze als Prolog bestanden geladen. Dynamische object kan ofwel worden gedefinieerd in bronbestanden of gemaakt tijdens de uitvoering.


• Statische en dynamische object predikaten:
• Een statisch object kan zowel statische als dynamische predikaten bevatten.


• Een pre-processor, zodat we standaard Prolog syntax kunt gebruiken:
• Logtalk maakt gebruik van standaard Prolog syntaxis met de toevoeging van enkele exploitanten en richtlijnen voor een vlotte leercurve.


• Event-driven programmeren:
• Predikaten kan impliciet worden genoemd wanneer een gespiede gebeurtenis plaatsvindt, waardoor de programmering oplossingen die voorwerp koppeling te minimaliseren. Bovendien, evenementen bieden ondersteuning voor gedragsverandering reflectie.


• Component-gebaseerde programmering:
• Predikaten kan worden ingekapseld in categorieën, die vrijwel kunnen worden geïmporteerd door een object, zonder enige code duplicatie en ongeacht objecthiërarchieën. Zo kunnen objecten worden gedefinieerd door middel van de samenstelling van de categorieën, die als fijnkorrelige eenheden code van hergebruik te handelen.


• Multi-erfenis ondersteuning:
• Logtalk ondersteunt multi-erfenis van zowel protocol en implementatie. Een object kan meerdere protocollen te implementeren en uit te breiden, gespecialiseerd, of een instantie van meerdere objecten. Multi-erfenis conflicten worden impliciet opgelost door de Logtalk lookup algoritmen of expliciet door het gebruik van predikaat richtlijnen.


• Goede prestaties:
• Logtalk code is opgesteld met behulp van dezelfde technieken die u gebruikt om efficiënt Prolog code te schrijven. Bovendien zijn werkwijze lookups gecached de Logtalk looptijdmachine, sterk verbeteren van de prestaties. Benchmark resultaten voor sommige Prolog compilers zijn hier beschikbaar.


• close integratie met de ISO-Prolog Standaard:
• Logtalk is ontworpen voor een soepele integratie met elke Prolog compiler die voldoet of volgt de ISO-Prolog Standard.


• Compatibel met de meeste Prolog compilers:
• Logtalk interfaces met een specifieke Prolog compiler via een minimale configuratie bestand waardoor het compatibel met vrijwel elke moderne compiler.


• Automatisch genereren van XML-documentatie-bestanden:
• Logtalk genereert een documentatiemap in XML-formaat voor elk samengesteld object, protocol of categorie automatisch. Het systeem omvat alle noodzakelijke XSL (T) bestanden en scripts om te zetten documenteren van bestanden naar (X) HTML en PDF.
• Logtalk draait op bijna elke computer met een Prolog compiler (de belangrijkste ontwikkelomgeving is een Apple PowerBook G4 draait MacOS X). De interface tussen Logtalk en een specifiek Prolog compiler vindt plaats via een configuratiebestand.
• Dit bestand bevat enkele Logtalk specifieke predikaten en implementaties voor ISO Prolog standaard predikaten niet beschikbaar in de Prolog compiler.


• Bij het schrijven van Logtalk Ik heb geprobeerd om de Prolog ISO-standaard te volgen waar mogelijk. Capaciteiten die nodig zijn door Logtalk die niet in het eerste deel van de ISO-norm worden gedefinieerd zijn:


• toegang tot eigenschappen (dynamische, statische, built_in) gezegde:
• Op voorwaarde dat uw favoriete Prolog heeft deze bovengenoemde mogelijkheden, het maken van een configuratiebestand is zeer eenvoudig. De Logtalk pakket bevat reeds configuratiebestanden voor de meest voorkomende Prolog compilers. Voor optimale prestaties Logtalk vereist dat de Prolog compiler ondersteunt eerste argument indexering voor zowel statische als dynamische code.


• Logtalk developement en testen wordt momenteel uitgevoerd met behulp van de volgende Prolog compilers (in alfabetische volgorde):
• GNU Prolog 1.2.18
• SWI Prolog 5.4.7
• YAP 4.5.7
• Vanwege dat, deze zijn waarschijnlijk uw beste keuzes voor het uitvoeren Logtalk (op voorwaarde dat je vrij bent om een ​​van deze compilers gebruiken).


• Daarnaast Logtalk loopt met weinig of geen wijzigingen aan de volgende Prolog compilers (in alfabetische volgorde):
• ALS Prolog 3.1
• Amzi! Proloog 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
• Open Prolog 1.1b10
• PrologII 4,5
• QU-Prolog 6.7
• Quintus Prolog 3.3 ~ 3,5
• SICStus Prolog 3.8 ~ 3.12.x
• XSB 2.6 ~ 2.7

Wat is nieuw in deze release:

• Modified het bericht verzenden mechanisme om de & quot noemen; vóór & quot; event handlers voor het uitvoeren van de methode lookup. Deze verandering moet geen invloed op bestaande code hebben, maar laat een aantal interessante toepassingen (bv falen in plaats van het gooien van een uitzondering wanneer een bericht niet wordt begrepen).
• Meer consistente afhandeling van compilervlaggen tussen het instellen van de vlag waarden bij het opstellen / het laden van een bestand en bij gebruik van de set_logtalk_flag / 2 ingebouwde predikaat: in beide gevallen is het instellen van de & quot; smart_compilation & quot; vlag op gaat uit de & quot; schoon & quot; vlag en het instellen van de & quot; schoon & quot; vlag op gaat uit de & quot; smart_compilation & quot; vlag. Ook het instellen van de & quot; debug & quot; vlag op gaat uit zowel de & quot; smart_compilation & quot; en & quot; schoon & quot; vlaggen.

/ 2, als standaard ondersteund door de back-end Prolog compiler, om gebruikt te worden in het lichaam van grammaticaregels (na een opmerking van Daniel Diaz tijdens de bespreking van GNU; -
• Hiermee kan de soft-cut controleconstruct, (* & gt) proloog steun voor de soft-cut controleconstruct).
• Gecorrigeerd een Logtalk compiler bug bij de & quot; source_data & quot; vlag is met back-end Prolog compilers indien niet mogelijk om de positie van een read term halen.
• Gecorrigeerd een bug in de samenstelling van de meta_non_terminal / 1 richtlijn waarin alleen de eerste meta-argument correct zou worden verwerkt.
• Bijgewerkt de Eclipse config file te detecteren wanneer draait op Windows 64-bits systemen en naar niet-predikaat en non-operator export negeren als pre-processing lib / 1-richtlijnen.
• Bijgewerkt de unit test kader om meer informatieve berichten te printen voor mislukte unit tests.
• Toegevoegd predikaat split / 4 (voor het splitsen van een lijst in sublijsten met een bepaalde lengte) om de & quot; listp & quot ;, & quot; lijst & quot ;, en & quot; difflist & quot; bibliotheek entiteiten.
• Bijgewerkt de & quot; cc & quot; Bijvoorbeeld met een definitie voor de shell / 2 predikaat voor CxProlog.
• Veranderde de namen van de objecten in de & quot; mi & quot; bijvoorbeeld om een ​​naam conflict bij het uitvoeren van het voorbeeld unit tests te voorkomen.
• Gecorrigeerd een bug in de Windows installer die detectie van YAP 64 bits versies voorkomen. Met dank aan Stepan Ipatov voor de bug rapport.
• Gecorrigeerd een bug in de Windows-installer die gebruikers verhinderd het aanpassen van de installatiemap. Met dank aan Daniel Moniz voor de bug report en Gavin Lambert voor de diagnose van de bug.
• Bijgewerkt de Windows installer script voor een betere opsporing van XSB en naar standaard alleen de per-gebruiker bestanden te installeren wanneer deze wordt uitgevoerd door een niet-admin gebruiker op een computer waarop Logtalk al is geïnstalleerd.
• Toegevoegd basisondersteuning voor de LaTeX & quot; lijsten & quot; pakket. Toegevoegd noten op de & quot; geslagen & quot; en & quot; texmates & quot; LaTeX pakketten.
• Toegevoegd toelichting op de Textastic iPad tekstverwerker.
• Toegevoegd elementaire syntaxiskleuren en code vouwen van steun voor de UltraEdit tekstverwerker.
• Bijgewerkt de TextMate bundelen om de automatische streepje correcties geïntroduceerd in de ontwikkeling versie van TextMate 2.0 uit te schakelen.

Wat is nieuw in versie 2.44.0:

• Veranderde de semantiek van aanvulling categorieën om patchen zowel toestaan predikaat verklaringen en predikaat definities van aangevuld objecten. Dit wordt bereikt door ervoor te zorgen dat predikaat verklaring en definitie lookups beginnen bij de aanvulling categorieën alvorens te kijken naar de aangevuld object zelf of in de met haar verbonden ondernemingen.
• Bijgewerkt de Logtalk compiler om een ​​waarschuwing te genereren bij het opstellen van een aanvulling categorie voor een aangevuld object dat werd gecompileerd met ondersteuning voor aanvulling categorieën uitgeschakeld.
• Gecorrigeerd een bug in de verwerking van meta-oproepen tot meta-predikaten waar de roeping context zou worden ingesteld op & quot; dit & quot; in plaats van & quot; afzender & quot; wanneer een meta-argument een van de :: / 2, {} / 1,

Wat is nieuw in versie 2.43.3:

• Veranderde de compiler om rekening te houden met het gebruik / 2 richtlijn bij het opstellen van oproepen naar de reflectie ingebouwde methoden. Deze verandering breidt de semantiek van het gebruik / 2-richtlijn en maakt het mogelijk makkelijker migratie van vlakte Prolog toepassingen Logtalk.
• Bijgewerkt de uitvoering van de predicate_property / 2 ingebouwde methode, het toevoegen van een scope / 1 woning.
• Bijgewerkt de Logtalk compiler om informatie toe te voegen over een bronbestand naam, bronbestand directory, en bronbestand compiler opties om de gegenereerde Prolog bestanden. In vorige versies was deze informatie alleen geregistreerd bij het laden van een bronbestand. De veranderingen vereenvoudigen bouwtoepassingen waar Logtalk bibliotheken zijn vooraf gecompileerd en vooraf geladen.
• Bijgewerkt de Logtalk compiler om de naam van de haak object dat wordt gebruikt bij de samenstelling van de bron bestanden af ​​te drukken wanneer de & quot; haak & quot; compiler vlag wordt gedefinieerd.
• Bijgewerkt de ingebouwde debugger om onnodige keuze punten gecreëerd door back-end Prolog compilers wiens trekken / 1 implementatie faalt om te profiteren van de logische-update semantiek om gesprekken deterministische te voorkomen.
• Gecorrigeerd een bug in de Logtalk compiler runtime handler waar het niet aan interne entiteitsidentificaties decompileren bij het werpen entiteit bestaan ​​uitzonderingen.
• Bijgewerkt de Lean Prolog configuratiebestand, het toevoegen index / 1 richtlijnen voor een aantal van de dynamische predikaten gebruikt door de interne Logtalk runtime tafels.
• Bijgewerkt de SWI-Prolog integratie bestanden om te testen voor de beschikbaarheid van de index / 1 richtlijn, die is afgekeurd door de nieuwe experimentele SWI-Prolog ondersteuning voor just-in-time multi-argument indexeren.
• Toegevoegd predikaten deelrij / 4 (voor het genereren van subsequenties van een lijst met een bepaalde lengte), vervangen / 4 (voor het vervangen van elementen in een lijst), en hamming_distance / 3 naar de bibliotheek & quot; listp & quot; en & quot; lijst & quot; entiteiten.
• Toegevoegd euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, en scalar_product / 3 predikaten naar de bibliotheek & quot; numberlistp & quot; en & quot; nummerlijst & quot; entiteiten.
• Gecorrigeerd wat domme fouten in de definitie van de & quot; karakter & quot; bibliotheek object predikaten is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, en is_hex_digit / 1.
• Bijgewerkt de bibliotheek & quot; all_loader.lgt & quot; meta_compiler_loader.lgt & quot; loader file om ook de & quot laden; loader file.

Wat is nieuw in versie 2.43.1:

• Veranderde de compiler om rekening te houden met het gebruik / 2 richtlijn bij het opstellen van gesprekken naar de database ingebouwde methoden. Deze verandering breidt de semantiek van het gebruik / 2-richtlijn en maakt het mogelijk makkelijker migratie van vlakte Prolog toepassingen Logtalk.
• Toegevoegd experimentele ondersteuning voor het gebruik van een predikaat template als argument om de coinductive / 1-richtlijn. Dit sjabloon maakt de specificatie van die argumenten zijn betekenisvol voor coinductive succes. Op basis van vergelijkbare functionaliteit vinden op op Feliks Kluzniak's DRA meta-tolk.
• Verbeterde ondersteuning voor het debuggen coinductive predikaten bij gebruik van de Logtalk ingebouwde debugger.
• Verwijderd coinduction ondersteuning voor CxProlog. De huidige versie van deze compiler mist een soft-cut ingebouwde predikaat of controleconstruct, die nu wordt vereist door de experimentele coinduction implementatie.
• Opgeheven een langdurige beperking dat de gebruiker definitie van wrapper predikaten verhinderd voor de bagof / 3 en setof / 3 ingebouwde methoden wanneer het doel het argument van de ^ / 2 existentiële kwantor kunnen gebruiken.
• Ondersteuning toegevoegd voor de & quot; ^ & quot; meta-predikaat meta-argument modus specificeerder voorgesteld door Jan Wielemaker en vinden op SWI-Prolog 5.11.25. Deze modus specificeerder is handig bij het definiëren van de verpakkingen voor de bagof / 3 en setof / 3 ingebouwde methoden wanneer het doel het argument van de ^ / 2 existentiële kwantor kunnen gebruiken.
• Toegevoegd & quot; prolog_compiler & quot; en & quot; prolog_loader & quot; compiler vlaggen, die het mogelijk maken het doorgeven van opties aan de back-end Prolog compiler ingebouwde predikaten die compileren naar de schijf en plaats een (samengesteld) Prolog vlag. De standaardwaarde voor beide vlaggen is de lege lijst.
• Gecorrigeerd een bug bij het opstellen van gesprekken naar Prolog gepatenteerde ingebouwde meta-predikaten waar de Logtalk compiler zou kunnen proberen om niet meta-argumenten te verwerken als doelen. Deze bug alleen manifesteerde zich met een aantal back-end Prolog compilers zoals Eclipse.
• Gecorrigeerd een bug in de verwerking van voorwaardelijke compilatie richtlijnen.
• Gecorrigeerd een bug die verhinderd passeren alias / 3 richtlijnen betreffende oproepen naar de create_object / 4, create_category / 4, en create_protocol / 3 ingebouwde predikaten.
• Verwijderd uit de ingebouwde object & quot; logtalk & quot; de decompile_predicate_head / 4 en decompile_predicate_indicator / 4 deprecated methoden.
• Removed steun voor de lange deprecated Logtalk metapredicate / 1-richtlijn.
• Gecorrigeerd een performance bug bij het cachen van gesprekken naar categorie predikaten waar de cache opgeslagen data specifieker dan nodig zou kunnen zijn bij het werken met parametrische categorieën.
• Verbeterde caching van & quot; super & quot; oproepen van binnen prototypes. Voorheen zou al in de cache inzendingen worden gespecialiseerd door de waarde van & quot; zichzelf & quot; om goed te gaan met de bijzondere gevallen waarin een object zowel instantieert en gespecialiseerd andere voorwerpen.
• Bijgewerkt de Logtalk compiler aan een exploitant verklaringen te vinden op predikaat reikwijdte richtlijnen te activeren tijdens de compilatie van de entiteiten die de richtlijnen bevatten.
• Verbeterde prestaties van coinductive predikaten bij het gebruik van back-end Prolog compilers zoals SICStus Prolog die niet voorzien in de soft-cut controleconstruct maar bieden de soft-cut ingebouwde meta-predikaat (indien / 3).
• Gecorrigeerd een bug waar een vals rapport van de compilatie / laden waarschuwingen kan worden afgedrukt wanneer een bronbestand is gecompileerd / geladen met de compiler vlag & quot; rapport & quot; uitgeschakeld.
• Voegde een & quot; streamvars & quot; bibliotheek object, afgeleid van de bestaande & quot; assignvars & quot; bibliotheek categorie, met ondersteuning voor het toevoegen en ophalen termen (die kunnen worden variabelen) uit een & quot; stroom & quot; variabel.
• Bijgewerkt de & quot; coinduction & quot; Bijvoorbeeld, gebruik te maken van de verbeterde coinductive / 1 richtlijn en verbreding van het aantal individuele voorbeelden die kunnen worden uitgevoerd met behulp van SICStus Prolog. Voegde een model checking Bijvoorbeeld met behulp van coinduction, coroutining, en beperkingen, bijgedragen door Neda Saeedloei.
• Bijgewerkt de & quot; metapredicates & quot; Bijvoorbeeld met voorbeeldcode illustreren hoe wrappers te definiëren voor de bagof / 3 en setof / 3 ingebouwde methoden als de meta-argument existentieel gekwalificeerde variabelen kunnen bevatten.
• Bijgewerkt de & quot; cc & quot; Bijvoorbeeld, het corrigeren predikaat definities voor verschillende back-end Prolog compilers en het toevoegen van een aantal fundamentele unit tests.
• Bijgewerkt de & quot; coderingen & quot; Bijvoorbeeld met beperkte ondersteuning voor Lean Prolog.
• Toegevoegd ontbrekende inzendingen voor de meta_non_terminal / 1 richtlijn en voor de oproep // N non-terminal naar de & quot; helpen & quot; voorbeeld.
• Voegde een parser voor PDDL 3.0-bestanden, bijgedragen door Robert Sasak.
• Toegevoegde code vouwen steun aan de SubEthaEdit teksteditor. Toegevoegd code vouwen ondersteuning voor voorwaardelijke compilatie blokken aan de Kate, Vim, en TextMate tekstverwerkers.
• Bijgewerkt de integratie scripts om te laden de bibliotheek paden bestand voordat het laden van de Logtalk compiler / runtime. Deze wijziging heeft als doel om het laden van de bibliotheek en bijvoorbeeld bestanden te vereenvoudigen van de instellingen bewaard. Daarnaast is ook op zoek naar de Logtalk installatie directory in $ HOME / share wanneer de LOGTALKHOME omgevingsvariabele niet gedefinieerd is. Dankzij vator Santos Costa voor de suggestie.
• Bijgewerkt de Windows installer ter ondersteuning Lean Prolog en detecteren YAP 64 bits versies.

Wat is nieuw in versie 2.43.0:.

• Toegevoegd experimentele ondersteuning voor Lean Proloog
• Veranderd fout rapportage door de Logtalk compiler en runtime. Alle uitzondering termen nu gebruik maken, indien mogelijk, de fout (Fout, logtalk (Doel, Entiteit))
• formaat. Veranderde de interne foutcontrole om, wanneer praktisch, de nieuwe '$ lgt_must_be' / 2-3 interne predikaten te gebruiken.
• Toegevoegd een & quot; optimaliseren & quot; vlag, waarvan de standaardwaarde is & quot; op & quot ;. Deze vlag kan de gebruiker bestaande optimalisaties voor bv uit te schakelen debugging taken (de
• momenteel geïmplementeerd optimalisaties omvatten het verwijderen van overbodige oproepen tot true / 0 van het lichaam van gecompileerde predikaat clausules en het verwijderen van
• redundante bellen naar (=) / 2 uit het lichaam van de clausules die door de uitbreiding van grammaticaregels).
• Voegde een & quot; source_data & quot; vlag, waarvan de standaardwaarde is & quot; op & quot ;. Met deze vlag ingesteld op & quot; op & quot ;, Logtalk zal de informatie te bewaren weergegeven met behulp van de modus / 2,
• informatie / 1-2, gebruikt / 2, en use_module / 2 richtlijnen plus bron locatiegegevens (inclusief source bestandsnamen en regelnummers), bruikbaar zowel voor het debuggen
• en voor de integratie met ontwikkeltools. Deze vlag kan worden uitgeschakeld om compactere code te genereren. De parameter_names / 1 object en
• categorie woning is verwijderd om redundantie te voorkomen.
• Uitgevoerd beschermd / 1 en private / 1 eigenschappen voor objecten, protocollen en categorieën. Samen met het publiek / 1 woning, deze eigenschappen
• maakt de lijst van de predikaten in de entiteit heeft verklaard te worden benaderd voor reflectieve berekeningen. Geïmplementeerd verklaart / 2, definieert / 2, includes / 3,
• en biedt / 3 eigenschappen voor toegang tot de eigenschappen van predikaten gedeclareerd en gedefinieerd binnen een entiteit. Verklaring eigenschappen zijn onder line_count / 1, het lijnnummer van de richtlijn predikaat scope. Definitie eigenschappen zijn onder line_count / 1, het lijnnummer van het hoofd van de eerste
• clausule voor het predikaat, en number_of_clauses / 1, het aantal clausules voor het predikaat. Eveneens uitgevoerd experimentele toepassingen / 3 en use_module / 3 eigenschappen.
• Toegevoegd een predikaat woning, redefined_from / 1, waardoor het bevragen over het object of de categorie die een predikaat definitie die wordt geherdefinieerd bevat.
• Voegde een loaded_file / 3 predikaat aan de & quot; logtalk & quot; ingebouwde object, dat de bestaande loaded_file / 2 predikaat aanvult en geeft toegang tot de
• expliciete opties die gebruikt worden wanneer het bestand werd samengesteld en geladen.
• Uitgevoerd compiler ondersteuning voor de meta_non_terminal / 1 richtlijn en de oproep // N ingebouwde non-terminal.
• Vereenvoudigde de compilatie van grammaticaregels door het verwijderen van de steun voor het omgaan met niet-terminale reikwijdte en het bestaan ​​van fouten op de grammatica regel
• niveau in plaats van het predikaat niveau. Hoewel deze functie nuttig kan zijn bij het opsporen van fouten in de grammatica regels, is het ingewikkeld de integratie van Logtalk met Prolog-native development tools.
• Bijgewerkt de Logtalk compiler om de entiteit clausule locaties opslaan en deze informatie ter beschikking van de back-end Prolog compilers.
• Bijgewerkt de Logtalk compiler om te voorkomen dat er onnodige interne catchall clausules voor de verklaring predikaat en definitie tafels voor dynamische entiteiten.
• Bijgewerkt de Logtalk compiler om de weg aan het gebruik van multifile predikaten voor het breken van object inkapseling. Een primaire verklaring
• entiteit moet bestaan, die zowel een scope en een multifile richtlijn voor het predikaat. Bovendien definieert clausules voor multifile
• Entiteit :: Functor / ariteit zonder een overeenkomstige multifile / 1 richtlijn zal nu resulteren in een compilatie fout in plaats van alleen een waarschuwing.
• Verwijderd de Logtalk compiler beperking dat niet-opeenvolgende / 1 en dynamische / 1 richtlijnen gedwongen om te bellen naar de aangegeven predikaten voorafgaan.
• Verbeterde het rapport Logtalk samensteller van verkeerd gespelde oproepen naar niet-terminals in grammaticaregels.
• Laat het gebruik van de:. / 1 ​​controle te bouwen op het lichaam van grammaticaregels
• Wanneer foutopsporingsberichten gespecificeerd in gebruik / 2-richtlijnen, het bericht wordt nu afgedrukt impliciet gekwalificeerd als in de broncode geschreven door de gebruiker.
• Veranderde de interne predikaten gebruikt bij de uitvoering van de ingebouwde multi-threading predikaten om de integratie met vergemakkelijken
• hoog niveau debugging tools die decompilatie van de gegenereerde Prolog code nodig.
• Gecorrigeerd een bug geïntroduceerd in Logtalk 2.42.4 op de compilatie van entiteit predikaten die gesynchroniseerd predikaten noemen. Deze bug resulteerde in gesprekken
• zijn plaats aan de niet-gesynchroniseerde vormen van de predikaten, hetgeen manifesteren in willekeurige defecten draad doelen.
• Gecorrigeerd een lange staande bug waar een-runtime gecompileerd meta-gesprek binnen een categorie zou worden samengesteld als een oproep tot een predikaat van het object
• het importeren van de categorie in plaats daarvan als een oproep tot een lokale categorie predikaat.
• Gecorrigeerd een lange staande bug waar entiteit vlagwaarden lokaal ingesteld met de set_logtalk_flag / 2 richtlijn zou falen om gered te worden in de entiteit
• gecompileerde code.
• Gecorrigeerd een lange staande bug bij het afschaffen van een dynamische predikaat in een niet-prototype object waar het afschaffen / 1 methode zou slagen zonder
• het predikaat wordt feitelijk afgeschaft.
• Gecorrigeerd een bug in het instellen van de juiste uitvoering context bij het aanroepen van een meta-argument dat een runtime compilatie in de context van
vereist
• & quot; afzender & quot;.
• Gecorrigeerd een bug in de compilatie van expliciete-gekwalificeerde gesprekken naar meta-predikaten waar de module kwalificatie zou worden afgenomen van de
module
• gecompileerd gesprek. Merk op dat deze gesprekken zullen gebruiken Logtalk meta-predikaat semantiek (dwz de meta-argumenten in het kader van de
zal worden genoemd
• beller) in plaats van de gebruikelijke Prolog module meta-predikaat semantiek.
• Gecorrigeerd een bug waar de coinduction stapels niet werd geïnitialiseerd bij gebruik van de

Wat is nieuw in versie 2.42.4:

• Deze versie bevat compiler, runtime, en multi- threading prestaties optimalisaties, verbetert de compiler foutmeldingen voor de gesynchroniseerde / 1 en dynamische / 1 richtlijnen, voegt ondersteuning toe voor het behoud van exploitant reikwijdte van informatie en het uitvoeren van deze informatie aan de automatisch gegenereerde XML documenteren van bestanden, voegt nieuwe hulpprogramma predikaten aan de logtalk object, verbetert verschillende programmeertalen voorbeelden, ook een mogelijke oplossing voor een SWI-Prolog uninstaller bug in Windows, en is voorzien van draagbaarheid updates voor Qu-Prolog, SICStus Prolog, SWI-Prolog, XSB en YAP.

Wat is nieuw in versie 2.42.3:

• Deze versie voegt ondersteuning toe voor het bellen dynamische predikaten in de context van & quot; dit & quot; van binnenuit categorieën, voegt ondersteuning voor pre-gecompileerde clausule hoofden, inclusief bugfixes en verbeteringen aan de ingebouwde debugger, bevat verbeterde bibliotheken en voorbeelden, voegt ondersteuning toe voor indexicals bij gebruik van de SICStus Prolog CLP (FD) bibliotheek, voegt een experimentele voorbeeld van gebruik toegeschreven variabelen binnen objecten en categorieën, en is voorzien van draagbaarheid updates voor Eclipse, GNU Prolog, SICStus Prolog, en SWI-Prolog.

Wat is nieuw in versie 2.42.2:

• Deze versie verbetert de compilatie van gesprekken naar predikaten module , verbetert het controleren van meta-argumenten in meta-predikaat gesprekken, verbetert de ondersteuning voor lambda-expressies, bevat een optimaliserende compiler voor oproepen naar bibliotheek meta-predikaten, voegt nieuwe bibliotheken voor logging evenementen, het werken met tijdelijke interval relaties, en met behulp van integer tellers, verbetert bestaande voorbeelden en bibliotheken, voegt ondersteuning toe voor het gebruik van de JavaScript-gebaseerde SyntaxHighlighter pakket, en is voorzien van draagbaarheid updates voor GNU Prolog, Qu-Prolog, SICStus Prolog, SWI-Prolog en XSB.

Wat is nieuw in versie 2.42.1:

• Deze versie voegt ondersteuning toe voor nieuwe meta-predicaat-modus indicatoren, waardoor ondersteuning voor meer Prolog merkgebonden ingebouwde meta-predikaten.
• Ondersteuning toegevoegd voor het opsporen en melden van vermiste dynamische / 1 en niet-opeenvolgende / 1-richtlijnen.
• Een nieuwe pluisjes vlag werd toegevoegd.
• Twee meta-predikaat compilatie bugs zijn verholpen.
• Een aantal van de voorbeelden werden bijgewerkt.
• Draagbaarheid updates werden gemaakt voor B-Prolog, SICStus Prolog, SWI-Prolog, XSB en YAP.