EulerSharp 2011-06-24

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.0/5 - ‎1 ‎Undi

Tentang EulerSharp

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. Melalui N3 ia boleh dijalakan dengan W3C Cwm.