Relational implementation of the CESK machine