EulerSharp 2011-06-24

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 4.0/5 - ‎1 ‎โหวต

เกี่ยวกับ EulerSharp

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