{The {CLP(R)} Language and System}