오일러는 논리 기반 증명을 지원하는 추론 엔진입니다. 그것은 오일러 경로 감지로 강화 된 후진 체인 추론자입니다. 자바, C#, 파이썬, 자바스크립트 및 프롤로그에 구현되어 있습니다. N3를 통해 W3C Cwm과 상호 운용할 수 있습니다.
버전 기록
- 버전 Euler-2011-06-24 에 게시 2011-06-25
- 버전 Euler-2011-03-25 에 게시 2011-03-25
몇 가지 수정 및 업데이트
프로그램 세부 정보
- 범주: 시스템 유틸리티 > 다른
- 게시자: eulersharp.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: 2011-06-24
- 플랫폼: linux