X-Prolog

xprolog

Über diese App

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.

Bewertungen und Rezensionen

Good but can't create/open files. When I click corresponding button the phone opens the "Access all files" setting. The app is not listed there so I can't allow access to my filesystem. Tested on Samsung Galaxy S20 FE, Android 13.

Best Prolog for Android I tried. Comes handy to quickly try things out. However, as already has been mentioned: Some documentation would be nice. At least a list of the built-ins maybe?

The first Prolog implementation on a Android mobile that I found usable. However, I get a lot of warnings (that mostly may be ignored) and I don't know which predicates are available. In other words: a user's guide is heavily missing!

Neuigkeiten

Initial release