[eclipse-users] CLP(lists)?

From: Malcolm Ryan <malcolmr_at_...25...>
Date: Mon, 5 Mar 2007 15:31:21 +1100
Does anyone have any experience using CLP(lists)? It seems that  
ECLiPSe comes with a CHR description of it in 'ecrc_solvers/chr/ 
list.chr',  and I've had a bit of a play with it, but I'm not clear  
on how I can integrate it with other integer constraints. Eg, if I  
wanted to have a variable representing the length of the list and  
then place constraints on its value. Would this work? Will lib(chr)  
and lib(ic) play nice together?

Malcolm

--
       "An inconvenience is only an adventure wrongly considered;
        an adventure is an inconvenience rightly considered."
                 - G.K.Chesterton, On Running After Ones Hat
Received on Mon Mar 05 2007 - 04:31:42 CET

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST