Logtalk

Prolog is een algemeen doel logische programmeertaal die in 1972 werd uitgebracht, met zeer weinig updates sinds die tijd.

Logtalk is gemaakt om meer moderne functies om Prolog, vooral prestatieverbeteringen, lambda-expressies, grammaticale regels, verbeterde compiler fouten en waarschuwing rapportage toe te voegen.

Op de top van deze, voeg een eenvoudiger installatieproces en Prolog compiler compatibiliteit updates.

Dit maakt Logtalk een betere, meer geschikt alternatief voor Prolog in het hedendaagse AI en computer taalkunde scenario's, een veel meer krachtige multi-paradigma taal, geschikt voor event-driven en high-level multi-threading programmering.

Momenteel Logtalk syntax breidt standaard Prolog syntaxis en u kunt Logtalk draaien in de volgende Prolog compilers:

B-Prolog

CxProlog

Eclipse

GNU Prolog

Lean Proloog

Qu-Prolog

SICStus Proloog

SWI Prolog

XSB

YAP

Wat is nieuw in deze release:

• VERBETERD:
• Wijzigingen in de term tags die gebruikt worden bij het schrijven van gecompileerde code te helpen minimaliseren van de omvang van de gegenereerde tussenliggende Prolog bestanden die deze tags gebruiken om te beslissen wanneer gecompileerd termen met source locatiegegevens (versieren dit moment, alleen SWI-Prolog maakt gebruik van de locatiegegevens).
• FIXED:
• Een bestand kan meer dan één ouder bestand.

Wat is nieuw in versie 3.02.2:

• VERBETERD:
• Wijzigingen in de term tags die gebruikt worden bij het schrijven van gecompileerde code te helpen minimaliseren van de omvang van de gegenereerde tussenliggende Prolog bestanden die deze tags gebruiken om te beslissen wanneer gecompileerd termen met source locatiegegevens (versieren dit moment, alleen SWI-Prolog maakt gebruik van de locatiegegevens).
• FIXED:
• Een bestand kan meer dan één ouder bestand.

Wat is nieuw in versie 3.02.1:

• VERBETERD:
• Wijzigingen in de term tags die gebruikt worden bij het schrijven van gecompileerde code te helpen minimaliseren van de omvang van de gegenereerde tussenliggende Prolog bestanden die deze tags gebruiken om te beslissen wanneer gecompileerd termen met source locatiegegevens (versieren dit moment, alleen SWI-Prolog maakt gebruik van de locatiegegevens).
• FIXED:
• Een bestand kan meer dan één ouder bestand.

Wat is nieuw in versie 3.00.4:

• VERBETERD:
• Wijzigingen in de term tags die gebruikt worden bij het schrijven van gecompileerde code te helpen minimaliseren van de omvang van de gegenereerde tussenliggende Prolog bestanden die deze tags gebruiken om te beslissen wanneer gecompileerd termen met source locatiegegevens (versieren dit moment, alleen SWI-Prolog maakt gebruik van de locatiegegevens).
• FIXED:
• Een bestand kan meer dan één ouder bestand.

Wat is nieuw in versie 3.00.2:

• VERBETERD:
• Wijzigingen in de term tags die gebruikt worden bij het schrijven van gecompileerde code te helpen minimaliseren van de omvang van de gegenereerde tussenliggende Prolog bestanden die deze tags gebruiken om te beslissen wanneer gecompileerd termen met source locatiegegevens (versieren dit moment, alleen SWI-Prolog maakt gebruik van de locatiegegevens).
• FIXED:
• Een bestand kan meer dan één ouder bestand.

Wat is nieuw in versie 3.00.1:

• VERBETERD:
• Wijzigingen in de term tags die gebruikt worden bij het schrijven van gecompileerde code te helpen minimaliseren van de omvang van de gegenereerde tussenliggende Prolog bestanden die deze tags gebruiken om te beslissen wanneer gecompileerd termen met source locatiegegevens (versieren dit moment, alleen SWI-Prolog maakt gebruik van de locatiegegevens).
• FIXED:
• Een bestand kan meer dan één ouder bestand.

Wat is nieuw in versie 2.44.1:

