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.
Try this search on Wikipedia, OneLook, Google
Nearby terms: quote chapter and verse « quotient « Qu-Prolog « Quty » quux » qux » QWERTY