Next: cpg-ref-SP_error_message, Previous: cpg-ref-SP_define_c_predicate, Up: cpg-bif [Contents][Index]
SP_deinitialize()
#include <sicstus/sicstus.h> void SP_deinitialize(void);
Shuts down the Prolog engine.
SP_deinitialize()
will make a best effort to restore the system
to the state it was in at the time of calling
SP_initialize()
. This involves unloading foreign resources,
shutting down the emulator, and deallocating memory used by Prolog.
SP_deinitialize()
is idempotent
i.e. it is a no-op unless SICStus has actually been initialized.
Initializing the Prolog Engine.