Availability:
:- use_module(library(pengines)).
[det]pengine_destroy(+NameOrID)force(true),
the pengine is killed using abort/0 and pengine_destroy/2
succeeds.
:- use_module(library(pengines)).[det]pengine_destroy(+NameOrID)force(true),
the pengine is killed using abort/0 and pengine_destroy/2
succeeds.