Projects using GMP

[Jan Wielemaker]

Hi,

I've just released SWI-Prolog 5.6.0 (LGPL Prolog system,
http://www.swi-prolog.org, 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
MinGW).

The integration was sponsored by a commercial user (http://www.sss.co.nz).

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

	Thanks --- Jan