Logtalk gratis download, Logtalk download op software download

Open source logica objectgeoriënteerde programmeertaal Logtalk is een volwassen Open Source-object-georiënteerde programmataal dat de meeste Prolog implementaties kan gebruiken als een back-end compiler. Hier zijn een aantal belangrijke eigenschappen van "Logtalk": · Predicate richtlijnen (verklaringen) kan worden opgenomen binnen protocols (interfaces), die door een object kan worden geïmplementeerd. · Objectnamen kunnen samengestelde termen die vrije variabelen die kunnen worden gebruikt om doel predikaten parametriseren. Dit stelt ons in staat om eventuele predikaat te behandelen als een concretisering van een parametrische object. D.w.z. met parametrische object kunnen we willekeurige werkwijze associëren met een samengestelde term. · U kan hebben, in dezelfde toepassing,-klasse op basis van hiërarchieën (met concretisering en specialisatie relaties) en-prototype op basis van hiërarchieën (met extensie relations). Bovendien fundamentele taal functies zoals protocollen (interfaces) en categorieën (onderdelen) kunnen worden gecombineerd door klassen gevallen en prototypes. · Geen behoefte om te worden beperkt tot een enkele, lange hiërarchie geworteld in een aantal generieke object. · Logtalk ondersteunt private, protected en public erfenis op een manier die vergelijkbaar is met C. Anderzijds kan elke entiteit betrekking gekwalificeerd via een scope zoekwoord. B.v. een object kan particulier implementeren van een protocol, waardoor alle protocol verklaard predikaten privé. · Stel de reikwijdte van uw object predikaten om uw protocol ontwerp aan te passen en laat de runtime-systeem af te dwingen uw keuzes. · Objecten kunnen statisch of dynamisch zijn. Statische objecten worden gedefinieerd bronbestanden die worden samengesteld en op dezelfde wijze als Prolog bestanden geladen. Dynamisch object kan ofwel worden gedefinieerd bronbestanden of gecreëerd bij uitvoering. · Een statisch object kan zowel statische als dynamische predikaten bevatten. · Logtalk maakt gebruik van standaard Prolog syntaxis met de toevoeging van een paar exploitanten en richtlijnen voor een vlotte leercurve. Prolog code kan gemakkelijk worden ingekapseld binnen voorwerpen met weinig of geen veranderingen. Bovendien kan Logtalk transparante interpreteren meeste Prolog modules Logtalk objecten eenvoudig hergebruik van bestaande code (bijvoorbeeld bibliotheken). · Predicaten kan impliciet worden aangeroepen wanneer een gespiede gebeurtenis plaatsvindt, waardoor programmeeroplossingen welk object koppelen te minimaliseren. Bovendien events ondersteuning voor gedragsverandering reflectie. · Predicaten kunnen worden ingekapseld binnen categorieën, die vrijwel met elk object kunnen worden ingevoerd, zonder gedupliceerde code en ongeacht objecthiërarchieën. Derhalve kunnen objecten worden gedefinieerd via samenstelling categorieën, die als fijnkorrelig stukken code hergebruik. · Hoge multi-threading programma is beschikbaar bij het uitvoeren Logtalk met geselecteerde back-end Prolog compilers, waardoor voorwerpen zowel synchrone als asynchrone berichten ondersteunen. Gemakkelijk gebruik maken van moderne multi-processor en multi-core computers zonder zich met de details van het creëren en vernietigen van draden, voeren communicatie draad of draden synchroniseren. · Logtalk ondersteunt multi-erfenis van zowel protocol en implementatie. Een doel kunnen verschillende protocols implementeren en strekken, gespecialiseerd of instantiëren meerdere objecten. Multi-erfenis conflicten worden impliciet opgelost door de Logtalk lookup algoritmen of expliciet door het gebruik van predikaat-richtlijnen. · Logtalk code is gecompileerd met behulp van dezelfde technieken die u gebruikt om efficiënte Prolog code te schrijven. Bovendien Logtalk ondersteunt zowel statische en dynamische binding binding (waarbij de lookup caching), aanzienlijk betere prestaties. Benchmark-resultaten voor een aantal Prolog compilers zijn hier beschikbaar. · Logtalk is ontworpen voor naadloze integratie met elk Prolog compiler die voldoet of volgt de ISO standaard Prolog. · Logtalk interfaces met een specifiek back-end Prolog compiler via een minimale configuratie bestand waardoor het compatibel met vrijwel elke moderne compiler. · Logtalk genereert automatisch een documentatiemap in XML-formaat voor elke gecompileerde object, protocol of categorie. Het systeem omvat alle noodzakelijke XSL (T) bestanden en scripts om te zetten documenteren bestanden naar (X) HTML en PDF. Vereisten: · Prolog Wat is er nieuw in deze release: · Ondersteuning toegevoegd volgens de {} / 1 compiler bypass Logtalk controleconstruct sluitingen die in het kader van de pseudo- object "user" moet worden uitgevoerd wikkel (bijvoorbeeld oproepen naar Prolog ingebouwde predikaten). · Workaround Module Meta-predicaat Semantiek om oproepen tot module meta-predicaten te ondersteunen die zijn gespecificeerd in gebruik_module / 2-richtlijnen binnen objecten en categorieën. · Ondersteuning toegevoegd voor het opstellen van oproepen tot module meta-predicaten die expliciet zijn gekwalificeerd (kan vereisen dat de modules worden geladen, afhankelijk van de back-end prolog-compiler). · Codeopruiming van meta-predicate richtlijnencompilatie. Draai de controles van meta-predicaat richtlijnen en meta-predicaatrichtlijnargumenten aan. · Verbeterde compilatie van oproep / 2-N-doelstellingen. · Verbeterde prestaties van meta-oproepen die op runtime zijn gecompileerd. · Verbeterde prestaties van de Lambda-expressievrije / doel, meestal gebruikt in BAGOF / 3 en SETOF / 3-oproepen. · Verbeterde Lambda Expression Fout-controle en extra ondersteuning voor het gebruik van een (>>) / 2 lambda-expressie als een doel. · Een fout gecorrigeerd in het afhandelen van de meta-call-context voor Lambda Expressions. · Corrigeerde een typfout in de uitzonderingsperiode die wordt gegenereerd bij het verzenden van een bericht naar een object dat overeenkomt met een ingebouwde lokale methode. · Het CXPROLD-configuratiebestand bijgewerkt om schrijftijd- en schrijflijstlimieten in te stellen die compilatie van de logtalk-bibliotheken en -voorbeelden mogelijk maken (de standaardwaarden zijn in sommige gevallen twee laag in sommige gevallen die leiden tot compilatiefouten). Profiteer bovendien van de nieuwe vlag "Version_Data", waardoor versie 0.97.4 of een latere versie vereist is. · Het SWI-PROLD-configuratiebestand bijgewerkt om de eigen richtlijn AT_HALT / 1 te herkennen en te compileren. · Bijgewerkt het B-PROLOG-configuratiebestand om een ontbrekende meta-predicaatverklaring toe te voegen voor het gepatenteerde foreach / 2 ingebouwd predikaat. · Het YAP-configuratiebestand bijgewerkt door een ontbrekende verklaring voor de tijd / 1 eigen ingebouwde meta-predicaat toe te voegen en door te reageren op het instellen van de oproep die de "Taal" -vlag instellen op "ISO" vanwege alle YAP-bibliotheken die Don "is t compileer met deze instelling. · Bijgewerkt het XSB Config-bestand door een ontbrekende verklaring toe te voegen voor de tijd / 1 eigen ingebouwde meta-predicaat en een definitie voor de Predicate Setup_Call_Cleanup / 3 (om de compatibiliteit met de Logtalk Multi-Threading-functies) te herstellen). · Bijgewerkte alle configuratie-bestanden met informatie over de beschikbaarheid van de Setup_Call_Cleanup / 3-predikaat. · Breided het "Lambdas" -voorbeeld met een bijdrage van Artur Miguel Dias, meer voorbeeldvraagstukken (inclusief niet-deterministische) en enkele eenvoudige benchmarks. · Toegevoegde syntaxiskleurondersteuning voor de ^ / 2 existentiële kwantificeerderoperator voor de meeste ondersteunde tekst-editors en syntaxis highlighters. Voorbeeldcode toegevoegd met behulp van de existentiële kwantificator ^ / 2 op het Syntax Coloring-testbestand.

Logtalk Gerelateerde software