In PLOGHELP SAVE, it's suggested that the canonical way of using
-save/2- should be something like this:
:- save(myplog, 1) ->
/* after restoration */
(reinitialise, ;;; perform standard initialisation
version, ;;; print version messages
abort) ; ;;; go to top level
/* after saving */
write('myplog saved\n').
There's a slight problem here, in that the call to -abort- generates
an unwanted [execution aborted] message. This will appear just after
starting the saved image; as well as being ugly, it could be confusing
to some users. Is there a way (in v13 Poplog) to supress it?
Jocelyn Paine
|