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

Bình luận