Axiom.Runtime.UnitTests._Builtins.unify_2 C# (CSharp) Метод

        public void unify_2()
        {
            AbstractMachineState state = SetupMachine();

            _p = new UnifyPredicate();

            AbstractTerm X0 = (AbstractTerm)state["X0"];
            AbstractTerm X1 = (AbstractTerm)state["X1"];

            X1.Assign(new ConstantTerm("ali"));

            Verify("=", 2);

            _p.Execute(state);

            Assert.AreEqual(X0.Data(), X1.Data());
            Assert.AreEqual("ali", X0.Data());
        }