core/it.unibo.tuprolog.core.exception/SubstitutionApplicationException

SubstitutionApplicationException

class SubstitutionApplicationException : SubstitutionException

Thrown by it.unibo.tuprolog.core.Applicable.apply when applying a Substitution to term fails because the substitution is (or reduces to) Substitution.Fail.

Constructors

SubstitutionApplicationException

constructor(term: Term, substitution: Substitution, message: String?, cause: Throwable? = null)

constructor(term: Term, substitution: Substitution, cause: Throwable? = null)

constructor(term: Term, cause: Throwable? = null)

Properties

expect open val cause: Throwable?

expect open val message: String?

val substitution: Substitution

The offending Substitution (typically Substitution.failed).

The Term the substitution could not be applied to.