Adding Constraint Solving to Mercury

Ralph Becket, Maria J. GarcĂ­a de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace. Adding Constraint Solving to Mercury. In Pascal Van Hentenryck, editor, Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings. Volume 3819 of Lecture Notes in Computer Science, pages 118-133, Springer, 2006. [doi]


Abstract is missing.