SWI-Prolog的提供了一個全面的自由軟件Prolog的環境,具有快速編輯,強大和自由的內存洩漏,無界整數,並根據GMP庫有理數運算,靈活和快速接口C和C ++ - 語言。它捆綁了接口庫為Java(JPL),ODBC,TCP /...

閱讀更多

SWI-Prolog的提供了一個全面的自由軟件Prolog的環境,具有快速編輯,強大和自由的內存洩漏,無界整數,並根據GMP庫有理數運算,靈活和快速接口C和C ++ - 語言。它捆綁了接口庫為Java(JPL),ODBC,TCP /...

閱讀更多