solve/it.unibo.tuprolog.solve.stdlib.rule/Once

Once

object Once : RuleWrapper<ExecutionContext>

Functions

override fun toString(): String

Properties

open override val <ERROR CLASS>.body: <ERROR CLASS>

descriptionPair

val descriptionPair: Pair<Signature, <ERROR CLASS>>

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

val functor: String

A shorthand to get the signature functor name

open override val <ERROR CLASS>.head: List<<ERROR CLASS>>

override val implementation: <ERROR CLASS>

The wrapped implementation

val signature: Signature