alice.tuprolog.lib

Class DCGLibrary

java.lang.Object

alice.tuprolog.Library

alice.tuprolog.lib.DCGLibrary

All Implemented Interfaces:

IPrimitives, Serializable

public class DCGLibrary
extends Library

Library for managing DCGs. Library/Theory dependency: BasicLibrary

See Also:

Serialized Form

Field Summary

Fields inherited from class alice.tuprolog.Library

engine

Constructor Summary

Constructors

Constructor and Description
DCGLibrary()

Method Summary

Methods

Modifier and Type	Method and Description
String	getTheory() Gets the theory provided with the library Empty theory is provided by default.

Methods inherited from class alice.tuprolog.Library

dismiss, evalExpression, getEngine, getName, getPrimitives, getSynonymMap, match, onSolveBegin, onSolveEnd, unify

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DCGLibrary

public DCGLibrary()

Method Detail

getTheory

public String getTheory()

Description copied from class: Library

Gets the theory provided with the library Empty theory is provided by default.

Overrides:

getTheory in class Library