Source : Free On-Line Dictionary of Computing

Quty
     
        A functional plus logic language.  "Quty: A Functional
        Language Based on Unification", M. Sato et al, in Conf. Fifth
        Gen. Computer Systems, ICOT 1984, pp.157-165.