Redirecting to Constraint logic programming