A declarative semantics for Bousi~Prolog | Publicación