Constraint Logic Programming (optional course)