SWI Prolog (32-bit) 6.4

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...