SWI Prolog (32-bit) 规格
|
开发和实施逻辑程序和应用程
FromSWI-Prolog:SWI-Prolog提供了一个全面的免费软件Prolog环境,具有快速编译,强大而无内存泄漏,基于GMP库的无限整数和有理数算术,以及灵活快捷的C和C ++界面 - 语言。它与Java(JPL),ODBC,TCP / IP套接字,SSL和CGI表单处理的接口库捆绑在一起,并且具有全面的内置谓词,涵盖ISO标准的第1部分,事实上的爱丁堡Prolog标准和Quintus和SICStus Prolog的重要组成部
下载 (10.04MB)