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. Engine names shall be regarded as opaque terms; users shall not rely on its type.
threaded_engine_create(@term, @callable, ?nonvar)
instantiation_errortype_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
threaded_engine_next/2, threaded_engine_next_reified/2