Programas por eulersharp.sf.net

Euler é um motor de inferência que suporta provas baseadas em lógica. É um raciocínio de encadeamento retrógrado aprimorado com a detecção de caminho de Euler. Possui implementações em Java, C#, Python, Javascript e Prolog. V