com.grack.prologmachine
Class Term

java.lang.Object
  |
  +--com.grack.prologmachine.Term

public class Term
extends java.lang.Object
implements Unifiable


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

Term

public Term()
Method Detail

isTrue

public boolean isTrue()

unify

public static boolean unify(Unifiable u1,
                            Unifiable u2,
                            MostGeneralUnifier mgu)