:- use_module(library(qsave)).(can be autoloaded)
stand_aloneoption, the resource is headed by the emulator, a Unix shell script or nothing. Options is a list of additional options:
- Limit for the local stack. See section 2.4.3.
- Limit for the global stack. See section 2.4.3.
- Limit for the trail stack. See section 2.4.3.
- Initialization goal for the new executable (see -g).
- Top-level goal for the new executable (see -t).
- Default initialization file for the new executable. See -f.
runtime, only read resources from the state (default). If
kernel, lock all predicates as system predicates. If
development, save the predicates in their current state and keep reading resources from their source (if present). See also resource/3.
true(default), run autoload/0 first.
- Dump a human-readable trace of what has been saved in File.
- One of
save(default) to save the current operator table or
standardto use the initial table of the emulator.
true, the emulator is the first part of the state. If the emulator is started it will test whether a boot file (state) is attached to the emulator itself and load this state. Provided the application has all libraries loaded, the resulting executable is completely independent of the runtime environment or location where it was built. See also section 188.8.131.52.
- File to use for the emulator. Default is the running Prolog image.
save, include shared objects (DLLs) into the saved state. See current_foreign_library/2. If the program strip is available, this is first used to reduce the size of the shared object. If a state is started, use_foreign_library/1 first tries to locate the foreign resource in the executable. When found it copies the content of the resource to a temporary file and loads it. If possible (Unix), the temporary object is deleted immediately after opening.181This option is experimental and currently disabled by default. It will become the default if it proves robust.