| Package | Description | 
|---|---|
| alice.tuprolog | |
| alice.tuprologx.ide | |
| alice.tuprologx.runtime.corba | |
| alice.tuprologx.runtime.rmi | 
| Modifier and Type | Method and Description | 
|---|---|
void | 
BuiltIn.$load_library_1(Term lib)  | 
void | 
LibraryManager.loadLibrary(Library lib)
Loads a specific instance of a library. 
 | 
void | 
Prolog.loadLibrary(Library lib)
Loads a specific instance of a library
 If a library with the same name is already present,
 a warning event is notified 
 | 
Library | 
LibraryManager.loadLibrary(String className)
Loads a library. 
 | 
Library | 
Prolog.loadLibrary(String className)
Loads a library. 
 | 
void | 
LibraryManager.unloadLibrary(String name)
Unloads a previously loaded library 
 | 
void | 
Prolog.unloadLibrary(String name)
Unloads a previously loaded library 
 | 
| Constructor and Description | 
|---|
Prolog(String[] libs)
Builds a tuProlog engine with loaded
 the specified libraries 
 | 
| Modifier and Type | Method and Description | 
|---|---|
void | 
LibraryManager.addLibrary(String libraryClassname)
Add a library to the manager. 
 | 
void | 
LibraryManager.loadLibrary(String library)
Load a library from the Library Manager into the engine. 
 | 
void | 
LibraryManager.unloadLibrary(String library)
Unload a library from the Library Manager out of the engine. 
 | 
| Constructor and Description | 
|---|
PrologImpl(String[] libs)
construction speciying (eventually) libraries 
 | 
| Modifier and Type | Method and Description | 
|---|---|
void | 
PrologImpl.loadLibrary(String className)  | 
void | 
Prolog.loadLibrary(String className)  | 
void | 
PrologImpl.unloadLibrary(String className)  | 
void | 
Prolog.unloadLibrary(String className)  | 
Copyright © 2015. All rights reserved.