Examples of aima.core.logic.fol.Unifier.unify()

aima.core.logic.fol.Unifier.unify()
Returns a Map representing the substitution (i.e. a set of variable/term pairs) or null which is used to indicate a failure to unify. @param x a variable, constant, list, or compound @param y a variable, constant, list, or compound @return a Map representing the substitution (i.e. a setof variable/term pairs) or null which is used to indicate a failure to unify.

    Sentence johnKnowsJane = parser.parse("Knows(y,Mother(y))");


    System.out.println("------------");
    System.out.println("Unifier Demo");
    System.out.println("------------");
    Map<Variable, Term> subst = unifier.unify(query, johnKnowsJane, theta);
    System.out.println("Unify '" + query + "' with '" + johnKnowsJane
        + "' to get the substitution " + subst + ".");
    System.out.println("");
  }

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.