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

Catch

object Catch : RuleWrapper<ClassicExecutionContext>

ISO catch/3: catch(Goal, Catcher, Recovery) :- Goal. -- the body just proves Goal; the actual catch/recovery behaviour is not implemented here but in StateException, which climbs the execution-context stack looking for a currently-executing goal shaped like this one whose Catcher unifies with a raised exception, and if so proves Recovery 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