Atur cara mengikut eulersharp.sf.net

Euler adalah enjin inferens yang menyokong bukti berasaskan logik. Ia adalah alasan mundur-rantaian yang dipertingkatkan dengan pengesanan laluan Euler. Ia mempunyai pelaksanaan di Jawa, C#, Python, Javascript dan Prolog. Mel