Cube

A three-dimensional visual language for higher-order logic.

"The Cube Language", M. Najork et al, 1991 IEEE Workshop on Visual Languages, Oct 1991, pp.218-224.