Elly é um motivo para a implicação e verificação da satisfibilidade das bases de conhecimento da ELP. Está escrito em java e conta com o raciocínio do Datalog IRIS (https://sourceforge.net/projects/iris-reasoner) para a sua implementação.
história da versão
- Versão Alpha%20Release postado em 2010-01-10
Várias correções e atualizações - Versão N/A postado em 2010-01-10
Detalhes do programa
- Categoria: Educação > Outros
- Editor: elly.sf.net
- Licença: Grátis
- Preço: N/A
- Versão: Array
- Plataforma: windows