Package | Description |
---|---|
alice.tuprolog | |
alice.tuprolog.interfaces | |
alice.tuprolog.lib | |
alice.tuprologx.pj.engine | |
alice.tuprologx.pj.lib |
Modifier and Type | Class and Description |
---|---|
class |
BuiltIn
Library of built-in predicates
|
Modifier and Type | Method and Description |
---|---|
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 |
Prolog.loadLibrary(String className)
Loads a library.
|
Modifier and Type | Method and Description |
---|---|
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 | Method and Description |
---|---|
Library |
IProlog.getLibrary(String name)
Gets the reference to a loaded library
|
Library |
IProlog.loadLibrary(String className)
Loads a library.
|
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 |
EDCGLibrary
Library for managing DCGs.
|
class |
IOLibrary
This class provides basic I/O predicates.
|
class |
ISOIOLibrary
This class provides basic ISO 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.
|
Modifier and Type | Method and Description |
---|---|
void |
PJProlog.loadLibrary(Library library) |
Modifier and Type | Class and Description |
---|---|
class |
PJLibrary
This class represents a tuProlog library enabling the interaction
with the Java environment from tuProlog.
|
class |
PJLibraryNew
This class represents a tuProlog library enabling the interaction
with the Java environment from tuProlog.
|