SWI Prolog (64-bit) 规格
|
制定和执行逻辑程序和应用程序.
FromSWI-序言:SWI-Prolog的提供了一个全面自由软件Prolog的环境,它具有快速编译,坚固耐用,没有内存泄漏,无界整数和有理数运算的基础上GMP库,灵活,快速接口的C和C ++ - 语言。它捆绑了用于Java(JPL),ODBC,TCP / IP套接字,SSL和CGI表单处理的接口库,它有一整套内部谓词,涵盖了ISO标准的第1部分,事实上的爱丁堡Prolog的标准和Quintus的和SICStus的Prolog的重要组成部分.
下载 (10.53MB)
Hex Workshop 203 |
Mango Dev for Windows 10 203 |
HxD Hex Editor 203 |
CD Recovery Toolbox Free 203 |
PilotEdit Lite 203 |
HexEdit 203 |
Brackets 203 |
Notepad++ 203 |
Universal Logo Maker for Windows for Windows 10 203 |
AddcoTruckMountUI for Windows 10 203 |