Concepts

It is possible to save the state of a running ECLiPSe system into a file that can be restored later. There are basically two types of state that one might want to save.

• A saved state of the current execution i.e. everything must be saved: the compiled code, the global data and the runtime data. When such a saved state is restored, the execution must continue as if the saved state had just been made. In this chapter, this saved state will be referred to as an execution saved state.

• A saved state of the current program i.e. only the compiled code and the global data must be saved, while the runtime data are not. When such a saved state is restored, ECLiPSe starts up as usual, but with compiled code and global data already in memory. In this chapter, this saved state will be referred to as a program saved state.