The semantics of constraint logic programming languages with coroutining facilities (“freeze,” suspension, residuation, etc.) cannot be fully declarative; thus, an operational semantics has to be ...