Applying Deductive Object-Oriented Programming to Distributed Environment