Package | Description |
---|---|
alice.tuprolog | |
alice.tuprolog.lib |
Modifier and Type | Class and Description |
---|---|
class |
HaltException
This exception is raised when an halt code is requested
and no halt predicate has been issued
|
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
Deprecated.
Use InvalidTermException with a meaningful message instead.
|
class |
MalformedGoalException
This exception means that a not well formed goal has been specified.
|
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.
|
Modifier and Type | Class and Description |
---|---|
class |
InvalidObjectIdException
This exception is raised when a not valid identifier is used
to register an object in the JavaLibrary
|
Copyright © 2015. All rights reserved.