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

Catch

object Catch : RuleWrapper<ConcurrentExecutionContext>

catch/3: resolves as its first argument, G; the second (E, the catcher pattern) and third (C, the recovery goal) arguments are never actually resolved as part of this rule's body -- it is it.unibo.tuprolog.solve.concurrent.fsm.StateException that inspects catch(G, E, C) goals found while walking ConcurrentExecutionContext.pathToRoot, unifying E against a raised error and, on a match, resolving C instead.

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