SWI Prolog for Ubuntu (32-bit)
5.10.4 · Linux - Bởi SWI-Prolog
· 06/03/2012 02:07 (12 năm trước)
Giới Thiệu · SWI Prolog for Ubuntu (32-bit)
SWI-Prolog offers a comprehensive free software prolog environment, which features fast compilation, robust and free of memory leaks, unbounded integer and rational number arithmetic based on GMP library, and flexible and fast interface to the C- and C++-Language. It bundled with interface libraries for Java (JPL), ODBC, TCP or IP sockets, SSL, and CGI form handling and it has comprehensive set of built-in predicates, covering Part 1 of the ISO standard, the de-facto Edinburgh Prolog standard and important parts of Quintus and SICStus Prolog.
Full Specifications · Google Chrome Zing MP3
Phiên bản |
5.10.4 |
Cập nhật |
06/03/2012 (12 năm trước) |
Nhà phát triển |
SWI-Prolog |
Thể loại |
Developer Tools |
Hệ điều hành |
Linux |
Hệ điều hành cài đặt |
Linux
, Ubuntu
|
Yêu cầu |
Ubuntu 11.10 |
Lượt tải về |
422,008 |
Phần mềm ứng dụng cùng danh mục