Chương trình theo eulersharp.sf.net

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