|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--com.grack.prologmachine.Term
Constructor Summary | |
Term()
|
Method Summary | |
boolean |
isTrue()
|
static boolean |
unify(Unifiable u1,
Unifiable u2,
MostGeneralUnifier mgu)
|
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
Constructor Detail |
public Term()
Method Detail |
public boolean isTrue()
public static boolean unify(Unifiable u1, Unifiable u2, MostGeneralUnifier mgu)
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |