SWI-Prolog -- API-function PL_halt

Documentation
- Reference manual
  - Foreign Language Interface
    - The Foreign Include File
      - Embedding SWI-Prolog in other applications
        
        PL_initialise()
        
        PL_is_initialised()
        
        PL_set_resource_db_mem()
        
        PL_toplevel()
        
        PL_cleanup()
        
        PL_cleanup_fork()
        
        PL_halt()
        
        Threading, Signals and embedded Prolog
- Packages

tem in the same process. In practice, SWI-Prolog's cleanup process is far from complete, and trying to revive the system using PL_initialise()