X-Prolog

A descrição de X-Prolog

O X-Prolog é um sistema de prólologia leve destinado a facilitar a programação no Prolog no Android. O aplicativo executa programas de Prolog em uma visualização do console ou como um serviço encadernado a um aplicativo cliente. Um cliente de amostra está disponível em https://github.com/xprolog/sample-client.
Ferramenta obtida?
O aplicativo depende de ferramentas definidas pelo usuário para edição e construção de projetos. As ferramentas são escritas no 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 na qual as variáveis ​​de transferência estão disponíveis (para ferramentas) e a saída formatada (a partir de ferramentas) é reconhecida. Uma ferramenta pode ser configurada para contribuir para um ou mais pontos de extensão especificando um termo de contexto.
Um termo de contexto é lido do formulário
Contexto (nome, filétipos, prioridade)
, onde
nome
é o nome de um ponto de extensão,
Filetypes
é uma lista de tipos de arquivo aceitáveis ​​e
prioridade
é um inteiro não menor que zero, O significado de que varia dependendo do ponto de extensão.
Esta versão define três pontos de extensão:
Construir, editar
e
Reconcile
, que permite que as ferramentas contribuam para , respectivamente, construir projetos, editar arquivos de origem e reconciliar modelos de origem.
Para criar um projeto, abra um arquivo no diretório superior do projeto e clique em
Build
. Para exportar o projeto para um arquivo de objeto runnable no sistema de arquivos local, clique em
Exportar
. Para executar o arquivo de objeto, clique em
Executar
.
Um arquivo é considerado arquivo de origem se existir uma ou mais ferramentas que construam o arquivo, possivelmente transformando-o em outro arquivo de origem. Esta versão inclui uma única ferramenta de compilação,
Compile
, que traduz um arquivo de fonte Prolog (.pl) em um arquivo de carga rápida (.ql). Os problemas conhecidos incluem a verificação, Visualização de atualização lógica, variáveis ​​atribuídas entre outras.