X-Prolog er létt Prolog kerfi sem ætlað er að auðvelda forritun í Prolog á Android. Forritið keyrir Prolog forrit í textaskjá, vefsýn eða sem bundin þjónusta við biðlaraforrit. Dæmi um viðskiptavin er fáanlegur á https://github.com/xprolog/sample-client.
Athugaðu að Google Play takmarkar notkun heimildar fyrir aðgang að öllum skrám í forritum sem miða á Android 11 eða nýrri útgáfu. Til að setja upp X-Prolog með aðgangsheimild fyrir allar skrár, skoðaðu https://github.com/xprolog/xp/releases.
ertu með tól? Forritið er háð notendaskilgreindum verkfærum til að breyta og byggja upp verkefni. Verkfærin eru skrifuð í Prolog og eru sýnileg á tækjum með forritaravalkostum. Forritið og verkfærin skiptast á gögnum í gegnum flutningsbreytur og sniðið úttak. Þessi útgáfa inniheldur léttvæg verkfæri sem ætlað er að sýna verkfæraeiginleika appsins.
Forritið skilgreinir framlengingarpunkta þar sem flutningsbreytur eru tiltækar (í verkfæri) og sniðið úttak (frá verkfærum) er þekkt. Tól getur verið stillt til að stuðla að einum eða fleiri framlengingarpunktum með því að tilgreina samhengishugtak.
Samhengishugtak er leshugtak af forminu samhengi(Name, FileTypes, Priority) , þar sem Name er nafn framlengingarpunkts, FileTypes er listi yfir viðunandi skráargerðir og Forgangur er heil tala sem er ekki minni en núll, merking hennar er breytileg eftir framlengingarpunkti.
Þessi útgáfa skilgreinir þrjá framlengingarpunkta: byggja, breyta og samræma, sem gera verkfærum kleift að leggja sitt af mörkum til byggingarverkefna, breyta upprunaskrám og samræma upprunalíkön.
Til að búa til verkefni skaltu opna skrá í efstu möppu verkefnisins og smella á Bygja. Til að flytja verkefnið út í keyranlega hlutaskrá á staðbundnu skráarkerfi, smelltu á Flytja út. Til að keyra hlutskrána skaltu smella á Run.
Skrá er talin frumskrá ef það eru til eitt eða fleiri verkfæri sem byggja skrána, hugsanlega umbreyta henni í aðra frumskrá. Þessi útgáfa inniheldur eitt byggingartól, Compile, sem þýðir Prolog frumskrá (.pl) yfir í fljóthleðsluskrá (.ql).
Þekkt vandamál fela í sér athugun á sér stað, rökrétt uppfærsluskoðun, eignaðar breytur meðal annarra.