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

Append

sealed class Append : RuleWrapper<ExecutionContext>

Inheritors

Types

object Base : Append

object Companion

object Recursive : Append

Properties

open 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

abstract 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