K4 is the K programming language, Q is a language built on top of K. They are the practical over achieving members of the array family of programming languages.