Axiom.Runtime.ListTerm.Unify C# (CSharp) Method

        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));
        }