Um programa gratuito para Android, por Ugo Chirico.
Prolog é uma linguagem lógica que pode ser usada para descrever muitos problemas e soluções diferentes em um formato compacto e fácil de ler. É uma linguagem que pode ser usada para escrever programas na forma de sequências de regras, que podem ser aplicadas e modificadas no programa. As regras são especificadas de uma maneira muito simples, com a ajuda de uma gramática, e as regras são definidas em termos de operadores lógicos. Isso torna muito fácil escrever e entender, e é usado como uma ferramenta para inteligência artificial, para o desenvolvimento de jogos de computador e para o desenvolvimento de software em geral.
JIProlog é um interpretador Prolog, puro Java 100%, multiplataforma e Open Source. JIProlog é uma biblioteca Java gratuita e de código aberto que pode ser usada como um mecanismo Prolog e também é uma API para a integração de Prolog e Java.
