Intelligent Backtracking for CLP Languages: An Application to CLP(R)