On Tue, Feb 22, 2011 at 17:56, Daniel Diaz <[email protected]> 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. Best regards, -- Nicolas _______________________________________________ Users-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/users-prolog
