public class PLAtom extends PLTerm
Constructor and Description |
---|
PLAtom(java.lang.String name)
Atom constructor.
|
Modifier and Type | Method and Description |
---|---|
PLTerm |
copy()
Makes a full copy of this
PLAtom object. |
boolean |
equals(PLTerm term)
comparison between Prolog terms.
|
java.lang.String |
getName()
Gets the name of this atom as a string.
|
boolean |
isRunnable()
Execution test on Prolog objects.
|
java.lang.Object |
javaRepr()
Gets the Java representation of the atom as an object (a String object).
|
java.lang.Object |
javaRepr(CiaoJava.PLInterpreter i)
Gets the Java representation of the atom as an object.
|
java.lang.String |
toString()
String representation of a Prolog atom.
|
isAtom, isFloat, isInteger, isList, isNil, isString, isStructure, isVariable, unify
public PLAtom(java.lang.String name)
name
- Name of the Prolog atom.public java.lang.String toString()
public java.lang.Object javaRepr(CiaoJava.PLInterpreter i)
public java.lang.Object javaRepr()
Object
with the name of this Prolog atom.public java.lang.String getName()
String
with the name of this atom.public boolean isRunnable()
PLTerm
.isRunnable
in class PLTerm
public boolean equals(PLTerm term)