solve/it.unibo.tuprolog.solve.stdlib.primitive/Sleep

Sleep

object Sleep : UnaryPredicate<ExecutionContext>

Implements predicate sleep(+N) where 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 N milliseconds

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

Gets this wrapped primitive description Pair formed by signature and wrapped primitive type

functor

val functor: String

A shorthand to get the signature functor name

implementation

override val implementation: Primitive

Checked primitive implementation

signature

val signature: Signature