• 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 niet-predikaat en non-operator export negeren als pre-processing lib / 1-richtlijnen.
• Bijgewerkt de unit test kader om meer informatieve berichten voor mislukte unit tests af te drukken.
• Toegevoegd predikaat split / 4 (voor het splitsen van een lijst in sublijsten met een bepaalde lengte) aan de & quot; listp & quot ;, & quot; lijst & quot ;, en & quot; difflist & quot; bibliotheek entiteiten.
• Bijgewerkt de & quot; cc & quot; bijvoorbeeld met een definitie van de shell / 2 predikaat voor CxProlog.
• Veranderde de namen van de objecten in de & quot; mi & quot; bijvoorbeeld om een ​​naam conflict te vermijden bij het uitvoeren van het voorbeeld unit tests.
• Gecorrigeerd een bug in de Windows installer dat de detectie van YAP 64 bits versies voorkomen. Met dank aan Stepan Ipatov voor de bug report.

Wat is nieuw in versie 2.44.0:

• Deze release verandert de semantiek van aanvulling categorieën, waardoor het gebruik ervan bestaand object code te patchen, lost twee fouten in de verwerking van meta-gesprekken, laat open lijsten van terminals in het lichaam van DCG regels, voegt twee nieuwe voorbeelden, en verbetert de ondersteuning voor de Vim teksteditor en voor een uitbundige ctags.

Wat is nieuw in versie 2.43.3:

• Gecorrigeerd een bug in de Logtalk compiler runtime handler, waar zij geen interne entiteitsidentificaties ontleden 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 op de beschikbaarheid van de index / 1 richtlijn, dat wordt afgeraden door de nieuwe experimentele SWI-Prolog ondersteuning voor just-in-time multi-argument indexering.
• Toegevoegde 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.
• Corrected some domme fouten in de definitie van de & quot; karakter & quot; bibliotheekobject 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 ook de & quot te laden; loader file.

Wat is nieuw in versie 2.43.2:

• Geoptimaliseerd de verwerking van aangiften operator bij het opstellen van de bronbestanden en dynamisch creëren van nieuwe entiteiten.
• Bijgewerkt de Logtalk compiler om de & quot te gebruiken; modules & quot; compiler vlag bij het testen voor Prolog module ondersteuning, dus vermijd compilatie problemen met back-end Prolog compilers die geen ondersteuning van een module systeem, maar nog steeds te definiëren (:). / 2 als een ingebouwde controle construct of predikaat
• Removed steun voor de & quot; startup_message & quot; compiler vlag & quot; vlaggen (compact) & quot; en & quot; vlaggen (uitgebreide) & quot; waarden, vervangen door een enkele waarde, & quot; vlaggen & quot ;, die overeenkomt met de oude & quot; vlaggen (compact) & quot; waarde.
• Gecorrigeerd een bug bij het gebruik op / 3 richtlijnen met de create_protocol / 3, create_object / 4, en create_category / 4 ingebouwde predikaten waar de lokale verklaringen operator zichtbaar buiten de nieuwe entiteiten zou zijn.
• Gecorrigeerd een insect waar het creëren van een nieuwe dynamische onderneming op runtime zou een niet meer gebruikt boekhouding dynamisch predicaat die niet zou worden afgeschaft wanneer de entiteit wordt afgeschaft te definiëren.
• Gecorrigeerd een compiler bug waarbij een & quot; super & quot; bellen vanuit een object dat alleen zichzelf instantieert en is niet gespecialiseerd een object zou een uitzondering in plaats gooien van falende.
• Bijgewerkt de & quot; benchmarks & quot; bijvoorbeeld ter bescherming tegen rekenkundige afwijkingen bij het berekenen van het totale aantal oproepen per seconde voor elke test. Verminderde het aantal benchmark test herhalingen bij het uitvoeren van de unit tests om langdurig computergebruik keer met langzame back-end Prolog compilers te voorkomen.

Wat is nieuw in versie 2.43.1:

