alice.tuprolog
Class NullTerm

java.lang.Object
  alice.tuprolog.Term
      alice.tuprolog.NullTerm

All Implemented Interfaces:

java.io.Serializable

public class NullTerm

extends Term

tuProlog Null Term, used only for implementation purpose. currently used only as terminator in Struct representing prolog list.

See Also:

Serialized Form

Field Summary

static NullTerm

NULL_TERM

Fields inherited from class alice.tuprolog.Term

FALSE, TRUE

Method Summary

Term	copy() gets a copy of this term.
Term	getTerm() Gets the actual term referred by this Term.
boolean	isAtom() is this term a prolog (alphanumeric) atom?
boolean	isAtomic() is this term a constant prolog term?
boolean	isCompound() is this term a prolog compound term?
boolean	isEqual(Term t) Tests if this term is (logically) equal to another
boolean	isGreater(Term t) is term greater than term t?
boolean	isGround() is this term a ground term?
boolean	isList() is this term a prolog list?
boolean	isNull() is this term a null term?
boolean	isNumber() is this term a prolog numeric term?
boolean	isStruct() is this term a struct
boolean	isVar() is this term a variable

Methods inherited from class alice.tuprolog.Term

equals, getIterator, getRenamedCopy, match, parse, parse, resolveVariables, unify

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

NULL_TERM

public static final NullTerm NULL_TERM

Method Detail

isNumber

public boolean isNumber()

is this term a prolog numeric term?

Specified by:

isNumber in class Term

isStruct

public boolean isStruct()

is this term a struct

Specified by:

isStruct in class Term

isVar

public boolean isVar()

is this term a variable

Specified by:

isVar in class Term

isNull

public boolean isNull()

Description copied from class: Term

is this term a null term?

Specified by:

isNull in class Term

isAtomic

public boolean isAtomic()

Description copied from class: Term

is this term a constant prolog term?

Specified by:

isAtomic in class Term

isCompound

public boolean isCompound()

Description copied from class: Term

is this term a prolog compound term?

Specified by:

isCompound in class Term

isAtom

public boolean isAtom()

Description copied from class: Term

is this term a prolog (alphanumeric) atom?

Specified by:

isAtom in class Term

isList

public boolean isList()

Description copied from class: Term

is this term a prolog list?

Specified by:

isList in class Term

isGround

public boolean isGround()

Description copied from class: Term

is this term a ground term?

Specified by:

isGround in class Term

isGreater

public boolean isGreater(Term t)

Description copied from class: Term

is term greater than term t?

Specified by:

isGreater in class Term

isEqual

public boolean isEqual(Term t)

Description copied from class: Term

Tests if this term is (logically) equal to another

Specified by:

isEqual in class Term

copy

public Term copy()

Description copied from class: Term

gets a copy of this term.

Specified by:

copy in class Term

getTerm

public Term getTerm()

Description copied from class: Term

Gets the actual term referred by this Term. if the Term is a bound variable, the method gets the Term linked to the variable

Specified by:

getTerm in class Term