Applicative communicating processes in first order logic