Programmes par eulersharp.sf.net

Euler est un moteur d’inférence soutenant les preuves basées sur la logique. Il s’agit d’un raisonnement à chaîne arrière amélioré par la détection de chemin Euler. Il a des implémentations en Java, C#, Python, Javascript et