CLP(R) Extension of