• Veranderde de compiler om rekening te houden met het gebruik / 2 richtlijn bij het opstellen van oproepen naar de database ingebouwde methoden. Deze wijziging breidt de semantiek van de toepassingen / 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 kan de specificatie van welke argumenten zijn betekenisvol voor coinductive succes. Op basis van vergelijkbare functionaliteit vinden op op Feliks Kluzniak de DRA meta-tolk.
• Verbeterde ondersteuning voor debugging 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 de controle construct, die nu door de experimentele coinduction implementatie nodig is.
• Opgeheven een langdurige beperking die 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 mode specificatie voorgesteld door Jan Wielemaker en vinden op SWI-Prolog 5.11.25. Deze modus specifier is handig bij het definiëren van wrappers 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 passeren van opties om de back-end Prolog compiler ingebouwde predikaten die compileren op de harde schijf en plaats een (gecompileerd) Prolog vlag. De standaardwaarde voor beide vlaggen is de lege lijst.
• Gecorrigeerd een bug bij het opstellen van oproepen naar Prolog eigen ingebouwde meta-predikaten waar de Logtalk compiler zou kunnen proberen om niet meta-argumenten verwerken als doelen. Deze bug manifesteerde zich alleen 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 voorstelling bug wanneer caching bellen 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 zouden alle in de cache inzendingen worden gespecialiseerde door de waarde van & quot; zichzelf & quot; om goed te gaan met de bijzondere gevallen waarin een object zowel instantieert en specialiseert andere voorwerpen.
• Bijgewerkt de Logtalk compiler aan een exploitant verklaringen te vinden op predikaat scope richtlijnen tijdens het opstellen van de entiteiten die de richtlijnen bevatten activeren.
• Verbeterde prestaties van coinductive predikaten bij het gebruik van back-end Prolog compilers zoals SICStus Prolog die niet voorzien in de soft-cut controle construct, maar bieden de soft-cut ingebouwde meta-predikaat (indien / 3).
• Gecorrigeerd een bug waarbij een valse verslag van compilatie / laden waarschuwingen kan worden afgedrukt als een bronbestand is gecompileerd / geladen met de compiler vlag & quot; rapport & quot; uitgeschakeld.
• Voegde een & quot; streamvars & quot; bibliotheekobject, afgeleid van de bestaande & quot; assignvars & quot; bibliotheek categorie, met ondersteuning voor het toevoegen van en het ophalen van de voorwaarden (welke variabelen kan zijn) uit een & quot; stroom & quot; variabele.
• 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 SICStus Prolog. Toegevoegd een model checking bijvoorbeeld met behulp van coinduction, coroutining, en beperkingen.
• Bijgewerkt de & quot; metapredicates & quot; Bijvoorbeeld met voorbeeldcode illustreert 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 meerdere back-end Prolog compilers en het toevoegen van een aantal fundamentele unit tests.
• Bijgewerkt de & quot; coderingen & quot; Bijvoorbeeld met een 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 van 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 is bedoeld om het laden van de bibliotheek en bijvoorbeeld bestanden te vereenvoudigen van de instellingen bestanden. Daarnaast is ook op zoek naar de Logtalk installatiemap in $ HOME / share als de LOGTALKHOME omgevingsvariabele niet gedefinieerd is.
• Bijgewerkt de Windows installer om Lean Prolog te steunen en op te sporen YAP 64 bits versies.

Wat is nieuw in versie 2.43.0.

