object Sleep: UnaryPredicate<ExecutionContext>
Methods
computeAll
protected fun Request<ExecutionContext>.computeAll(first: Term): Sequence
Template method aimed at computing the application of this predicate to a Term
Receiver
| Name | Description |
|---|---|
Request<ExecutionContext>
|
Parameters
| Name | Description |
|---|---|
first: Term
|
ReturnValue
| Name | Description |
|---|---|
Sequence
|
Implements predicate
sleep(+N)whereNmust be instantiated as an integer. The predicate execution always succeeds, unless the resolution process is halted because of a TimeOutException. Furthermore, the resolution of asleep(N)sub-goal is guaranteed to require at leastNmilliseconds