Global analysis of standard Prolog programs | Publicación