X-Prolog

Beschrijving van X-Prolog

X-PROLOG is een lichtgewicht Prolog-systeem dat bedoeld is om het programmeren in PROLOG op Android te vergemakkelijken. De app voert prolog-programma's uit in een console-weergave of als een gebonden service naar een client-app. Een voorbeeldclient is verkrijgbaar op https://github.com/xprolog/sample-client.
Got Tool?
De app hangt af van door de gebruiker gedefinieerde hulpmiddelen voor het bewerken en de bouw van projecten. De tools zijn geschreven in Prolog en zijn zichtbaar op apparaten met ontwikkelaaropties. De app en tools wisselen gegevens uit via overdrachtsvariabelen en geformatteerde uitvoer. Deze release bevat triviale gereedschappen die bedoeld zijn om de toolingfunctie van de app te demonstreren.
De app definieert uitbreidingspunten waarop overdrachtsvariabelen beschikbaar zijn (aan Tools) en geformatteerde uitvoer (uit gereedschap) wordt erkend. Een tool kan worden geconfigureerd om bij te dragen aan een of meer extension-punten door een contexttermijn op te geven.
Een context-term is lees-term van het formulier
context (naam, files, prioriteit)
, waar
naam
de naam is van een verlengpunt,
filetypen
is een lijst met acceptabele bestandstypen en
prioriteit
is een geheel getal, niet minder dan nul, De betekenis hiervan varieert afhankelijk van het uitbreidingspunt.
Deze release definieert drie extensiepunten:
Build, bewerken
en
SconCile
, waarmee hulpmiddelen kunnen bijdragen , respectievelijk, bouwprojecten, het bewerken van bronbestanden en het combineren van bronmodellen.
om een ​​project te bouwen, een bestand opent in de bovenste directory van het project en klik op
Build
. Als u het project in een Runnable-objectbestand op het lokale bestandssysteem wilt exporteren, klikt u op
Export
. Als u het objectbestand wilt uitvoeren, klikt u op
RUN
.
Een bestand wordt als bronbestand beschouwd als er een of meer hulpmiddelen die het bestand bouwen, eventueel in een ander bronbestand bouwen. Deze release bevat een enkele build-tool,
compileer
, wat een Prolog Source-bestand (.PL) vertaalt in een quick-ladingsbestand (.QL).
Bekende problemen zijn inclusief cheque, Logische update weergave, toegeschreven variabelen onder andere.