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(DefiniteClause fact, DefiniteClause rule)

Method Summary

DefiniteClause	resolvent()
boolean	unifies()

Methods inherited from class java.lang.Object

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

Constructor Detail

Unifier

public Unifier(DefiniteClause fact,
               DefiniteClause rule)

Parameters:

fact - DefiniteClause

rule - DefiniteClause

Method Detail

resolvent

public DefiniteClause resolvent()

Returns:

DefiniteClause

unifies

public boolean unifies()

Returns:

boolean