Bernd Gersdorf, U Bremen. An integration of functional and logic programming.
Try this search on Wikipedia, OneLook, Google