Cancelado

Programming-Turing machine using prolog as the compiler