Introdução à Programação em Lógica

IPL

Ensino à Distância ;-)

Última alteração em 13 de Abril de 2000

Livro 'Introdução à Programação em Lógica' (Acerca do Livro; como comprar; capa e informação saída na Folha Informativa de Fev. 2000)

CeNPL: Concurso/encontro Nacional de Programação em Lógica

Sumários: sumarios.pdf;

Exames: ex1.pdf; ex2.pdf; ex3.pdf

Resultados finais da cadeira (Exame Final e de Recorrência)

Ordem das apresentações dos segundos trabalhos práticos; Quadro: Trabalho/Nº de grupos que o resolveram

Notas dos trabalhos práticos

Informação sobre a disciplina:    Escolaridade, Cursos a que é leccionada, responsável, equipe docente,
                                                     Estrutura de funcionamento, Objectivos, Sistema de avaliação,
                                                     Conteúdo programático, Material bibliogáfico proposto para apoio ao curso.

Sobre a avaliação e apresentação dos segundos trabalhos práticos

É meu intento ir escrevendo uns apontamentos de apoio à cadeira. Estes apontamentos estarão disponíveis
aqui em formato html. Todas as sugestões serão bem vindas. Obrigado pela colaboração.

Aulas Teórico-Práticas: 1; 2; 3; 5; 6; 7; 8; 9; 10; 11; 12
Aulas Teóricas: 1; 2; 3; 4; 5; autómatos; DCGs; Sistemas Periciais

Trabalhos práticos: 1; 2

Interpretadores de Prolog:

SWI-Prolog (ligação ao site do autor deste programa)
Manual da versão 3.2 (para imprimir: formato ps; formato pdf)
Instalação do SWI-Prolog 3.2: w32pl320.exe (Win95/98)
SWI-Prolog versão 1.9.5 (Para utilizadores do Win 3.1): winpl195.zip
sicstus.zip (para MS-DOS)
Yap (Prolog desenvolvido na Universidade do Porto)

Trabalhos dos anos anteriores:

Primeiros trabalhos: 1997, 1998;
Segundos Trabalhos: 1997, 1998;

Exames dos anos anteriores:

Exame Final: 1997, 1998;
Exame de Recorrência: 1997, 1998;
Exame de Recurso: 1997, 1998;

Enunciados do Concurso Nacional de Programação em Lógica de 1998: CNPL'98

Informação sobre o CeNPL'99 (Concurso/Encontro Nacional de Programação em Lógica de 1999)

Prolog Resource Guide

Logtalk: Object-oriented Programming in Prolog.

XSB: a Logic Programming and Deductive Database system for Unix and Windows.