Axiom.Runtime.Builtins.IO.Get0Predicate.Execute C# (CSharp) Метод

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

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

            ConsoleKeyInfo keyInfo = Console.ReadKey();
            int intValue = Convert.ToInt32(keyInfo.KeyChar);

            ConstantTerm readChar = new ConstantTerm(intValue.ToString());

            if (X0.Unify(readChar))
            {
                program.Next();
            }
            else
            {
                state.Backtrack();
            }
        }