Package | Description |
---|---|
alice.tuprolog | |
alice.tuprolog.hgdb | |
alice.tuprolog.lib |
Modifier and Type | Class and Description |
---|---|
class |
BuiltIn
Library of built-in predicates
|
Modifier and Type | Method and Description |
---|---|
Library |
LibraryManager.getLibrary(String name)
Gets the reference to a loaded library
|
Library |
Prolog.getLibrary(String name)
Gets the reference to a loaded library
|
protected Library |
Prolog.getLibraryFunctor(String name,
int nArgs) |
protected Library |
Prolog.getLibraryPredicate(String name,
int nArgs) |
Library |
LibraryManager.loadLibrary(String className)
Loads a library.
|
Library |
Prolog.loadLibrary(String className)
Loads a library.
|
Modifier and Type | Method and Description |
---|---|
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
|
Constructor and Description |
---|
PrimitiveInfo(int type,
String key,
Library lib,
Method m,
int arity) |
Modifier and Type | Class and Description |
---|---|
class |
HGPrologLibrary |
Modifier and Type | Class and Description |
---|---|
class |
BasicLibrary
This class defines a set of basic built-in
predicates for the tuProlog engine
Library/Theory dependency: none
|
class |
DCGLibrary
Library for managing DCGs.
|
class |
IOLibrary
This class provides basic I/O predicates.
|
class |
ISOLibrary
This class represents a tuProlog library providing most of the built-ins
predicates and functors defined by ISO standard.
|
class |
JavaLibrary
This class represents a tuProlog library enabling the interaction
with the Java environment from tuProlog.
|
class |
TheoryLibrary
Library built from Prolog theory.
|
Copyright © 2015. All rights reserved.