BlooP

BlooP is a simple, Turing-incomplete programming language designed by Douglas Hofstadter to illustrate a point in Gödel, Escher, Bach. Its main control structure is a bounded loop, so all programs terminate and it can express only primitive recursive functions.