Tarafından Programlar eulersharp.sf.net

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