/usr/local/lib/swipl/library/ext/mqi/mqi.pl
All Application Manual Name SummaryHelp

  • mqi
    • mqi.pl
      • mqi_start/1
      • mqi_version/2
      • mqi_start/0
      • mqi_stop/1
 mqi_stop(?Server_Thread_ID:atom) is det
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.