Concurrent Prolog | Publicación