OccurCheckException

class OccurCheckException(term1: Term, term2: Term, innerVar: Var, innerTerm: Term, other: Throwable?) : NoUnifyException

A NoUnifyException specifically signaling that unifying term1 with term2 failed because innerVar occurs within innerTerm (occurs-check violation): binding innerVar to innerTerm would produce a cyclic/infinite term. See the occurCheckEnabled parameter of it.unibo.tuprolog.unify.Unificator's operations, which (when true) reject such bindings — by returning it.unibo.tuprolog.core.Substitution.failed rather than throwing this exception.

Constructors

constructor(term1: Term, term2: Term, innerVar: Var, innerTerm: Term, other: Throwable?)

constructor(term1: Term, term2: Term, innerVar: Var, innerTerm: Term)

expect open val cause: Throwable?

open override val message: String