Package-level declarations

Thrown by it.unibo.tuprolog.core.Applicable.apply when applying a Substitution to term fails because the substitution is (or reduces to) Substitution.Fail.

Thrown when a Substitution was expected to be (or to produce) a Substitution.Unifier, but turned out to be a Substitution.Fail instead — e.g. by Scope.unifierOf when the given assignments are contradictory.

Base class for all tuProlog related exceptions