public void Unify_con_ne_con() { ConstantTerm con = new ConstantTerm("ali"); ConstantTerm term = new ConstantTerm("samir"); Assert.IsFalse(con.Unify(term)); }