द्वारा कार्यक्रम eulersharp.sf.net

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