项目描述 ：
Grail is a theorem prover for multimodal type-logical grammars

高级语言： Prolog

项目主页： http://www.labri.fr/perso/moot/grail3.html

项目地址: git://github.com/RichardMoot/Grail.git

创建时间： 2015-02-23T00:27:18Z
项目社区：https://github.com/RichardMoot/Grail
开源协议：GNU Lesser General Public License v2.1
下载