SWI Prolog for openSUSE (64-bit) for Linux

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.