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.
