Programmi di eulersharp.sf.net

Euler è un motore di inferenza che supporta dimostrazioni basate sulla logica. È un ragionatore a catena all'indietro migliorato con il rilevamento del percorso di Eulero. Ha implementazioni in Java, C#, Python, Javascript e