Projects using GMP

Jan Wielemaker wielemak at
Thu Dec 22 16:52:59 CET 2005


I've just released SWI-Prolog 5.6.0 (LGPL Prolog system,, approx. 10,000 downloads/month). This version
provides unbounded integer and rational number arithmetic through GMP,
running smoothly on Linux (32- and 64-bits), MacOS X and Windows (using

The integration was sponsored by a commercial user (

Thanks for GMP!  Most was easily done.  I had a bit of trouble integrating
with the already present 64-bit integer arithmetic as well as dealing with
Prolog memory management which demands GMP objects to be moveable and

	Thanks --- Jan

More information about the gmp-discuss mailing list