Investigador do CRACS é orador convidado no ICLP'09

O investigador do Centro de Investigação em Sistemas Computacionais Avançados (CRACS), Paulo Moura, vai participar como orador convidado na Conferência ICLP'09 - 25th International Conference on Logic Programming, que terá lugar na cidade de Pasadena, Califórnia (EUA), de 14 a 17 de Julho de 2009.

Desde a primeira conferência da ICLP, que teve lugar em Marselha no ano de 1982, que este tem sido um dos palcos principais, a nível internacional, para a apresentação de trabalhos de investigação no âmbito da programação em lógica.

Paulo Moura, investigador doutorado e professor na Universidade da Beira Interior, tem como principais interesses de investigação as áreas de concepção e implementação de sistemas de programação em lógica, linguagens de programação multi-paradigma e programação orientada para objectos, sendo o Logtalk o seu trabalho mais conhecido.

Será precisamente sobre este projecto que a sua apresentação na ICLP'09 irá incidir. O Logtalk consiste numa linguagem de programação em lógica orientada para objectos compatível com a maioria das implementações Prolog. O Logtalk está disponível gratuitamente e com uma licença de código aberto.

O investigador iniciará a sua apresentação abordando os objectivos de concepção deste projecto, seguido de um tutorial sobre a programação Logtalk e exemplos práticos de aplicação. A apresentação será concluída com uma abordagem aos problemas e benefícios de desenvolver o Logtalk como uma aplicação portátil de Prolog.