Robinson, J. A. "Beyond LOGLISP: Combining functional and relational programming in a reduction setting"

Machine Intelligence 11. (1987) Machine Intelligence 11. J. E. Hayes, D. Michie, and J. Richards, editors, Ellis Horwood, Chichester, 1987.  

Languages mentioned LOGLISP {1980} LOGIC, embedded in LISP