unify/it.unibo.tuprolog.unify.exception/NoUnifyException

NoUnifyException

open class NoUnifyException(term1: Term, term2: Term, other: Throwable?) : TuPrologException

Signals that term1 and term2 could not be unified, as an exception rather than the Term/Substitution-level failure sentinel (it.unibo.tuprolog.core.Substitution.failed) that it.unibo.tuprolog.unify.Unificator's own operations use to represent unification failure.

Inheritors

Constructors

Link copied to clipboard
constructor(term1: Term, term2: Term, other: Throwable?)
constructor(term1: Term, term2: Term)

Properties

Link copied to clipboard
expect open val cause: Throwable?
Link copied to clipboard
open override val message: String?
Generated by Dokka
© 2026 Copyright