Declarativa

InterProlog Mobile

Proposta de estágio de mestrado
(siga links em http://www.declarativa.com/estagios/interprologMobile.htm)

Objectivos

O InterProlog (http://www.declarativa.com/interprolog) é uma biblioteca para programação em Java+Prolog, disponível com uma licença tipo "open source". Actualmente suporta o XSB Prolog, o SWI Prolog e o YAP Prolog, e é usado em empresas e no mundo académico.

Neste projecto pretende desenvolver-se uma versão para iPhone, assegurando duas funcionalidades principais, parcialmente adaptadas da versão actual:

Mini ambiente de programação (top level para queries, visualização hierárquica de termos, editor de código fonte simplificado permitindo reconsultar ficheiros locais e sincronizá-los via iTunes, painel de entrada de texto afinado para termos Prolog)
Disponibilizar API (à semelhança do que a versão actual faz para Java) para uso em desenvolvimento de futuras aplicações iPhone que usem motores de inferência e outra tecnologia Prolog (integração com semantic web, raciocínio sobre ontologias, programação por restrições, etc.)

Tarefas

O estágio incluirá o desempenho total ou parcial das seguintes tarefas, ajustadas em função do perfil do(a) estagiário(a):

Preparativos
- Revisão Prolog e Java
- Familiarização com o InterProlog e sua arquitectura interna
- Familiarização com Objective-C e iPhoneSDK
Migração do InterProlog para Objective C e Mac OS X, assegurando suporte para XSB Prolog; inclui evolução/simplificação dos mecanismos Java usados actualmente (serialização, invocação dinâmica de métodos), para um dos disponíveis pelo Mac OS X (provavelmente property lists e forwardTo: ). Será preservada a capacidade InterProlog de dinamicamente invocar de Prolog qualquer método do sistema envolvente.
Desenvolvimento da versão iPhone (cujo cerne é compatível com Mac OS X), incluindo GUI específica
Testes e Documentação, e publicação na AppStore Apple

Recursos a envolver

Candidato fluente em (alternativamente) Java, C++, C# ou Objective-C (preferencial), com conhecimentos de Prolog, C e SQL, e com apetite por interfaces amigáveis e pequenas, bem como por desenvolvimento web (em qualquer plataforma). Mac para desenvolvimento. Trabalho a decorrer nas instalações da Declarativa no Porto (UPTEC), ou em tele-trabalho. Subsídio ilíquido inicial de 400€/mês. Perspectiva concreta de emprego no final do estágio. Mais detalhes em www.declarativa.pt/estagios .

Supervisor na empresa

Mais esclarecimentos com Miguel Calejo (http://www.declarativa.com/people/mc, mc@declarativa.pt)

Voltar à Declarativa