Package it.unibo.tuprolog.unify.exception

Types

NoUnifyException
Link copied to clipboard
open class NoUnifyException(term1: Term, term2: Term, other: Throwable?) : TuPrologException
Content copied to clipboard
OccurCheckException
Link copied to clipboard
class OccurCheckException(term1: Term, term2: Term, innerVar: Var, innerTerm: Term, other: Throwable?) : NoUnifyException
Content copied to clipboard