Euler là một công cụ suy luận hỗ trợ logic dựa trên bằng chứng. Nó là một lý luận chuỗi ngược được tăng cường với phát hiện đường dẫn Euler. Nó có triển khai trong Java, C #, Python, Javascript và Prolog. Thông qua N3 nó là tương thích với W3C Cwm.
lịch sử phiên bản
- Phiên bản Euler-2011-06-24 đăng trên 2011-06-25
- Phiên bản Euler-2011-03-25 đăng trên 2011-03-25
Một số bản sửa lỗi và cập nhật
Chi tiết chương trình
- Mục: Tiện ích hệ thống > Khác
- Publisher: eulersharp.sf.net
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: 2011-06-24
- Nền tảng: linux