Logic programming with functions and predicates: The language Babel | Publicación