Juan José Moreno-Navarro Mario Rodríguez-Artalejo Logic Programming with Functions and Predicates: The Language BABEL. 191-223 1992 12 J. Log. Program. 3&4 db/journals/jlp/jlp12.html#Moreno-NavarroR92