Calls With Timeout¶
The time_out//33 command relies on the <alarm//33 built-in to implement a call with a maximum time of execution.
The command is available with the use_module(library(timeout)) command.
The time_out//33 command relies on the <alarm//33 built-in to implement a call with a maximum time of execution.
The command is available with the use_module(library(timeout)) command.