jdrew.oo.bu
Class Unifier

java.lang.Object
  jdrew.oo.bu.Unifier

public class Unifier
extends java.lang.Object

Title: OO jDREW

Description: Reasoning Engine for the Semantic Web - Supporting OO RuleML 0.88

Copyright: Copyright (c) 2005

Constructor Summary

Unifier()

Unifier(DefiniteClause fact, DefiniteClause rule)

Method Summary

DefiniteClause	resolvent()
boolean	unifies()
boolean	unify(Term term1, Term term2)

Methods inherited from class java.lang.Object

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

Constructor Detail

Unifier

public Unifier()

Parameters:

fact - DefiniteClause

rule - DefiniteClause

Unifier

public Unifier(DefiniteClause fact,
               DefiniteClause rule)

Method Detail

resolvent

public DefiniteClause resolvent()

Returns:

DefiniteClause

unifies

public boolean unifies()

Returns:

boolean

unify

public boolean unify(Term term1,
                     Term term2)

Parameters:

term1 - Term

term2 - Term

Returns:

boolean