Quty

A language which is functional plus logic.

"Quty: A Functional Language Based on Unification", M. Sato et al, in Conference on Fifth Generation Computer Systems, ICOT 1984, pp.157-165.