en pt-br

Fundamentos de Programação por Restrições
Constraint Programming


  • Parte da disciplina de OLPR 0001 (LÓGICA APLICADA A PROGRAMAÇÃO POR RESTRIÇÕES) usa este sítio
  • Lista da disciplina: toe-16-l@joinville.udesc.br
  • Aulas 6as. feiras: 10:10 hrs. as 11:50 hrs. (teoria) e 18:00 hrs. as 19:40 hrs. (prática)
  • 1a parte teórica -- K-107 (1o. Andar do Bloco K)
  • 2a parte prática -- F-306 (3o. Andar do Bloco F)
  • Avalição: 3 provas + 07 listas + apresentações das listas

Listas de Exercícios e Entrega:

Sistema de Entrega das Listas de Exercícios, cuidar com os prazos, e como enviar


Slides:


Ferramentas para o Curso:

  • Minizinc :: Uma das ferramentas da disciplina -- MINIZINC
  • Picat :: Uma das ferramentas da disciplina -- PICAT
  • Eclipse-CLP :: Uma das ferramentas da disciplina -- Eclipse-CLP


  • Eclipse e CP :: Eclipse e CP, aulas em videos, pdfs, etc -- imperdível Basicamente o que o professo Claudio fala em aula.
  • livro gratuito sobre ECLiPSe -- link direto -- Welcome to a CLP textbook for beginners by Professor Antoni Niederliński, 2011, IX, 420 pages, ISBN 978-83-62652-08-2. The online-version is free to download! An accessible introduction to CLP with ECLiPSe?, emphasizing an intuitive understanding of the basic methods of CLP, via examples of increasing difficulty. For those who want to get started quickly with solving and optimizing combinatorial and continuous problems.
  • Slides diversos da 2nd International Optimisation Summer School -- ALGUNS slides diversos da 2nd International Optimisation Summer School, from 12th to 17th January 2014 ANU's Kioloa Costal Campus Kioloa, New South Wales, Australia

% * Turma: semestre corrente -- desatualizado Projetos Finais de Disciplina - Listagem Completa de Sugestões etc

*Um curso análogo ao aqui proposto Muito bom o curso e atual de Marco Chiarandini da Dinamarca -- em inglês

* Página de um curso de Linguagens Avançadas na Bélgica :: % Todas as dicas de instalação do Eclipse, até com a parte gráfica de busca. Como configurar e usar. Fácil de ler.


  • Muitos estão com dificuldade no Prolog, consequentemente, fazendo linhas de código muito

confusas e estranhas. Eis mais dois bons links:

  1. Livro do Bartak - ainda on-line
  2. John Fisher (Emeritus Professor) - Usa exemplos clássicos Alguém com muitos anos de estrada
  • Insistam em entregar o texto em LaTeX e com várias entradas e saídas do programa funcionando. Tem que aprender mesmo!
   1. Vi muito códigos com algo do tipo:  maior(X,Y) :- (X > Y -> write(X) ; write(Y)).
   2. Uma alternativa é dada:
certo(X,Y) :- X > Y , write(X),!. certo(_,Y) :- write(Y).

Os links abaixo, contém um bom material da área de Programação com Restrições (Constraint Programming)