Modeling Object Dynamics in an Object-Oriented Logic Programming Framework