solve/it.unibo.tuprolog.solve.stdlib.rule/Semicolon/If/Then

Then

object Then : Semicolon.If

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