YAP 7.1.0
Calls With Timeout

The time_out/3 command relies on the alarm/3 built-in to implement a call with a maximum time of execution.

The time_out/3 command relies on the alarm/3 built-in to implement a call with a maximum time of execution.

The command is available with the use_module(library(timeout)) command