alice.tuprolog.clausestore

Class HGAtomTerm

java.lang.Object

alice.tuprolog.Term

alice.tuprolog.clausestore.HGAtomTerm

All Implemented Interfaces:

Serializable

public class HGAtomTerm
extends Term

See Also:

Serialized Form

Field Summary

Fields inherited from class alice.tuprolog.Term

FALSE, TRUE

Constructor Summary

Constructors

Constructor and Description
HGAtomTerm(org.hypergraphdb.atom.HGAtomRef ref, org.hypergraphdb.HyperGraph graph)
HGAtomTerm(org.hypergraphdb.HGHandle handle, org.hypergraphdb.HyperGraph graph)

Method Summary

Methods

Modifier and Type	Method and Description
Term	copy(AbstractMap map, AbstractMap substMap) gets a copy for result.
Term	copy(AbstractMap map, int idExecCtx) gets a copy (with renamed variables) of the term.
Object	deref()
void	free() Unlink variables inside the term
org.hypergraphdb.HGHandle	getHandle()
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	isEmptyList() is this term a null term?
boolean	isEqual(Prolog mediator, Term t) Tests if this term is (logically) equal to another
boolean	isGreater(Prolog mediator, 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	isNumber() is this term a prolog numeric term?
boolean	isStruct() is this term a struct?
boolean	isVar() is this term a variable?
long	resolveTerm(long count) Resolves variables inside the term, starting from a specific time count.
String	toString()
boolean	unify(Prolog mediator, List varsUnifiedArg1, List varsUnifiedArg2, Term t) Tries to unify two terms, given a demonstration context identified by the mark integer.

Methods inherited from class alice.tuprolog.Term

copyGoal, copyResult, createTerm, createTerm, equals, getIterator, iteratedGoalTerm, match, parse, parse, resolveTerm, unify

Methods inherited from class java.lang.Object

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

Constructor Detail

HGAtomTerm

public HGAtomTerm(org.hypergraphdb.atom.HGAtomRef ref,
          org.hypergraphdb.HyperGraph graph)

HGAtomTerm

public HGAtomTerm(org.hypergraphdb.HGHandle handle,
          org.hypergraphdb.HyperGraph graph)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

getHandle

public org.hypergraphdb.HGHandle getHandle()

deref

public Object deref()

isEqual

public boolean isEqual(Prolog mediator,
              Term t)

Description copied from class: Term

Tests if this term is (logically) equal to another

Specified by:

isEqual in class Term

Parameters:

mediator - TODO

unify

public boolean unify(Prolog mediator,
            List varsUnifiedArg1,
            List varsUnifiedArg2,
            Term t)

Description copied from class: Term

Tries to unify two terms, given a demonstration context identified by the mark integer. Try the unification among the term and the term specified

Specified by:

unify in class Term

Parameters:

mediator - TODO

varsUnifiedArg1 - Vars unified in myself

varsUnifiedArg2 - Vars unified in term t

copy

public Term copy(AbstractMap map,
        int idExecCtx)

Description copied from class: Term

gets a copy (with renamed variables) of the term. The list argument passed contains the list of variables to be renamed (if empty list then no renaming)

Specified by:

copy in class Term

idExecCtx - Execution Context identifier

copy

public Term copy(AbstractMap map,
        AbstractMap substMap)

Description copied from class: Term

gets a copy for result.

Specified by:

copy in class Term

resolveTerm

public long resolveTerm(long count)

Description copied from class: Term

Resolves variables inside the term, starting from a specific time count. If the variables has been already resolved, no renaming is done.

Specified by:

resolveTerm in class Term

Parameters:

count - new starting time count for resolving process

Returns:

the new time count, after resolving process

free

public void free()

Description copied from class: Term

Unlink variables inside the term

Specified by:

free 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

isAtom

public boolean isAtom()

Description copied from class: Term

is this term a prolog (alphanumeric) atom?

Specified by:

isAtom 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

isEmptyList

public boolean isEmptyList()

Description copied from class: Term

is this term a null term?

Specified by:

isEmptyList in class Term

isGreater

public boolean isGreater(Prolog mediator,
                Term t)

Description copied from class: Term

is term greater than term t?

Specified by:

isGreater in class Term

Parameters:

mediator - TODO

isGround

public boolean isGround()

Description copied from class: Term

is this term a ground term?

Specified by:

isGround in class Term

isList

public boolean isList()

Description copied from class: Term

is this term a prolog list?

Specified by:

isList in class Term

isNumber

public boolean isNumber()

Description copied from class: Term

is this term a prolog numeric term?

Specified by:

isNumber in class Term

isStruct

public boolean isStruct()

Description copied from class: Term

is this term a struct?

Specified by:

isStruct in class Term

isVar

public boolean isVar()

Description copied from class: Term

is this term a variable?

Specified by:

isVar in class Term