solve/it.unibo.tuprolog.solve.stdlib.rule/Semicolon/Or/Left

Left

object Left : Semicolon.Or

Properties

open override val Scope.body: Term

The rule body, in scope; defaults to true, i.e. this wrapper declares a fact.

descriptionPair

val descriptionPair: Pair<Signature, Rule>

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 Scope.head: List<Term>

The rule head's arguments, in scope; must have as many elements as signature's arity.

override val implementation: Rule

The wrapped implementation

val signature: Signature

Functions

override fun toString(): String