注册
登录
调度引擎
logicamente
返回
项目作者：
giovanniberti
项目描述 ：
A first-order logic theorem prover with SLD resolution.
高级语言：
Python
项目主页：
项目地址:
git://github.com/giovanniberti/logicamente.git
创建时间：
2019-02-13T15:29:18Z
项目社区：
https://github.com/giovanniberti/logicamente
开源协议：
下载
