Programy według eulersharp.sf.net

Euler jest silnikiem wnioskowania potwierdzającym dowody oparte na logice. Jest to rozumowanie do łańcucha wstecznego wzbogacone o wykrywanie ścieżki Eulera. Posiada implementacje w Java, C#, Python, Javascript i Prolog. Via