SWI Prolog (64-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/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.