Elly

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.0/5 - ‎1 ‎Votos

Sobre Elly

Elly é um razoeiro para a verificação de implicação e satisfiabilidade das bases de conhecimento ELP. É escrito em java e conta com o raciocínio IRIS Datalog (https://sourceforge.net/projects/iris-reasoner) para sua implementação.