EulerSharp 2011-06-24

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 4.0/5 - ‎1 ‎Oy

Hakkı -nda EulerSharp

Euler mantık tabanlı kanıtları destekleyen bir çıkarım motorudur. Euler yol algılama ile geliştirilmiş bir geri zincirleme muhakeme olduğunu. Java, C#, Python, Javascript ve Prolog'da uygulamaları vardır. Via N3, W3C Cwm ile birlikte çalışabilir.