EulerSharp 2011-06-24

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 4.0/5 - ‎1 ‎투표

에 대해 EulerSharp

오일러는 논리 기반 증명을 지원하는 추론 엔진입니다. 그것은 오일러 경로 감지로 강화 된 후진 체인 추론자입니다. 자바, C#, 파이썬, 자바스크립트 및 프롤로그에 구현되어 있습니다. N3를 통해 W3C Cwm과 상호 운용할 수 있습니다.