Programas por eulersharp.sf.net

Euler es un motor de inferencia que soporta pruebas basadas en lógica. Es un razonamiento de cadena hacia atrás mejorado con la detección de caminos de Euler. Tiene implementaciones en Java, C, Python, Javascript y Prolog. A