RE: GNU prolog and GNU MP

[Paul Leader]

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.

Paul


> -----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
> http://mail.gnu.org/mailman/listinfo/users-prolog
> 


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

www.praxis-cs.co.uk
**********************************************************************