threaded_engine_destroy/1

Description

threaded_engine_destroy(Engine)

Stops and destroys an engine.

Modes and number of proofs

threaded_engine_destroy(@nonvar) - one

Errors

Engine is a variable:
instantiation_error
Engine is neither a variable nor the name of an existing engine:
existence_error(engine, Engine)

Examples

% stop the worker_1 engine:
| ?- threaded_engine_destroy(worker_1).

% stop all engines:
| ?- forall(
         threaded_engine(Engine),
         threaded_engine_destroy(Engine)
     ).