2 library(mqi)
All Application Manual Name SummaryHelp

  • Documentation
    • Reference manual
    • Packages
      • mqi -- Python and Other Programming Languge Integration for SWI Prolog
        • library(mqi)
          • mqi_start/1
          • mqi_version/2
          • mqi_start/0
          • mqi_stop/1
Availability::- use_module(library(mqi)).(can be autoloaded)
Source[det]mqi_stop(?Server_Thread_ID:atom)
If Server_Thread_ID is a variable, stops all Machine Query Interfaces and associated threads. If Server_Thread_ID is an atom, then only the MQI with that Server_Thread_ID is stopped. Server_Thread_ID can be provided or retrieved using Options in mqi_start/1.

Always succeeds.