X-Prolog

X-Prolog é um sistema Prolog leve.

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.