Pragmatics in the Synthesis of Logic Programs | Publicación