Reasoning about change and persistence: A solution to the frame problem