Quty

Quty

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