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 N3 itu dapat dioperasikan dengan W3C Cwm.
Riwayat versi
- Versi Euler-2011-06-24 diposting di 2011-06-25
- Versi Euler-2011-03-25 diposting di 2011-03-25
Beberapa perbaikan dan pembaruan
Detil Program
- Kategori: Utilitas Sistem > Lain
- Penerbit: eulersharp.sf.net
- Lisensi: Gratis
- Harga: N/A
- Versi: 2011-06-24
- Platform: linux