built-in predicate

threaded_engine_destroy/1

Description

threaded_engine_destroy(Engine)

Stops and destroys an engine.

Note

This predicate requires a backend Prolog compiler providing compatible multi-threading primitives. The value of the read-only engines flag is set to supported when that is the case.

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

See also

threaded_engine_create/3, threaded_engine_self/1, threaded_engine/1