X-Prolog

X-Prolog ist ein leichtes Prolog-System, das die Programmierung in Prolog auf Android erleichtern soll. Die App führt Prolog-Programme in einer Textansicht, Webansicht oder als gebundener Dienst an eine Client-App aus. Ein Beispielclient ist unter https://github.com/xprolog/sample-client verfügbar.

Beachten Sie, dass Google Play die Verwendung der Zugriffsberechtigung für alle Dateien in Apps für Android 11 oder höher einschränkt. Informationen zur Installation von X-Prolog mit Zugriffsberechtigung für alle Dateien finden Sie unter https://github.com/xprolog/xp/releases.

Got Tool?

Die App ist auf benutzerdefinierte Tools zum Bearbeiten und Erstellen von Projekten angewiesen. Die Tools sind in Prolog geschrieben und auf Geräten mit Entwickleroptionen sichtbar. App und Tools tauschen Daten über Übergabevariablen und formatierte Ausgabe aus. Diese Version enthält triviale Tools, die die Tooling-Funktion der App demonstrieren sollen.

Die App definiert Erweiterungspunkte, an denen Übergabevariablen (zu Tools) verfügbar sind und formatierte Ausgaben (von Tools) erkannt werden. Ein Tool kann so konfiguriert werden, dass es zu einem oder mehreren Erweiterungspunkten beiträgt, indem es einen Kontextbegriff angibt.

Ein Kontextbegriff ist ein Lesebegriff der Form

Kontext(Name, Dateitypen, Priorität)

, wobei

Name

der Name eines Erweiterungspunkts ist,

Dateitypen

ist eine Liste akzeptabler Dateitypen und

Priorität

ist eine Ganzzahl nicht kleiner als Null, deren Bedeutung je nach Erweiterungspunkt variiert.

Diese Version definiert drei Erweiterungspunkte:

Build, Edit

und

Reconcile

, die es Tools ermöglichen, jeweils zum Erstellen von Projekten, Bearbeiten von Quelldateien und Abgleichen von Quellmodellen beizutragen.

Öffnen Sie zum Erstellen eines Projekts eine Datei im obersten Verzeichnis des Projekts und klicken Sie auf

Erstellen

. Um das Projekt in eine ausführbare Objektdatei im lokalen Dateisystem zu exportieren, klicken Sie auf

Exportieren

. Um die Objektdatei auszuführen, klicken Sie auf

Ausführen

.

Eine Datei wird als Quelldatei betrachtet, wenn es ein oder mehrere Tools gibt, die die Datei erstellen und sie möglicherweise in eine andere Quelldatei umwandeln. Diese Version enthält ein einziges Build-Tool,

Compile

, das eine Prolog-Quelldatei (.pl) in eine Schnellladedatei (.ql) übersetzt.

Zu den bekannten Problemen gehören unter anderem die Vorkommensprüfung, die logische Aktualisierungsansicht und attributierte Variablen.