solve/it.unibo.tuprolog.solve.rule/RuleWrapper

RuleWrapper

abstract class RuleWrapper<C : ExecutionContext>(signature: Signature) : AbstractWrapper<<ERROR CLASS>>

Constructors

fun RuleWrapper( functor: String, arity: Int, vararg: Boolean = false)

fun RuleWrapper(signature: Signature)

Functions

override fun toString(): String

Properties

open 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 val <ERROR CLASS>.head: List<<ERROR CLASS>>

override val implementation: <ERROR CLASS>

The wrapped implementation

val signature: Signature

Inheritors

CurrentPrologFlag