config.arm64_v8a

config.xxxhdpi

config.pt

Everyone

xprolog

Lollipop

X-Prolog é um sistema Prolog leve destinado a facilitar a programação em Prolog no Android. O aplicativo executa programas Prolog em uma visualização de texto, visualização da Web ou como um serviço vinculado a um aplicativo cliente. Um cliente de amostra está disponível em https://github.com/xprolog/sample-client.

Observe que o Google Play restringe o uso da permissão de acesso a todos os arquivos em aplicativos direcionados ao Android 11 ou posterior. Para instalar o X-Prolog com permissão de acesso a todos os arquivos, consulte https://github.com/xprolog/xp/releases.

obteve a ferramenta?
 O aplicativo depende de ferramentas definidas pelo usuário para edição e construção de projetos. As ferramentas são escritas em Prolog e são visíveis em dispositivos com opções de desenvolvedor. O aplicativo e as ferramentas trocam dados por meio de variáveis ​​de transferência e saída formatada. Esta versão inclui ferramentas triviais destinadas a demonstrar o recurso de ferramentas do aplicativo.

O aplicativo define pontos de extensão nos quais as variáveis ​​de transferência estão disponíveis (para ferramentas) e a saída formatada (das ferramentas) é reconhecida. Uma ferramenta pode ser configurada para contribuir com um ou mais pontos de extensão especificando um termo de contexto.

Um termo de contexto é um termo de leitura no formato 
context(Name, FileTypes, Priority) 
, onde 
Name
 é o nome de um ponto de extensão, 
FileTypes
 é uma lista de tipos de arquivos aceitáveis ​​e 
Prioridade
 é um número inteiro não menor que zero, cujo significado varia dependendo do ponto de extensão.

Esta versão define três pontos de extensão: 
compilar, editar
 e 
reconciliar
, que permitem que as ferramentas contribuam para, respectivamente, construir projetos, editar arquivos de origem e reconciliar modelos de origem.

Para construir um projeto, abra um arquivo no diretório superior do projeto e clique em 
Build
. Para exportar o projeto para um arquivo de objeto executável no sistema de arquivos local, clique em 
Exportar
. Para executar o arquivo objeto, clique em 
Executar
.

Um arquivo é considerado arquivo-fonte se existir uma ou mais ferramentas que constroem o arquivo, possivelmente transformando-o em outro arquivo-fonte. Esta versão inclui uma única ferramenta de compilação, 
Compile
, que converte um arquivo fonte Prolog (.pl) em um arquivo de carregamento rápido (.ql).

Problemas conhecidos incluem verificação de ocorrências, visualização de atualização lógica, variáveis ​​atribuídas entre outros.

X-Prolog

Última versão de X-Prolog

Outras versões