EulerSharp 2011-06-24

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.0/5 - ‎1 ‎votos

Sobre EulerSharp

Euler é um motor de inferência que suporta provas lógicas baseadas em lógicas. É um raciocínio de acorrentamento recuado melhorado com a deteção do caminho de Euler. Tem implementações em Java, C#, Python, Javascript e Prolog. Via N3 é interoperável com w3C Cwm.