prolog.implementation
Class Query

java.lang.Object
  |
  +--prolog.implementation.Fact
        |
        +--prolog.implementation.Query

All Implemented Interfaces:

IFact

public class Query

extends Fact

Query is a fact implementation with overriding the toString method. A query has e.g. the following form: ?-name(X,Y).

Fields inherited from class prolog.implementation.Fact

name, relation

Constructor Summary

Query(IFact f)
constructor

Query(int name)
constructor

Query(int name, IRelation r)
constructor

Method Summary

java.lang.String	toString() returns a string representation of this class
java.lang.String	toString(ISymbolTable table) returns a string representation of this class with decodec symbols.

Methods inherited from class prolog.implementation.Fact

addAttribute, genXml, getName, getRelation

Methods inherited from class java.lang.Object

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

Constructor Detail

Query

public Query(int name)

constructor

Query

public Query(IFact f)

constructor

Query

public Query(int name,
             IRelation r)

constructor

Method Detail

toString

public java.lang.String toString()

returns a string representation of this class

Overrides:

toString in class Fact

Following copied from class: prolog.implementation.Fact

Returns:

a string representation of this fact

toString

public java.lang.String toString(ISymbolTable table)

returns a string representation of this class with decodec symbols.

Overrides:

toString in class Fact

Following copied from class: prolog.implementation.Fact

Parameters:

table - the symboltable used to decode the symbols

Returns:

a string representation of this fact with decoded symbols