Applicative Communicating Processes in First Order Logic