Crean máquina de pila para ejecutar lógica computacional
Las máquinas abstractas para programas lógicos son un mecanismo conceptual que permite ejecutar definiciones relacionales como programas computacionales. En términos simples, una regla de inferencia como 'plus 0 N N' o 'plus (s N) M (s P)' define la relación de suma entre números, pero no esintrínse
