SWI-Prolog的提供了一个全面的自由软件Prolog的环境,具有快速编辑,强大和自由的内存泄漏,无界整数,并根据GMP库有理数运算,灵活和快速接口C和C ++ - 语言。它捆绑了接口库为Java(JPL),ODBC,TCP /...

阅读更多

SWI-Prolog的提供了一个全面的自由软件Prolog的环境,具有快速编辑,强大和自由的内存泄漏,无界整数,并根据GMP库有理数运算,灵活和快速接口C和C ++ - 语言。它捆绑了接口库为Java(JPL),ODBC,TCP /...

阅读更多