Constraint and Logic Programming research group. People, research projects, publications and resources.