C# (CSharp) ConstantTerm.Unify示例

示例#1

文件： AbstractTerm.cs 项目： andrzejolszak/prologdotnet

        public void Unify_after_assignment()
        {
            AbstractTerm term = new AbstractTerm();
            ConstantTerm con  = new ConstantTerm("test");

            term.Assign(con);

            Assert.AreEqual(term.Unify(con), con.Unify(term));
        }

示例#2

文件： ConstantTerm.cs 项目： andrzejolszak/prologdotnet

        public void Unify_con_ref()
        {
            AbstractTerm term = new AbstractTerm();

            ConstantTerm con = new ConstantTerm("ali");

            Assert.IsTrue(con.Unify(term));

            Assert.AreSame(term.Data(), con.Data());
        }