[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Wed, 23 Feb 2011 09:05:04 +0900
On Tue, Feb 22, 2011 at 17:56, Daniel Diaz <address@hidden> wrote:
> This choice has been done for efficiency reasons. Other representations are
> possible but 1) imply a lot of code rewriting in the solver and 2) will
> penalize efficiency.
Thank you for this explanation. I suspected this would be the case.
> In your case (IP addr) it is obviously not a good idea to use a bit-vector
> for 2^32 values (and in fact you cannot define a so big length) !
> Use instead 4 different variables ranging in 0..255 (or 2 variables in
> 0..65535) and "link" them by constraints.
Yes, this looks like the way to go for GNU Prolog.