| 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.