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

Help

object Help : RuleWrapper<ExecutionContext>

Public entry point for solver documentation.

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.

open override val help: String

override val implementation: Rule

The wrapped implementation

val signature: Signature

Functions

override fun toString(): String