exception
The exceptions raised by 2P-Kt's term model (e.g. when applying a substitution fails).
They are JVM exceptions: catch them by these classes (or by tuprolog.errors' Python
classifications).
module-attribute
¶
TuPrologException = _exceptions.TuPrologException
The base class of 2P-Kt's exceptions (a JVM RuntimeException).
Note
2P-Kt's it.unibo.tuprolog.core.exception.TuPrologException.
module-attribute
¶
SubstitutionException = _exceptions.SubstitutionException
Raised when a substitution was expected to be a unifier, but turned out to be the failed one.
Members: substitution (the substitution at hand).
module-attribute
¶
SubstitutionApplicationException = (
_exceptions.SubstitutionApplicationException
)
Raised when applying a substitution to a term fails, as the substitution is the failed one.
Members: term (the term), substitution (the substitution).