X-Prolog

Android App Analyse Og Gjennomgang: X-Prolog, Utviklet Av xprolog. Oppført I Læring -Kategori. Nåværende Versjon Er 1.0.63, Oppdatert 20/11/2022 . I Følge Brukere Anmeldelser På Google Play: X-Prolog. Oppnådd Over 23 Tusen Installasjoner. X-Prolog Har For Øyeblikket 126 Anmeldelser, Gjennomsnittlig Vurdering Av 3.1 Stjerner

X-Prolog er et lettvekts Prolog-system beregnet på å lette programmering i Prolog på Android. Appen kjører Prolog-programmer i en tekstvisning, webvisning eller som en bundet tjeneste til en klientapp. En eksempelklient er tilgjengelig på https://github.com/xprolog/sample-client.

Vær oppmerksom på at Google Play begrenser bruken av tillatelse for tilgang til alle filer i apper som er målrettet mot Android 11 eller nyere. For å installere X-Prolog med all-file-tilgang-tillatelse, se https://github.com/xprolog/xp/releases.

har du verktøy? Appen er avhengig av brukerdefinerte verktøy for redigering og byggeprosjekter. Verktøyene er skrevet i Prolog og er synlige på enheter med utvikleralternativer. Appen og verktøyene utveksler data gjennom overføringsvariabler og formatert utdata. Denne utgivelsen inkluderer trivielle verktøy beregnet på å demonstrere appens verktøyfunksjon.

Appen definerer utvidelsespunkter der overføringsvariabler er tilgjengelige (til verktøy) og formatert utdata (fra verktøy) gjenkjennes. Et verktøy kan konfigureres til å bidra til ett eller flere utvidelsespunkter ved å spesifisere en kontekstterm.

En kontekstterm er leseterm av formen context(Name, FileTypes, Priority) , der Name er navnet på et utvidelsespunkt, FileTypes er en liste over akseptable filtyper og Prioritet er et heltall som ikke er mindre enn null, hvis betydning varierer avhengig av utvidelsespunktet.

Denne utgivelsen definerer tre utvidelsespunkter: bygg, rediger og avstemming, som lar verktøy bidra til henholdsvis byggeprosjekter, redigering av kildefiler og avstemming av kildemodeller.

For å bygge et prosjekt, åpne en fil i den øverste katalogen i prosjektet og klikk Bygg. For å eksportere prosjektet til en kjørbar objektfil på det lokale filsystemet, klikk Eksporter. For å kjøre objektfilen, klikk Kjør.

En fil anses som kildefil hvis det finnes ett eller flere verktøy som bygger filen, og muligens transformerer den til en annen kildefil. Denne utgivelsen inkluderer et enkelt byggeverktøy, Compile, som oversetter en Prolog-kildefil (.pl) til en hurtiginnlastingsfil (.ql).

Kjente problemer inkluderer oppstår sjekk, logisk oppdateringsvisning, tilordnede variabler blant andre.

Read more