Towards a Process Semantics in the Logic Programming Style