| Package | Description | 
|---|---|
| alice.tuprolog | |
| alice.tuprolog.hgdb | |
| alice.tuprolog.lib | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
BuiltIn
Library of built-in predicates 
 | 
class  | 
Library
This abstract class is the base class for developing
 tuProlog built-in libraries, which can be dynamically
 loaded by prolog objects. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
IPrimitives | 
PrimitiveInfo.getSource()  | 
| 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.