publicações selecionadas artigo de conferência Efficacy and Planning in Ophthalmic Surgery – A Vision of Logical Programming 2017