aima.logic.fol
Class Unifier

java.lang.Object
  aima.logic.fol.Unifier

public class Unifier
extends java.lang.Object

Author:

Ravi Mohan

Constructor Summary

Unifier(FOLParser parser)

Method Summary

java.util.Hashtable	unify(FOLNode x, FOLNode y, java.util.Hashtable theta)
java.util.Hashtable	unify(java.util.List x, java.util.List y, java.util.Hashtable theta)
java.util.Hashtable	unify(java.lang.String x, java.lang.String y, java.util.Hashtable theta)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Unifier

public Unifier(FOLParser parser)

Method Detail

unify

public java.util.Hashtable unify(FOLNode x,
                                 FOLNode y,
                                 java.util.Hashtable theta)

unify

public java.util.Hashtable unify(java.util.List x,
                                 java.util.List y,
                                 java.util.Hashtable theta)

unify

public java.util.Hashtable unify(java.lang.String x,
                                 java.lang.String y,
                                 java.util.Hashtable theta)