X-Prolog
3,1star
120 anmeldelser
10k+
Nedlastinger
Alle
info
Om denne appen
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.
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.
Oppdatert
Sikkerhet starter med en forståelse av hvordan utviklere samler inn og deler dataene dine. Fremgangsmåtene for personvern og datasikkerhet kan variere basert på bruk, region og alder. Utvikleren har oppgitt denne informasjonen og kan oppdatere den over tid.
Ingen data deles med tredjeparter
Finn ut mer om hvordan utviklere deklarerer deling
Ingen data samles inn
Finn ut mer om hvordan utviklere deklarerer innsamling
Vurderinger og anmeldelser
3,4
111 anmeldelser
Nyheter
Initial release
Appstøtte
phone
Telefonnummer
+18578698701