EulerSharp 2011-06-24

लाइसेंस: मुफ्त ‎फ़ाइल आकार: N/A
‎उपयोगकर्ताओं की रेटिंग: 4.0/5 - ‎1 ‎वोट

करीबन EulerSharp

यूलर एक अनुमान इंजन तर्क आधारित सबूत का समर्थन है। यह यूलर पथ का पता लगाने के साथ बढ़ाया गया एक पिछड़ा-चेनिंग तर्ककर्ता है। इसमें जावा, सी #, पायथन, जावास्क्रिप्ट और प्रोलॉग में कार्यान्वयन किया गया है। N3 के माध्यम से यह W3C Cwm के साथ इंटरऑपरेबल है।