A partial breadth-first execution model for Prolog | Publicación