alice.tuprolog.lib

Class TheoryLibrary

java.lang.Object

alice.tuprolog.Library

alice.tuprolog.lib.TheoryLibrary

All Implemented Interfaces:

IPrimitives, Serializable

public class TheoryLibrary
extends Library

Library built from Prolog theory.

See Also:

Serialized Form

Field Summary

Fields inherited from class alice.tuprolog.Library

engine

Constructor Summary

Constructors

Constructor and Description
TheoryLibrary(String name, Theory theory)

Method Summary

Methods

Modifier and Type	Method and Description
String	getName() Gets the name of the library.
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, 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

TheoryLibrary

public TheoryLibrary(String name,
             Theory theory)

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

getName

public String getName()

Description copied from class: Library

Gets the name of the library. By default the name is the class name.

Overrides:

getName in class Library

Returns:

the library name