Q (equational programming language)
[ms] Q (bahasa pengaturcaraan)