• Toegevoegd experimentele ondersteuning voor Lean Prolog
• Verwijderd de Logtalk compiler beperking dat aaneengesloten / 1 en dynamische / 1 richtlijnen gedwongen om te bellen naar het opgegeven predicaten voorafgaan.
• Verbeterde Logtalk compiler verslag van misspelt oproepen naar niet-terminals in grammaticaregels.
• Laat het gebruik van de:. / 1 ​​controle te bouwen op het lichaam van grammaticaregels
• Als debug-berichten gespecificeerd in gebruik / 2 richtlijnen, het bericht wordt nu gedrukt impliciet gekwalificeerd als in de broncode geschreven door de gebruiker.
• Veranderd de interne predikaten gebruikt bij de uitvoering van de ingebouwde multi-threading predikaten om de integratie met high-level debugging tools die decompilatie van de gegenereerde Prolog code nodig te vergemakkelijken.
• Gecorrigeerd een bug in de bibliotheek ondersteuning voor unit tests, & quot;. Lgtunit & quot ;, waar de testen voor uitzonderingen zou enige uitzondering termijn te aanvaarden als conform de unit test specificaties
• Bijgewerkt de & quot; cc & quot; Bijvoorbeeld met bug fixes en verbeteringen voor Eclipse bijgedragen door Joachim Schimpf, met een bug fix voor de SWI-Prolog implementatie van de expand_path / 2 predicaat (als gevolg van recente wijzigingen in de SWI-Prolog absolute_file_name / 3 ingebouwde predikaat), en met een definitie van de command_line_arguments / 1 predikaat voor B-Prolog.
• Bijgewerkt de & quot; coinduction & quot; Bijvoorbeeld, het toevoegen van wat meer individuele voorbeelden.
• Bijgewerkt de & quot; xml_parser & quot; bijdrage met het oog op draagbaarheid problemen omzeilen met GNU Prolog.
• Correct een bug in een aantal shell scripts waar & quot; # / bin / bash & quot; werd gebruikt in plaats van & quot; #! / bin / bash & quot ;. Met dank aan Yiorgos Adamopoulos voor de bug report.
• Bijgewerkt de Inno Setup GUI Windows installer script om de volledige installatie mogelijk te maken door niet-admin gebruikers.
• Toegevoegd syntaxiskleuren steun voor de ISO Prolog richtlijn op te nemen / 1 om alle ondersteunde tekstverwerkers en syntaxis markeerstiften.
• Corrected some bugs op het tabblad triggers voor de Gedit Logtalk snippets dat het gebruik ervan voorkomen.
• veranderd terug naar het gebruik van JEP in plaats van FOP bij het genereren van de PDF-versies van de gebruiker en handleidingen als FOP kapt de inhoud van een aantal van de pagina's.

Wat is nieuw in versie 2.42.4:

