Posts a term to the engine term queue.
Modes and number of proofs
threaded_engine_post(@nonvar, @term) - one
Engineis a variable:
Engineis neither a variable nor the name of an existing engine:
% post the atom "ready" to the worker_1 engine queue: | ?- threaded_engine_post(worker_1, ready).