Efficacy and Planning in Ophthalmic Surgery - A Vision of Logical Programming. - Nuno Maia; Manuel Mariano; Goreti Marreiros; Henrique Vicente; José Neves 001 (ICCCI (1), 2017)