- wait_and_output_result(+Pengine, +Queue, +Format, +TimeLimit) is det[private]
- Wait for the Pengine's Queue and if there is a message, send it
to the requester using output_result/1. If Pengine does not
answer within the time specified by the setting
time_limit
, Pengine is aborted and the result iserror(time_limit_exceeded, _)
.