In GOLOG language the interpreter of the programming language automatically maintains a direct characterization of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world.