Any Turing-complete language should be able to express programs that do this.