7º concurso/encontro nacional de 
Programação em Lógica
  CeNPL'04  ::IST::  ::DMIST::  ::CeNPL:: 


CENPL'04

A 7ª edição do concurso/encontro nacional de Programação em Lógica é organizada pelo Departamento de Matemática do Instituto Superior Técnico.

À semelhança das edições anteriores, que decorreram em Aveiro (1998), Costa da Caparica (1999), Braga (2000), Covilhã (2001), Coimbra (2002) e Évora (2003), este evento tem por objectivos:

  • estimular o gosto dos alunos do ensino superior pela resolução de charadas e enigmas lógicos;
  • explorar o paradigma da Programação em Lógica aplicado à descoberta de soluções para esse tipo de jogos;
  • promover o contacto, a discussão e a partilha de experiências, científicas e humanas, entre os estudantes universitários.

No CeNLP'04 utilizar-se-à, uma vez mais e exclusivamente, a linguagem de programação Prolog para resolver os problemas propostos ao longo do dia principal do concurso.