save_tartarus_state

Syntax:

save_tartarus_state(FileName) % Saves the current state of the platform in a file %
FileName: <atom + >

Description:

This predicate saves the current state of the platform into a file with name FileName. All associated asserted code along with facts and running agents are stored in this file. The state of the platform can be resumed by calling another predicate load_tartarus_state/1.

Example:

?- save_tartarus_state(‘E:/platform_state.txt’).

Note the forward slash '/' used here.

On successful execution of the above predicate, a file is created in the specified location containing the state of the platform. (In above example, a .txt extension has been used. However, one may use any file format).