EulerSharp 2011-06-24

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 4.0/5 - ‎1 ‎Phiếu

Về EulerSharp

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.