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

Call

object Call : RuleWrapper<ConcurrentExecutionContext>

call/1: checks (via it.unibo.tuprolog.solve.stdlib.primitive.EnsureExecutable) that its argument is a callable term, then resolves it as a goal -- equivalent to call(G) :- ensure_executable(G), G..

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