public abstract class PrologTerm
extends java.lang.Object
implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
protected PrologTerm[] |
arguments |
protected java.lang.String |
functor |
Constructor and Description |
---|
PrologTerm(java.lang.String functor,
PrologTerm... arguments) |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
atomicString(PrologTerm term) |
static java.util.List<java.lang.String> |
atomicStrings(java.lang.Iterable<PrologTerm> terms) |
PrologTerm |
getArgument(int index)
Gets an argument by its index.
|
int |
getArity() |
java.lang.String |
getFunctor() |
boolean |
hasFunctor(java.lang.String functor,
int arity) |
boolean |
isAtom() |
boolean |
isList() |
boolean |
isNumber() |
boolean |
isTerm() |
boolean |
isVariable() |
java.lang.String |
toString() |
abstract void |
toTermOutput(IPrologTermOutput pto) |
protected final java.lang.String functor
protected final PrologTerm[] arguments
public PrologTerm(java.lang.String functor, PrologTerm... arguments)
public boolean isTerm()
public boolean isAtom()
public boolean isList()
public boolean isNumber()
public boolean isVariable()
public boolean hasFunctor(java.lang.String functor, int arity)
public abstract void toTermOutput(IPrologTermOutput pto)
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String getFunctor()
public int getArity()
public PrologTerm getArgument(int index)
index
- the index of the argumentpublic static java.lang.String atomicString(PrologTerm term)
public static java.util.List<java.lang.String> atomicStrings(java.lang.Iterable<PrologTerm> terms)