• Toegevoegd een entity_prefix / 2 predikaat en twee sets van de hulpprogramma predikaten, decompile_predicate_heads / 2-4 en decompile_predicate_indicators / 2-4, de & quot; logtalk & quot; ingebouwde object. Gemarkeerd de decompile_predicate_head / 4 en decompile_predicate_indicator / 4 als verouderd.
• Ondersteuning toegevoegd voor het behoud van de scope informatie voor operators gedeclareerd met scope richtlijnen tijdens het compileren. Toegevoegd informatie over de entiteit verklaarde exploitanten om de XML-bestanden documenteren. Bijgewerkt de tekst, PDF, en (X) HTML conversie scripts uit te printen operator informatie.
• Applied aantal low-level optimalisaties aan de Logtalk compiler / runtime.
• Verplaatst de interne predikaten die bouwen en toegang te krijgen tot de executie predikaat context van de compiler naar de Prolog configuratiebestanden om fine performance tuning dat is Prolog compiler afhankelijk te ondersteunen.
• Bijwerken de uitvoering van de schroefdraad / 1 multi-threading ingebouwde predikaat om een ​​kleine prestatieoptimalisatie basis van de term_variables / 2 ingebouwde predikaat Timon Van Overveldt gesuggereerd gebruiken. Deze optimalisatie is bedoeld om onnodige kopiëren en eenwording van termen te verminderen. Daarnaast vervangt het gebruik van de setup_call_cleanup / 3 ingebouwde predikaat met de vangst / 3 ingebouwde predikaat door vereenvoudiging van de behandeling van zowel meester en slaaf draden, die ook verbetert de prestaties.
• Gecorrigeerd een bug in de uitvoering van de schroefdraad / 1 multi-threading ingebouwde predikaat indien het weglaten van de gebruiker onafhankelijke doelen te geven bij een poging om onafhankelijk te gebruiken en parallellisme zou resulteren in zombie discussies.
• Meer informatieve uitzondering termen bij een poging om een ​​gesynchroniseerde predikaat verklaren als dynamisch of een dynamische predikaat als gesynchroniseerd.
• Bijgewerkt de XSB configuratiebestand met het oog op de samenstelling van modules als objecten te ondersteunen. Voegde een definitie van de ontbrekende setup_call_catcher_cleanup / 4 ingebouwde predikaat. XSB 3.3 (of een latere versie) is nu vereist voor compatibiliteit met Logtalk.
• Bijgewerkt de SWI-Prolog configuratiebestand om beperkte ondersteuning voor de arithmetic_function / 1 proprietary richtlijn (rekenkundige functies worden gecompileerd als globale plaats van als lokaal voor de objecten of categorieën definiëren van hen) te verstrekken.
• Bijgewerkt de YAP configuratiebestand om de style_check / 1 richtlijn te negeren en de yap_flag / 2 richtlijn als set_prolog_flag / 2 richtlijn te interpreteren.
• Veranderd de standaard XSL-FO processor (gebruikt om de PDF-versies van de gebruiker en handleidingen te genereren) van JEP aan FOP.
• Bijgewerkt de & quot; xml_parser & quot; bijdrage met het oog op draagbaarheid problemen omzeilen met Qu-Prolog, SICStus Prolog en XSB.
• Bijgewerkt de & quot; coderingen & quot; bijvoorbeeld om te waarborgen dat de er geen spaties vóór de codering / 1 richtlijn.
• Bijgewerkt de & quot; attvars & quot; bijvoorbeeld om B-Prolog en XSB ondersteunen. Ook ondersteuning toegevoegd voor het gebruik toegeschreven variabelen binnen Logtalk parametrische objecten en parametrische categorieën. Met dank aan Jan Wielemaker, Vator Santos Costa, en Bart Demoen voor feedback en implementatie suggesties.
• Bijgewerkt de & quot; profilers & quot; Bijvoorbeeld met de voorlopige steun voor de wijzigingen in de uitvoering profilering in de SICStus Prolog 4.2 versie.
• Bijgewerkt de & quot; expansie & quot; Bijvoorbeeld met meer voorbeeldcode over hoe termijn- en het doel-uitbreiding definities combineren van verschillende haken voorwerpen.
• Bijgewerkt de & quot; coinduction & quot; bijvoorbeeld het toevoegen van een experimenteel keysort / 2 coinductive predikaat. Met dank aan Jan Burse voor de suggestie.
• Bijgewerkt de & quot; tak & quot; multi-threading voorbeeld waar een ontbrekende cut zou resulteren in snel uitputten van de lokale stack bij het gebruik van SWI-Prolog als gevolg van de oprichting van een zeer groot aantal onnodige keuze punten.
• Bijgewerkt de & quot; mtbatch & quot; multi-threading bijvoorbeeld om uitgebreid benchmarking van de & quot bieden; tak & quot; voorbeeld.
• Bijgewerkt de MacPorts portfile en het script dat het werkt met het oog op de berekening van de MD5 checksum, die wordt uitgevoerd wordt afgebouwd MacPorts te verwijderen.
• Bijgewerkt de Inno Setup GUI Windows installer script om een ​​bug omzeilen op de SWI-Prolog Windows installateurs waar de uninstall procedure niet aan de SWI-Prolog sleutels uit het Windows-register te verwijderen.

Wat is nieuw in versie 2.42.3:

