軟件截圖:
SWI-Prolog的提供了一個全面的自由軟件Prolog的環境，具有快速編輯，強大和自由的內存洩漏，無界整數，並根據GMP庫有理數運算，靈活和快速接口C和C ++ - 語言。它捆綁了接口庫為Java（JPL），ODBC，TCP / IP套接字，SSL，CGI和表單處理，它有一整套的內置謂詞，覆蓋的ISO標準的第一部分，事實上的愛丁堡Prolog的標準和Quintus的和SICStus的Prolog的重要組成部分。
評論沒有發現