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.