The examples from Tony Hoare's 1978 paper "Communicating sequential processes" implemented in CLP