Axiom.Runtime.UnitTests._ListTerm.Unify_lis_eq_lis C# (CSharp) Method

        public void Unify_lis_eq_lis()
        {
            ListTerm list1 = new ListTerm();
            list1.Next = new ConstantTerm("ali");
            list1.Next.Next = new ConstantTerm("[]");

            ListTerm list2 = new ListTerm();
            list2.Next = new ConstantTerm("ali");
            list2.Next.Next = new ConstantTerm("[]");

            Assert.IsTrue(list1.Unify(list2));
        }