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/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.
What's new in version 6.4
ReleaseJuly 18, 2013
Date AddedJuly 18, 2013
Operating SystemsWindows, Windows XP, Windows Vista, Windows 7