GlooP
Generalized loop - verallgemeinerte Schleife, "imaginäre" Programmiersprache für allgemein- und partiell-rekursive Programme mit Termination auch im Fall der "Grünen Diagonale" in ->"Hofstadter: Gödel, Escher, Bach", vergl. BlooP, FlooP