X-Prolog APK 1.0.63

X-Prolog is 'n liggewig Prolog-stelsel wat bedoel is om programmering in Prolog op Android te vergemaklik. Die toepassing loop Prolog-programme in 'n teksaansig, webaansig of as 'n gebonde diens aan 'n kliënttoepassing. 'n Voorbeeldkliënt is beskikbaar by https://github.com/xprolog/sample-client.

Let daarop dat Google Play die gebruik van toestemming vir alle lêers beperk in programme wat Android 11 of later teiken. Om X-Prolog te installeer met toestemming vir alle lêertoegang, verwys na https://github.com/xprolog/xp/releases.

het nutsmiddel? Die toepassing is afhanklik van gebruikergedefinieerde nutsgoed vir redigering en bouprojekte. Die gereedskap is in Prolog geskryf en is sigbaar op toestelle met ontwikkelaaropsies. Die toepassing en gereedskap ruil data uit deur oordragveranderlikes en geformateerde uitvoer. Hierdie vrystelling bevat onbenullige nutsgoed wat bedoel is om die toepassing se gereedskapkenmerk te demonstreer.

Die toepassing definieer uitbreidingspunte waar oordragveranderlikes beskikbaar is (na gereedskap) en geformateerde uitvoer (van nutsgoed) herken word. 'n Gereedskap kan gekonfigureer word om by te dra tot een of meer uitbreidingspunte deur 'n konteksterm te spesifiseer.

'n Kontekstterm is leesterm van die vorm konteks(Naam, Lêertipes, Prioriteit) , waar Naam die naam van 'n uitbreidingspunt is, Lêertipes is 'n lys van aanvaarbare lêertipes en Prioriteit is 'n heelgetal nie minder nie as nul, waarvan die betekenis wissel na gelang van die uitbreidingspunt.

Hierdie vrystelling definieer drie uitbreidingspunte: bou, redigeer en versoen, wat nutsgoed toelaat om onderskeidelik by te dra tot die bou van projekte, die redigering van bronlêers en die rekonsiliering van bronmodelle.

Om 'n projek te bou, maak 'n lêer in die boonste gids van die projek oop en klik Bou. Om die projek na 'n uitvoerbare objeklêer op die plaaslike lêerstelsel uit te voer, klik Voer uit. Om die objeklêer te laat loop, klik Run.

'n Lêer word as bronlêer beskou as daar een of meer hulpmiddels bestaan ​​wat die lêer bou, wat dit moontlik in 'n ander bronlêer omskep. Hierdie vrystelling bevat 'n enkele bou-instrument, Compile, wat 'n Prolog-bronlêer (.pl) in 'n vinnige-laai-lêer (.ql) vertaal.

Bekende kwessies sluit in voorkomskontrole, logiese opdateringsaansig, toegeskryfde veranderlikes onder andere.