Axiom.Runtime.UnitTests._ConstantTerm.Unify_con_ne_con C# (CSharp) Method

        public void Unify_con_ne_con()
        {
            ConstantTerm con = new ConstantTerm("ali");
            ConstantTerm term = new ConstantTerm("samir");

            Assert.IsFalse(con.Unify(term));
        }