!TITLE Saving A Program
!KEY
Once  a  program  has  been  read,  the interpreter will have available all the
information necessary for its execution.  This information is called a  program
state.

The  state  of  a program may be saved on disk for future execution.  To save a
program into a file file, perform the command:

            ?- save(file).

Save can be called at top-level, from within a break-level,  or  from  anywhere
within a program.

