Estou trabalhando em um aplicativo em Java, que precisa fazer algumas deduções de regras lógicas complexas como parte de sua funcionalidade. Eu gostaria de codificar minhas deduções lógicas no Prolog ou em alguma outra linguagem de programação de lógica / restrição, em vez de Java, pois acredito que o código resultante será significativamente mais simples e mais fácil de manter.

Eu pesquisei por implementações Java incorporadas no Prolog e encontrei várias delas, cada uma com pouca documentação. Meus (modestos) critérios de seleção são:

deve ser incorporável em Java (por exemplo, pode ser agrupado com meu pacote java em vez de exigir instalações nativas em programas externos)interface simples para usar a partir do Java (para iniciar deduções, inspecionar resultados e adicionar regras)venha com pelo menos alguns exemplos sobre como usá-lonão precisa necessariamente ser Prolog, mas outras linguagens de programação de lógica / restrição com os critérios acima também atendem às minhas necessidades.

Quais opções eu tenho e quais são suas vantagens e desvantagens?