public void Unify_con_str() { ConstantTerm con = new ConstantTerm("ali"); StructureTerm term = new StructureTerm("samir", 2); Assert.IsFalse(con.Unify(term)); }