Logtalk Objektorientierte Logikprogrammiersprache Open Source
Jetzt downloaden

Logtalk Ranking & Zusammenfassung

Logtalk Stichworte

Programmierung Logik Sprache Logik-Programmiersprache. Prolog-Implementierung Back-End-Compiler

Logtalk Beschreibung

Open Source Objektorientierte Logik-Programmiersprache Logtalk ist eine reife offene, objektorientierte Logikprogrammiersprache, die die meisten Prolog-Implementierungen als Back-End-Compiler verwenden kann. Hier sind einige wichtige Funktionen von "logtalk": · Prädikatrichtlinien (Erklärungen) können in Protokollen (Schnittstellen) enthalten sein, die von jedem Objekt implementiert werden können. · Objektnamen können zusammengesetzt werden, die freie Variablen enthalten, die zum Parametrieren von Objektprädikaten verwendet werden können. Dadurch können wir jedes Prädikat als Instantiierung eines parametrischen Objekts behandeln. D. H. Durch parametrisches Objekt können wir eine beliebige Anzahl von Methoden mit einem zusammengesetzten Begriff verknüpfen. · Sie können in derselben Anwendung, klassische Hierarchien (mit Instantiations- und Spezialbeziehungen) und Prototyp-basierten Hierarchien (mit Erweiterungsbeziehungen) haben. Darüber hinaus können grundlegende Sprachfunktionen wie Protokolle (Schnittstellen) und Kategorien (Komponenten) gleichzeitig von Klassen, Instanzen und Prototypen verwendet werden. · Keine Notwendigkeit, eine einzige, langwierige Hierarchie eingeschränkt zu werden, die in einem generischen Objekt verwurzelt ist. · Logtalk unterstützt das private, geschützte und öffentliche Erbschaft auf eine ähnliche Weise wie c. Darüber hinaus kann jede Entitätsbeziehung mit einem Spielwortschlüsselwort qualifiziert werden. Z.B. Ein Objekt kann ein Protokoll privat implementieren, wodurch das gesamte Protokoll erheblich erklärt wird. · Legen Sie den Umfang Ihres Objekts vor, um Ihr Protokolldesign anzupassen, und lassen Sie das Laufzeitsystem Ihre Auswahl durchsetzen. · Objekte können entweder statisch oder dynamisch sein. Statische Objekte werden in Quelldateien definiert, die auf dieselbe Weise wie Prolog-Dateien zusammengestellt und geladen werden. Dynamisches Objekt kann entweder in Quelldateien definiert oder zur Laufzeit erstellt werden. · Jedes statische Objekt kann sowohl statische als auch dynamische Prädikate enthalten. · Logtalk verwendet Standard-Prolog-Syntax mit der Zugabe einiger Betreiber und Richtlinien für eine reibungslose Lernkurve. Der Prolog-Code kann leicht in Objekte mit wenig oder keinen Änderungen gekapselt werden. Darüber hinaus kann logtalk die meisten PROLOG-Module als Logtalk-Objekte transparent interpretieren, um den vorhandenen Rechnungscode (z. B. Bibliotheken) einfach zu erneuern. · Prädikate können implizit aufgerufen werden, wenn ein Spion-Ereignis auftritt, wodurch Programmierlösungen, die die Objektkupplung minimieren, erlaubt. Darüber hinaus sorgen Ereignisse unterstützen die Verhaltensreflexion. · Prädikate können in Kategorien eingekapselt werden, die praktisch von jedem Objekt, ohne Code-Vervielfältigung und unabhängig von Objekthierarchien, praktisch importiert werden können. Somit können Objekte durch Zusammensetzung von Kategorien definiert werden, die als feinkörnige Einheiten der Code-Wiederverwendung dienen. · Die Multi-Thread-Programmierung mit hohem Niveau ist verfügbar, wenn Logtalk mit ausgewählten Back-End-Prolog-Compilern ausgeführt wird, sodass Objekte sowohl synchrone als auch asynchrone Nachrichten unterstützen können. Nutzen Sie den modernen Multi-Prozessor- und Multi-Core-Computern leicht, ohne sich mit den Details zum Erstellen und Zerstören von Threads zu stören, die Thread-Kommunikation implementieren oder Threads synchronisieren. · Logtalk unterstützt Multi-Vererbung beider Protokoll und Implementierung. Ein Objekt kann mehrere Protokolle implementieren und erweitern, spezialisieren oder instanziieren Sie mehrere Objekte. Multi-ineritanz-Konflikte werden mit den Logtalk-Lookup-Algorithmen implizit gelöst oder explizit unter Verwendung von Prädikatrichtlinien. · Logtalk-Code wird mit derselben Technik zusammengestellt, mit der Sie einen effizienten Prolog-Code schreiben können. Darüber hinaus unterstützt Logtalk sowohl statische Bindung als auch dynamische Bindung (mit Methode-Lookup-Caching), was die Leistung erheblich verbessert. Benchmark-Ergebnisse für einige PROLOG-Compiler sind hier verfügbar. · Logtalk ist für eine reibungslose Integration mit jedem PROLOG-Compiler ausgelegt, der dem ISO-PROG-Standard entspricht oder eng erfolgt. · Logtalk-Schnittstellen mit einem bestimmten Back-End-PROLOG-Compiler über eine minimale Konfigurationsdatei, die sie mit fast jedem modernen Compiler kompatibel macht. · Logtalk erzeugt automatisch eine Dokumentationsdatei im XML-Format für jedes kompilierte Objekt, das Protokoll oder die Kategorie. Das System enthält alle notwendigen XSL-Dateien und Skripts, um Dokumentationsdateien in (X) HTML und PDF zu konvertieren. Anforderungen: · Prolog. Was ist neu in dieser Version: · Unterstützung für die Verwendung des {} / 1-Compiler-Bypass-Logtalk-Steuerungskonstrukts hinzugefügt, um Verschlüsse umzuwickeln, die im Rahmen des Pseudo-Objekts "Benutzer" ausgeführt werden sollen (z. B. Anrufe zu Prolog-integrierten Prädikaten). · Workaround-Modul Meta-Prädikat-Semantik, um Anrufe an METRA-META-Predicate zu unterstützen, die in use_module / 2-Richtlinien in Objekten und Kategorien angegeben sind. · Unterstützung für das Erstellen von Anrufen an METRA-META-Prädikate, die ausdrücklich qualifiziert sind (möglicherweise erfordern, dass die Module abhängig vom Back-End-PROG-Compiler geladen werden). · Codebereinigung der META-Prädikat-Richtlinien-Kompilierung. Ziehen Sie die Überprüfungen von META-Prädikat-Richtlinien und die Argumente des META-Prädikats an. · Verbesserte Zusammenstellung von Anruf- / 2-N-Toren. · Verbesserte Leistung von Meta-Anrufen, die zur Laufzeit kompiliert werden. · Verbesserte Leistung des Lambda-Ausdrucks frei / Ziel, üblicherweise in Bagof / 3 und Setof / 3-Anrufe verwendet. · Verbesserte Lambda-Expression-Fehlerprüfung und zusätzliche Unterstützung für die Verwendung eines (>>) / 2-Lambdamausdrucks als Ziel. · Korrigierte einen Fehler im Umgang mit dem META-Call-Kontext für Lambda-Ausdrücke. · Korrigierte ein Tippfehler in dem Ausnahme-Term, der erzeugt, wenn er eine Nachricht an ein Objekt an ein Objekt sendet, das einer eingebauten lokalen Methode entspricht. · Aktualisiert die CXPROLOG CONFIG-Datei, um Schreibfest- und Schreiblistengrenzen festzulegen, die die Zusammenstellung der Logtalk-Bibliotheken und -beispiele ermöglichen (die Standardwerte sind in einigen Fällen zwei niedrig, was zu Kompilierfehlern führt). Nutzen Sie außerdem das neue Flag "Version_Data", wodurch Version 0.97.4 oder eine spätere Version erforderlich ist. · Aktualisiert die SWI-PROG-Konfigurationsdatei, um die proprietäre Richtlinie at_HALT / 1 zu erkennen und zusammenzustellen. · Aktualisiert die B-PROG-Konfigurationsdatei, um eine fehlende META-Prädikaterklärung für das proprietäre Foreach / 2 eingebaute Prädikat hinzuzufügen. · Aktualisiert die YAP-Konfigurationsdatei durch Hinzufügen einer fehlenden Erklärung zum Zeit- / 1-proprietären eingebauten Meta-Prädikat und durch Kommentieren des Anrufs, der das "Sprachen" -Flug auf "ISO" setzt, aufgrund aller YAP-Bibliotheken, die nicht t Kompilieren Sie diese Einstellung. · Aktualisiert die XSB-Konfigurationsdatei durch Hinzufügen einer fehlenden Deklaration für das proprietäre integrierte META-Prädikat für Zeit / 1 und eine Definition für das Prädikat Setup_Call_CLEANUP / 3 (um die Kompatibilität mit den Multi-Threading-Funktionen von LogTalk wiederherzustellen). · Alle Konfigurationsdateien mit Informationen über die Verfügbarkeit des Setup_Call_CLEANUP / 3-Prädikats aktualisiert. · Expandierte das Beispiel "Lambdas" mit einem Beitrag von Artur Miguel Dias, mehr Probenabfragen (einschließlich nicht deterministischer) und einige einfache Benchmarks. · Syntaxfarbunterstützung für den ^ / 2-existentiellen Quantifizierer-Bediener für die meisten unterstützenden Textredakteure und Syntax-Highlights hinzugefügt. Beispielcode mit dem ^ / 2-existentiellen Quantifizierer zur Syntax-Farbprüfdatei hinzugefügt.

Logtalk Zugehörige Software