engine_destroy/1

Documentation
- Reference manual
  - Coroutining using Prolog engines
    - Engine predicate reference
- Packages

Availability:built-in

[det]engine_destroy(+Engine)

Destroy Engine. If the engine is still in use by another thread, this call blocks until the engine is free. Destroying the engine that is running this call raises a permission error.