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.
Modes and number of proofs¶
threaded_engine_create(@term, @callable, @nonvar) - one threaded_engine_create(@term, @callable, --nonvar) - one
Goalis a variable:
Goalis neither a variable nor a callable term:
Engineis the name of an existing engine:
permission_error(create, engine, Engine)