-
Notifications
You must be signed in to change notification settings - Fork 7
load_tartarus_state
Tushar Semwal edited this page Oct 15, 2017
·
2 revisions
load_tartarus_state(FileName) % Loads the state of the platform saved in a file.
FileName: <atom +>
This predicate is used in conjunction with save_tartarus_state/1. The state of the platform can be resumed by calling this predicate. It asserts all the associated predicates within the file FileName and asserts all the agents and related handler code. It also restarts all agents which were running at the time of save_tartarus_state/1 predicate was called.
?- load_tartarus_state(‘E:\\platform_state.txt’).