• Laat dynamische predikaten in een categorie verklaard te worden genoemd in & quot; deze & quot; binnen de categorie. In vorige versies, zouden dergelijke gesprekken resulteren in een compilatie fout, waardoor deze predikaten worden genoemd in & quot; zichzelf & quot; (Met behulp van de :: / 1 bericht verzendt controle construct).
• Toegevoegd Logtalk compiler ondersteuning voor pre-gecompileerde clausule koppen (met behulp van de {} / 1 controle construct). Deze functie is vooral handig bij het gebruik van de term-expansie-mechanisme.
• Gecorrigeerd een bug op de code die het predikaat clausules gegenereerd door de compilatie van grammaticaregels vereenvoudigt. De code zou lus wanneer een grammatica regel een meta-variabele, bevatte waarop de Logtalk compiler moet (maar momenteel niet) verslag als illegaal (de call / 1 controle construct moet in plaats daarvan worden gebruikt op dit geval).
• Vereenvoudigde de compilatie van gesprekken in het kader van de pseudo-object & quot; gebruiker & quot;.
• Voegde een debugger command & quot; p & quot; de Logtalk ingebouwde debugger. Met deze opdracht drukt de huidige doel met behulp van de afdruk / 1 predikaat indien beschikbaar. Omgedoopt tot de debugger command & quot; q & quot; & quot; Q & quot ;. Gecorrigeerd een bug waar de debugger command & quot; w & quot; zou niet worden herkend. Veranderde de debugger command & quot; d & quot; in het reine te citeren wanneer dat nodig is.
• Voegde een gedeeltelijke uitvoering van de ISO Prolog predicate_property / 2 predikaat aan de Eclipse config file.
• Bijgewerkt de SWI-Prolog configuratiebestand om de onjuiste aangifte van de bibliotheek meta-predikaten / 2 verwijderen dde_register_service, tijd / 1, en wanneer / 2 als ingebouwde meta-predikaten.
• Toegepast een bug fix voor de & quot; vlaggen & quot; bijdrage ter beschikking gesteld door de auteur, Theofrastos Mantadelis. Omzeilen een compatibiliteitsprobleem met GNU Prolog.
• Voegde een memberchk / 2 predikaat naar de bibliotheek & quot; setp & quot; protocol en & quot; set & quot; voorwerp. Toegevoegd predikaten is_control / 1, is_newline / 1, en is_end_of_line / 1 naar de bibliotheek & quot; characterp & quot; en & quot; karakter & quot; entiteiten.
• Toegevoegd een experimentele voorbeeld van het gebruik toegeschreven variabelen binnen Logtalk objecten en categorieën. Op dit moment vereist het gebruik van YAP of SWI-Prolog als de back-end Prolog compiler.
• Ondersteuning toegevoegd voor indexicals aan de & quot; beperkingen / sicstus & quot; voorbeeld.
• uitbreiding van de & quot; afgevaardigden & quot; bijvoorbeeld met een voorbeeld implementatie van een delegator met een parametrische object.
• uitbreiding van de & quot; dynpred & quot; bijvoorbeeld om te illustreren hoe de categorie predikaten die dynamische predikaten te behandelen in het kader van & quot definiëren; deze & quot; en in het kader van de & quot; zichzelf & quot;.
• Voegde een wall_time / 1 predikaat aan de & quot; cc & quot; voorbeeld.
• Bijgewerkt de syntax highlighting testbestanden, toe te voegen ontbrekende true / 0 en fail / 0 controle constructen.

Wat is nieuw in versie 2.42.2:

