Programas por eulersharp.sf.net

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