โปรแกรมตาม eulersharp.sf.net

Euler เป็นเครื่องมืออนุมานที่สนับสนุนหลักฐานตามตรรกะ มันเป็นเหตุผลในห่วงโซ่ย้อนกลับที่ได้รับการปรับปรุงด้วยการตรวจจับเส้นทางของ Euler มีการใช้งานใน Java, C #, Python, Javascript และ Prolog ผ่าน N3 มันสามารถทํางานร่วมกับ W3C C