• Bijgewerkt de Logtalk compiler zodat controleren module predikaat eigenschappen zonder dat het importeren van de predikaten in & quot; gebruiker & quot; (Let op, echter, dat de module moet nog worden geladen voorafgaand aan de samenstelling van de bronbestanden van het aanroepen van de module predikaten).
• Bijgewerkt de Logtalk compiler om te compileren-time geïnstantieerd sluiting argumenten call / 2-N doelen voor gemeenschappelijke programmering fouten te controleren.
• Bijgewerkt de Logtalk compiler om waarschuwingen voor lambda-expressies met variabelen die niet als ofwel gratis variabelen of lambda parameters of met variabelen die als zowel gratis variabelen en lambda parameters worden gedeclareerd worden gedeclareerd te genereren. Met dank aan Jan Burse voor het suggereren deze sanity controles.
• Bijgewerkt de Logtalk runtime ter ondersteuning van het gebruik van de & # X3c; & # X3c; / 2 controlepunten construeren sluiting meta-argumenten van meta-predikaten
.
• Ondersteuning toegevoegd voor het samenstellen van Free / Goal lambda-expressie oproepen (door het automatisch genereren van een extra predicaat indien mogelijk).
• Voegde een compile_aux_clauses / 1 openbare methode, gebaseerd op een predikaat met dezelfde naam in SWI-Prolog, om de ingebouwde object & quot; logtalk & quot ;. Deze methode wordt meestal aangeroepen vanuit goal_expansion / 2 haken om extra clausules gegenereerd voor het ondersteunen van een uitgebreide doel samen te stellen.
• Voegde de meta-predikaat te negeren / 1, uitgevoerd door een aantal Prolog compilers als een ingebouwde predikaat als een Logtalk ingebouwde methode.
• Bijgewerkt de SWI-Prolog configuratiebestand om de auto-laden van module bibliotheken bij het opvragen predikaat eigenschappen van Logtalk te voorkomen.
• Bijgewerkt het Qu-Prolog, SICStus Prolog en XSB configuratiebestanden om beschikbaar maken van de predikaat term_variables / 2 als een ISO ingebouwde predikaat.
• Bijgewerkt het Qu-Prolog integratie scripts om de heap size waarde verdubbelen voor het samenstellen van de Logtalk compiler / runtime, het oplossen van een startup crash.
• Hersteld de MacOS X command-bestand voor GNU Prolog (opgeklommen van de & quot; scripts / MacOSX / command_files / niet-ondersteunde & quot; map).
• Toegevoegde predikaten findall_member / 4-5 naar de bibliotheek object & quot; meta & quot; (Op basis van Richard O'Keefe's ontwerp Prolog bibliotheek voorstel). Verwijderd verklaring en definitie van de predikaten callable / 1 en negeer / 1 uit de bibliotheek entiteiten & quot; METAP & quot; en & quot; meta & quot; (Callable / 1 is een ingebouwde predikaat in alle ondersteunde Prolog compilers; negeren / 1 is nu een Logtalk ingebouwde methode)
.
• Voegde een bibliotheek object, & quot; meta_compiler & quot ;, die kunnen worden gebruikt als een haak object om oproepen naar de meta-predikaten gedefinieerd in de bibliotheek object & quot uit te breiden; meta & quot; teneinde de meta-oproep kosten te vermijden. Over de gevallen waar de meta-predikaat oproep niet kan worden geoptimaliseerd, de standaard definitie van de & quot; meta & quot; object wordt gebruikt. Gebruik besturingsconstructies meta-argumenten (nog) ondersteund. Werk in uitvoering.
• Voegde een protocol, & quot; loggingp & quot ;, en categorie en object implementaties, & quot; logging & quot; en & quot;. logger & quot ;, verklaren en het definiëren van de basisfunctionaliteit voor het vastleggen van gebeurtenissen om bestanden aan de bibliotheek
• Voegde een protocol, & quot; intervalp & quot ;, en een object, & quot; interval & quot ;, verklaren en het definiëren van fundamentele interval relaties tijdelijk naar de bibliotheek (gebaseerd op de James F. Allen Interval Algebra werk)
.
• Voegde een categorie uitvoering genaamd integer counters, & quot;. Counters & quot ;, aan de bibliotheek
• Toegevoegd predikaten proper_prefix / 2 en proper_suffix / 2 naar de bibliotheek entiteiten & quot; listp & quot ;, & quot; lijst & quot ;, en & quot; difflist & quot;.
• Toegevoegd predikaat omzetten / 2 naar de bibliotheek object & quot; paren & quot;.
• Toegevoegd twee pseudo-voorbeelden voor testdoeleinden, & quot; lambdas_compiled & quot; en & quot; metapredicates_compiled & quot ;, dat het gebruik van de nieuwe bibliotheek object te maken
• & quot; meta_compiler & quot;.
• Bijgewerkt de & quot; expansie & quot; bijvoorbeeld om te illustreren hoe te definiëren en te combineren haak objecten.
• Ondersteuning toegevoegd voor het gebruik van de SyntaxHighlighter pakket (versie 3.0.83 of hoger) van Alex Gorbatchev met Logtalk broncode.
• Toegevoegd ontbrekende syntax kleuring van het anders / 0 voorwaardelijke compilatie richtlijn op de GNU Source-highlighter hoogtepunt support.
• Voegde een nota over de Logtalk tekstbewerking ondersteuning beschikbaar op de vrije MacOS X Kod teksteditor.
• Toegevoegd syntaxiskleuren ondersteuning voor de nieuwe negeren / 1 ingebouwde methode om alle ondersteunde tekstverwerkers en syntaxis markeerstiften.

Wat is nieuw in versie 2.42.1:

