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

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)