12.3.12 SP_deinitialize()

Synopsis

     #include <sicstus/sicstus.h>
     
     void
     SP_deinitialize(void);

Shuts down the Prolog engine.

Description

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.

See Also

Initializing the Prolog Engine.