Programma's van eulersharp.sf.net

Euler is een gevolgtrekkingsmotor die op logica gebaseerde bewijzen ondersteunt. Het is een achterwaartse chaining reasoner versterkt met Euler pad detectie. Het heeft implementaties in Java, C#, Python, Javascript en Prolog.