Package it.unibo.tuprolog.unify.exception

Types

open class NoUnifyException( term1: <ERROR CLASS>, term2: <ERROR CLASS>, other: Throwable?)

class OccurCheckException( term1: <ERROR CLASS>, term2: <ERROR CLASS>, innerVar: <ERROR CLASS>, innerTerm: <ERROR CLASS>, other: Throwable?) : NoUnifyException