SWI-Prolog v8.0.3

SWI-Prolog

SWI-Prolog
SWI-Prolog

SWI-Prolog ist eine kostenlose Implementierung der Programmiersprache Prolog , die üblicherweise für Lehr- und Semantic-Web- Anwendungen verwendet wird.

Es verfügt über eine Vielzahl von Funktionen, Bibliotheken für die Programmierung von Einschränkungslogik, Multithreading, Unit-Tests, GUI, Schnittstellen zu Java, ODBC und anderen, Lese- und Schreibprogrammierung, einen Webserver , SGML, RDF, RDFS und Entwicklertools (einschließlich einer IDE mit einem GUI- Debuggerund GUI- Profiler ) und umfangreiche Dokumentation.

SWI-Prolog läuft auf Unix- , Windows- , Macintosh- und Linux- Plattformen.

SWI-Prolog wird seit 1987 kontinuierlich weiterentwickelt. Hauptautor ist Jan Wielemaker.

Der Name SWI leitet sich von Sociaal-Wetenschappelijke Informatica („Sozialwissenschaftliche Informatik“) ab, dem früheren Namen der Gruppe an der Universität Amsterdam , an der Wielemaker beschäftigt ist. Der Name dieser Gruppe wurde in HCS (Human-Computer Studies) geändert.

Web Framework

SWI-Prolog wird mit einem Webframework installiert, das auf bestimmten Klauselgrammatiken basiert .

Distributed Computing

SWI-Prolog-Abfragen können über das Pengines-System auf mehrere Server und Webseiten verteilt werden.

XPCE

XPCE ist ein plattformunabhängiges objektorientiertes GUI-Toolkit für SWI-Prolog, Lisp und andere interaktive und dynamisch typisierte Sprachen . Obwohl XPCE sprachunabhängig konzipiert wurde, hat es vor allem bei Prolog an Popularität gewonnen.

Das grafische Entwicklungs-Toolkit XPCE wurde 1987 zusammen mit SWI-Prolog gestartet.

Es unterstützt Schaltflächen , Menüs , Schieberegler , Registerkarten und andere grundlegende GUI-Widgets.

XPCE ist für alle von SWI-Prolog unterstützten Plattformen verfügbar.

PceEmacs

PceEmacs ist ein in SWI-Prolog integrierter Editor. PceEmacs ist ein in Prolog (und XPCE) implementierter Emacs- Klon.

Es unterstützt die ordnungsgemäße Einrückung , Syntaxhervorhebung , vollständige Syntaxprüfung durch Aufrufen des SWI-Prolog- Parsers , Warnung vor Singleton-Variablen und Auffinden von Prädikatdefinitionen basierend auf den Quellinformationen aus der Prolog-Datenbank.

Schnittstelle zwischen Java und Prolog (JPL)

JPL ist eine bidirektionale Schnittstelle zwischen Java und Prolog. Es erfordert sowohl SWI-Prolog als auch Java SDK . Es wird als Teil von SWI-Prolog installiert.

Constraint Logic Programming Libraries (CLP)

Die Programmierfunktionalität für Constraint-Logik kam ziemlich spät in der Lebensdauer von SWI-Prolog, da es an grundlegender Unterstützung mangelte.

Dies änderte sich Anfang 2004, als der Sprache zugeordnete Variablen hinzugefügt wurden. Die Leuven CHR-Bibliothek war damals die erste CLP-Bibliothek, die auf SWI-Prolog portiert wurde.

Wir erwähnen die INCLP (R) -Bibliothek von SWI-Prolog (De Koninck et al. 2006), die nichtlineare Einschränkungen für die Realwerte bietet und zusätzlich zu CHR implementiert wurde.

Später kam ein Port der CLP (QR) -Bibliothek von Christian Holzbaur und ein CLP (FD) -Löser mit endlicher Domäne. Schließlich wurde ein boolescher CLP (B) -Löser hinzugefügt .

INfo

Webseite, Portable

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert.

*

code