Moreno-Navarro et al, "Logic Programming with Functions and Predicates: The Language BABEL"

(1992) Journal of Logic Programming 12(3) Feb 1992  

Languages mentioned BABEL {1990}