threaded_engine_create(AnswerTemplate, Goal, Engine)
Creates a new engine for proving the given goal and defines an answer template for retrieving the goal solution bindings. A message queue for passing arbitrary terms to the engine is also created. If the name for the engine is not given, a unique name is generated and returned.
threaded_engine_create(@term, @callable, ?nonvar)
instantiation_error
type_error(callable, Goal)
permission_error(create, engine, Engine)
threaded_engine_create(X, member(X, [1,2,3]), worker_1)
threaded_engine_destroy/1
, threaded_engine_self/1
, threaded_engine/1