|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use PrologException | |
| alice.tuprolog | |
| alice.tuprolog.lib | |
| Uses of PrologException in alice.tuprolog |
| Subclasses of PrologException in alice.tuprolog | |
class |
InvalidLibraryException
This exception means that a not valid tuProlog library has been specified. |
class |
InvalidTermException
This exeption means that a not valid tuProlog term has been specified. |
class |
InvalidTheoryException
This exceptions means that a not valid tuProlog theory has been specified |
class |
InvalidVarNameException
This exeption means that a not valid tuProlog variable has been specified. |
class |
MalformedGoalException
This exception means that a not well formed goal has been specified. |
class |
NoHaltException
This exception is raised when an halt code is requested and no halt predicate has been issued |
class |
NoMoreSolutionException
This exception means that other solutions are asked but actually no other ones exist. |
class |
NoSolutionException
This exception means that a solution is asked, but actually none exists |
class |
UnknownVarException
This exception means that a not well formed goal has been specified. |
| Uses of PrologException in alice.tuprolog.lib |
| Subclasses of PrologException in alice.tuprolog.lib | |
class |
InvalidObjectIdException
This exception is raised when a not valid identifier is used to register an object in the JavaLibrary |
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||