Support timeout option #8
Description
https://www.swi-prolog.org/pldoc/man?predicate=pengine_rpc/3
timeout(+Time)
Wait at most Time seconds for the next event from the server. The default is defined by the setting pengines:time_limit.
{{ message }}
https://www.swi-prolog.org/pldoc/man?predicate=pengine_rpc/3
timeout(+Time)
Wait at most Time seconds for the next event from the server. The default is defined by the setting pengines:time_limit.