Re: CLP(FD) problem in GNU Prolog

From: Andrew Eremin (a.eremin_at_icparc.ic.ac.uk)
Date: 02/03/04 

Date: Tue, 03 Feb 2004 10:08:08 +0000

Stephen Meyles wrote:
>
> I'm playing around with constraint programming using GNU Prolog and I
> don't understand the following. I wrote the code below trying to
> solve the described problem, and don't understand why it fails to
> return an answer if P2 is constrained to [2,3,5,7], but works fine
> with P2 constrained to 7.

It gives the same answer both ways in ECLiPSe, so I assume it's a bug in
the implementation of GNU Prolog's fd constraints. 

-- 
Andrew Eremin
Research Assistant                   Tel: +44 (0)20 7594 8299
IC-Parc, Imperial College London     Fax: +44 (0)20 7594 8432
London SW7 2AZ                       Email: a.eremin@icparc.ic.ac.uk

Relevant Pages

  • Re: CLP(FD) problem in GNU Prolog
    ... > Stephen Meyles a écrit dans le message ... >>I'm playing around with constraint programming using GNU Prolog ...
    (comp.lang.prolog)
  • Re: CLP(FD) problem in GNU Prolog
    ... Stephen Meyles a écrit dans le message ... >I'm playing around with constraint programming using GNU Prolog and I ... and don't understand why it fails to ... but does GNU Prolog use 16-bit integers and you get integer ...
    (comp.lang.prolog)