X-Prolog

X-Prolog is een lichtgewicht Prolog-systeem.

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 tekstweergave, webweergave of als een gebonden service aan een client-app. Een voorbeeldclient is beschikbaar op https://github.com/xprolog/sample-client.

Houd er rekening mee dat Google Play het gebruik van toestemming voor toegang tot alle bestanden beperkt in apps die zijn gericht op Android 11 of hoger. Raadpleeg https://github.com/xprolog/xp/releases om X-Prolog te installeren met toestemming voor toegang tot alle bestanden.

tool gekregen? De app is afhankelijk van door de gebruiker gedefinieerde tools voor het bewerken en bouwen van projecten. De tools zijn geschreven in Prolog en zijn zichtbaar op apparaten met ontwikkelaarsopties. De app en tools wisselen gegevens uit via overdrachtsvariabelen en geformatteerde uitvoer. Deze release bevat triviale tools die bedoeld zijn om de tooling-functie van de app te demonstreren.

De app definieert uitbreidingspunten waarop overdrachtsvariabelen beschikbaar zijn (naar tools) en geformatteerde output (van tools) wordt herkend. Een tool kan worden geconfigureerd om bij te dragen aan een of meer uitbreidingspunten door een contextterm te specificeren.

Een contextterm is een leesterm van de vorm context(Name, FileTypes, Priority) , waarbij Name de naam is van een extensiepunt, FileTypes is een lijst met acceptabele bestandstypen en Prioriteit is een geheel getal dat niet kleiner is dan nul, waarvan de betekenis varieert afhankelijk van het extensiepunt.

Deze release definieert drie uitbreidingspunten: build, edit en reconcile, waarmee tools kunnen bijdragen aan respectievelijk het bouwen van projecten, het bewerken van bronbestanden en het afstemmen van bronmodellen.

Om een ​​project te bouwen, opent u een bestand in de bovenste map van het project en klikt u op Build. Om het project te exporteren naar een uitvoerbaar objectbestand op het lokale bestandssysteem, klikt u op Exporteren. Klik op Uitvoeren om het objectbestand uit te voeren.

Een bestand wordt als een bronbestand beschouwd als er een of meer tools zijn die het bestand bouwen en het mogelijk omzetten in een ander bronbestand. Deze release bevat een enkele build-tool, Compile, die een Prolog-bronbestand (.pl) vertaalt naar een snellaadbestand (.ql).

Bekende problemen zijn onder meer de controle van optredens, de logische updateweergave, toegeschreven variabelen.