Logic programming | Publicación