solve/it.unibo.tuprolog.solve.exception.error/InstantiationError/Companion

Companion

object Companion

Properties

const val typeFunctor: String

The instantiation error Struct functor

Functions

fun forArgument(context: ExecutionContext, procedure: Signature, variable: Var, index: Int? = null): InstantiationError

Creates an InstantiationError reporting that the (optionally index-th) argument of procedure, variable, is unexpectedly unbound.

fun forGoal(context: ExecutionContext, procedure: Signature, variable: Var): InstantiationError

Creates an InstantiationError reporting that subgoal variable of procedure is unexpectedly unbound.