Modeling Object Dynamics in Object-Oriented Logic Programming