alice.tuprolog

Class Theory

java.lang.Object

alice.tuprolog.Theory

All Implemented Interfaces:

Serializable

public class Theory
extends Object
implements Serializable

This class represents prolog theory which can be provided to a prolog engine. Actually theory encapsulates only textual representation of prolog theories, without doing any check about validity

See Also:

Prolog, Serialized Form

Constructor Summary

Constructors

Constructor and Description
Theory(InputStream is) Creates a theory getting its source text from an input stream
Theory(String theory) Creates a theory from its source text
Theory(Struct clauseList) Creates a theory from a clause list

Method Summary

Methods

Modifier and Type	Method and Description
void	append(Theory th) Adds (appends) a theory to this.
Theory	getParsed(Prolog engine) Convert the theory from textual to a parsed form.
Iterator	iterator(Prolog engine)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Theory

public Theory(InputStream is)
       throws IOException

Creates a theory getting its source text from an input stream

Parameters:

is - the input stream acting as source

Throws:

IOException

Theory

public Theory(String theory)
       throws InvalidTheoryException

Creates a theory from its source text

Parameters:

theory - the source text

Throws:

s - InvalidTheoryException if theory is null

InvalidTheoryException

Theory

public Theory(Struct clauseList)
       throws InvalidTheoryException

Creates a theory from a clause list

Parameters:

clauseList - the source text

Throws:

s - InvalidTheoryException if clauseList is null or is not a prolog list

InvalidTheoryException

Method Detail

getParsed

public Theory getParsed(Prolog engine)

Convert the theory from textual to a parsed form. If it is already in a parsed form (i.e. consisting of a clause list) then this instance itself is return, otherwise a new Theory is created out of the list of parsed clauses.

Parameters:

engine -

Returns:

iterator

public Iterator iterator(Prolog engine)

append

public void append(Theory th)
            throws InvalidTheoryException

Adds (appends) a theory to this.

Parameters:

th - is the theory to be appended

Throws:

s - InvalidTheoryException if the theory object are not compatibles (they are compatibles when both have been built from texts or both from clause lists)

InvalidTheoryException

toString

public String toString()

Overrides:

toString in class Object