solve-classic/it.unibo.tuprolog.solve.classic.stdlib.rule/Call

Call

object Call : RuleWrapper<ClassicExecutionContext>

ISO call/1: call(G) :- must_be_executable(G), G. -- checks it.unibo.tuprolog.solve.stdlib.primitive.EnsureExecutable before proving G as a fresh, opaque-to-cut goal (a cut inside G only cuts choice points created while proving G itself, since call/1 becomes its own frame on the execution-context stack).

Properties

body

open override val Scope.body: Term

descriptionPair

val descriptionPair: Pair<Signature, Rule>

functor

val functor: String

head

open override val Scope.head: List<Term>

implementation

override val implementation: Rule

signature

val signature: Signature

Functions

toString

override fun toString(): String