Programação em Lógica
Material de apoio para as aulas
 

Lógica proposicional

Internet
 
http://paginas.fe.up.pt/~eol/LP/0405/Materiais.htm
http://www.estv.ipv.pt/paginaspessoais/sousa/md.htm
 

Problemas

P-99: Ninety-Nine Prolog Problems
 
http://www.hta-bi.bfh.ch/~hew/informatik3/prolog/p-99/
Concurso Nacional de Programação em Lógica
 
http://www.mat.ua.pt/cnpl/
The Prolog Programming Contests
 
http://www.cs.kuleuven.ac.be/~bmd/PrologProgrammingContests/
The Dudley Page: The Nutcracker Suite
 
http://home.chello.no/~dudley/#section7