#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.