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