• Ondersteuning toegevoegd aan de Logtalk compiler voor het opsporen en melden van ontbrekende dynamische / 1 en aaneengesloten / 1 predikaat richtlijnen.
• Voegde een nieuw lint vlag, & quot; missing_directives & quot ;, met een standaard waarde van & quot; waarschuwing & quot ;, om alle configuratiebestanden. Deze vlag voor het afdrukken van compiler waarschuwingen voor ontbrekende dynamische / 1, aaneengesloten / 1, en multifile / 1 predikaat richtlijnen.
• Ondersteuning voor nieuwe meta-predicaat template-indicators: (/) voor een predikaat indicator, [/] voor een lijst van predikaat indicatoren, en [0] voor een lijst van doelen
.
• Gecorrigeerd een bug in de Logtalk compiler bij het controleren van meta-predikaat clausule koppen voor fouten waar de & quot; :: & quot; meta-argument modus indicator nog werd geïnterpreteerd als & quot; 0 & quot;.
• Gecorrigeerd een bug in de afhandeling van sluitingen (in meta-oproepen) die worden gebruikt om te bellen naar constructies of ingebouwde predikaten die kunnen leiden tot het roepen sommige meta-argumenten in de verkeerde context onder controle te construeren. Met dank aan Ulrich NEUMERKEL voor het illustreren bijvoorbeeld in de SWI-Prolog mailinglijst.
• Bijgewerkt de Logtalk compiler om te printen waarschuwingen te voorkomen over het missen van verwijzingen naar de & quot; het uitbreiden van & quot; en & quot; het toezicht op & quot; ingebouwde protocollen bij het samenstellen van modules als objecten.
• bekeerd de veranderingen in versie 2.39.2 dat de pseudo-object & quot toegestaan; gebruiker & quot; vrijwel bevatten de definitie van Prolog ingebouwde predikaten. Dit kan leiden tot verschillende resultaten, afhankelijk van de back-end Prolog compiler, vooral bij het aanroepen van meta-predikaten in het kader van de & quot; gebruiker & quot;.
• Gecorrigeerd een bug in de SWI-Prolog & quot; swihooks.lgt & quot; bestand dat resulteerde in een valse foutmelding over een ongeldige Logtalk vlag bij het raadplegen van een Prolog bestand wanneer er een Logtalk bron bestand met dezelfde naam in dezelfde map.
• Toegevoegd ontbrekende ondersteuning voor eigen ingebouwde meta-predikaten naar de B-Prolog, SICStus Prolog, SWI-Prolog, XSB en YAP configuratiebestanden.
• Bijgewerkt de SICStus Prolog, SWI-Prolog en YAP configuratiebestanden om de meta-predikaat templates overschrijven voor het consult / 1 en load_files / 2 ingebouwde predikaten.
• Toegevoegd een implementatie van een map_reduce / 5 meta-predikaat naar de bibliotheek object & quot; meta & quot;.
• Toegevoegd een implementatie van een command_line_arguments / 1 predikaat aan de & quot; cc & quot; voorbeeld.
• Bijgewerkt de & quot; lambda & quot; en & quot; metapredicates & quot; voorbeelden illustreren hoe Fibonacci getallen te berekenen met behulp van een plooi links meta-predikaat. Bijgewerkt de & quot; metapredicates & quot; Bijvoorbeeld met het gebruik voorbeeld van de map_reduce / 5 meta-predikaat.
• Bijgewerkt de & quot; problog & quot; bijvoorbeeld het toevoegen voorlopige ondersteuning voor de nieuwe geannoteerde disjuncties syntax.
• Voegde een & quot; magie & quot; element toe aan de Logtalk mime-bestandstype voor de freedesktop.org gedeelde mime-info-database.

Wat is nieuw in versie 2.42.0.

• Toegevoegd een implementatie van aanhoudende object vlaggen
• Voegde een nieuw paar ingebouwde predikaten, conforms_to_protocol / 2-3, de uitvoering van de transitieve afsluiting van de implementatie protocol relatie.
• Toegevoegd een experimentele richtlijn, annotatie / 1, voor de ondersteuning van Logtalk integratie met andere talen zoals ProbLog en CHR.