Towards a Declarative and Efficient Glass-Box CLP Language