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