N must be instantiated as an integer.
The predicate execution always succeeds, unless the resolution process is halted because of a TimeOutException.
Furthermore, the resolution of a
sleep(N) sub-goal is guaranteed to require at least
Template method aimed at computing the application of this predicate to a Term