软件截图:
SWI-Prolog的提供了一个全面的自由软件Prolog的环境，具有快速编辑，强大和自由的内存泄漏，无界整数，并根据GMP库有理数运算，灵活和快速接口C和C ++ - 语言。它捆绑了接口库为Java（JPL），ODBC，TCP / IP套接字，SSL，CGI和表单处理，它有一整套的内置谓词，覆盖的ISO标准的第一部分，事实上的爱丁堡Prolog的标准和Quintus的和SICStus的Prolog的重要组成部分。
评论没有发现