public override bool Unify(AbstractTerm term)
{
if (term.IsReference)
{
term.Assign(this);
return true;
}
if (term.IsList)
{
return Head.Unify(term.Head) && Tail.Unify(term.Tail);
}
return false;
}
public void Unify_lis_str() { ListTerm list = new ListTerm(); StructureTerm con = new StructureTerm("s", 2); Assert.IsFalse(list.Unify(con)); }