public override bool Unify(AbstractTerm term)
{
if (term.IsReference)
{
term.Assign(this);
return true;
}
if (term.IsConstant)
{
bool res = term.Data().Equals(this.Data());
return res;
}
return false;
}
public void Unify_after_assignment() { AbstractTerm term = new AbstractTerm(); ConstantTerm con = new ConstantTerm("test"); term.Assign(con); Assert.AreEqual(term.Unify(con), con.Unify(term)); }