Axiom.Runtime.Builtins.Meta.VarPredicate.Execute C# (CSharp) Метод

        public override void Execute(AbstractMachineState state)
        {
            AMProgram program = (AMProgram)state.Program;

            AbstractTerm X0 = ((AbstractTerm)state["X0"]).Dereference();

            if (X0.IsReference && X0.Reference() == X0)
            {
                program.Next();
            }
            else
            {
                state.Backtrack();
            }
        }