[eclipse-clp-users] Constraints on list

Dear Eclipse-clp users,



  Following is my problem. I have searched through the forum archives for this solution but in vain. I have encountered dynamic structures but not list. I need to add constraints on List through indexed elements as below. The resultant List should be evaluated based on the constraints. In the eclipse samples diaz_pool.pl at_most_one is what i mean to create. Instead of at_most_one it will be at_most_N in my case. It is just a thought though. I have mentioned the desired output too.



:- lib(ic).

solve(A,B) :-

 B :: 1 .. 10,

 length(A, B),

 A[4] #= 1,

  A[6] #= 2,

 search([B],0,input_order,indomain_split,complete,[]).







Output

?- solve(A, B).
A = [_,_,_,_,1,_2]
B = 6
Yes (0.00s cpu, solution 1, maybe more)





Thanks and Regards,

Shrirang Edgaonkar

______________________________________________________________________
Disclaimer: This email and any attachments are sent in strictest confidence
for the sole use of the addressee and may contain legally privileged,
confidential, and proprietary data. If you are not the intended recipient,
please advise the sender by replying promptly to this email and then delete
and destroy this email and any attachments without any further use, copying
or forwarding.