Program menurut eulersharp.sf.net

Euler adalah mesin inferensi yang mendukung bukti berbasis logika. Ini adalah alasan rantai mundur yang ditingkatkan dengan deteksi jalur Euler. Ini memiliki implementasi dalam Java, C#, Python, Javascript dan Prolog. Melalui