X-Prolog

X-PROGOL ist ein leichte Prolog-System, das dazu bestimmt ist, die Programmierung in Prolog auf Android zu erleichtern. Die App läuft Prolog-Programme in einer Konsolenansicht oder als gebundene Dienst einer Client-App aus. Ein Beispiel-Client ist bei https://github.com/xprolog/samplient erhältlich.
Hat-Tool?
Die App hängt von benutzerdefinierten Instrumenten für Bearbeitung und Bauprojekte ab. Die Tools sind in Prolog geschrieben und sind auf Geräten mit Entwickleroptionen sichtbar. Die App und die Tools tauschen Daten durch Übertragungsvariablen und formatierte Ausgabe aus. Diese Version enthält Trivial-Tools, die zur Demonstration der Tooling-Funktion des App vorgesehen sind.
Die App definiert Erweiterungspunkte, in der Übertragungsvariablen verfügbar sind (Tools) und formatierte Ausgabe (aus Werkzeuge) wird erkannt. Ein Werkzeug kann konfiguriert sein, um zu einem oder mehreren Erweiterungspunkten durch Angabe eines Kontextbegriffs beizutragen.
Ein Kontext-Term ist die Leserei des Formulars
-Kontext (Name, Filetypen, Priorität)
, wobei
Name
der Name eines Erweiterungspunkts ist,
filetypes
ist eine Liste der akzeptablen Dateitypen und
Priority
ist eine ganze Zahl nicht weniger als Null, Die Bedeutung, deren Bedeutung je nach Erweiterungspunkt variiert.
Diese Version definiert drei Erweiterungspunkte:
Build, Bearbeiten
und
reconcile
, mit der Werkzeuge dazu beitragen bzw. Bauprojekte, Bearbeiten von Quelldateien und zur Vereinbarung von Quellmodellen.
So erstellen Sie ein Projekt, öffnen Sie eine Datei im oberen Verzeichnis des Projekts und klicken Sie auf
Build
. So exportieren Sie das Projekt in eine durchführbare Objektdatei auf dem lokalen Dateisystem, klicken Sie auf
export
. Um die Objektdatei auszuführen, klicken Sie auf
ausführen
.
Eine Datei gilt als Quelldatei, wenn ein oder mehrere Tools vorhanden sind, die die Datei erstellen, die möglicherweise in eine andere Quelldatei umwandeln. Diese Version enthält ein einzelnes Werkzeug,
kompilieren
, das eine PROLOG-Quelldatei (.PL) in eine Quick-Last-Datei (.QL) übersetzt.
Bekannte Probleme Inclips finden Sie aufgetreten Check, logisch Update-Ansicht, zugeführten Variablen unter anderem.
X-PROG GEPRÜNDEN GEGENE GEGENE GEMACHT VON PAULO MUURA, ULRICH Neumerkel, Richard O'Keefe, Markus Triska, Jan Wielemaker und Andere.