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

RuleWrapper

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

A wrapper class for a Prolog-defined Rule, i.e. the clause-based counterpart of it.unibo.tuprolog.solve.primitive.PrimitiveWrapper/it.unibo.tuprolog.solve.function.FunctionWrapper. Used by it.unibo.tuprolog.solve.libraryOf to bundle a library-provided rule (implemented in Prolog itself, rather than in Kotlin) alongside primitives and functions.

Subclasses build implementation declaratively, within scope, by overriding head (the rule head's arguments, whose count must match signature's arity) and body (defaulting to true, i.e. a fact).

Type Parameters

C

unused type parameter, kept for symmetry with it.unibo.tuprolog.solve.primitive.PrimitiveWrapper/ it.unibo.tuprolog.solve.function.FunctionWrapper.

Throws

IllegalArgumentException

if head returns a number of arguments different from signature's arity.

Inheritors

CurrentPrologFlag

Constructors

constructor(signature: Signature)

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

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

open 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