public class Predicate extends java.lang.Object implements Symbol, java.io.Serializable
Argument
s. For example, in the Horn Clause
grandfather(Alter,Ego) :- parent(F,Ego), father(Alter,F).
grandfather, parent,
and father.
Constructor and Description |
---|
Predicate() |
Predicate(java.lang.String nam)
Construct a Predicate with the symbol
name . |
Predicate(java.lang.String nam,
PredCategory cat)
Construct a Predicate of category
cat with the symbol name
of arity airTee . |
Modifier and Type | Method and Description |
---|---|
Predicate |
copy()
Return a clone of this Predicate.
|
static void |
loadPrimitiveNames() |
java.lang.String |
printName()
Return the name of this Predicate.
|
java.lang.String |
toString()
Return the name of this Predicate.
|
public Predicate()
public Predicate(java.lang.String nam)
name
.nam
- a String = the name of the Predicate.public Predicate(java.lang.String nam, PredCategory cat)
cat
with the symbol name
of arity airTee
.nam
- a String = the name of the Predicate.cat
- the PredCategory
of this predicate.public static void loadPrimitiveNames()
public Predicate copy()
public java.lang.String printName()
public java.lang.String toString()
toString
in class java.lang.Object