[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: GNU prolog and GNU MP

From: Paul Leader
Subject: RE: GNU prolog and GNU MP
Date: Thu, 9 May 2002 10:01:42 +0100

I would be very interested in this as well.

I would like to be able to use gpl's constraint solver but I have to have
arbitrary arithmetic.  At the moment I use poplog but that lacks any real
support for constraints.

I suspect that the conversion might be rather hard, or at best very time
consuming.  The question is, can the basic structure and algoritms in gpl
handle a conversion like this without breaking?  I don't really know enough
about the inner working of gpl, although this could be a very good learning
exercise :->

I think it is time that I dug out the gpl source code and started having a
poke around.


> -----Original Message-----
> From: Rashkatsa [mailto:address@hidden
> Sent: 28 April 2002 23:01
> To: address@hidden
> Subject: GNU prolog and GNU MP
> Hi !
> does someone know how difficult it is to add arbitrary 
> arithmetic features 
> to gnu prolog (clp(fd) part included) with
> gnu MP library for example ?
> is it an 
> easy/difficult/impossible_without_rewritting_the_whole thing ?
> thanks for your feedback.
> regards,
> rashkatsa
> _______________________________________________
> Users-prolog mailing list
> address@hidden

This email and any files transmitted with it are confidential and
intended solely for the use of the individual or entity to whom they
are addressed. If you have received this email in error please notify
the system manager.

This footnote also confirms that this email message has been swept 
for the presence of computer viruses.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]