MC600 - Prolog

Criada: 2003-08-04
Modificada: 2003-08-27
Modificada: 2003-09-08
Modificada: 2003-09-10
Modificada: 2003-09-11
Modificada: 2003-09-16
Modificada: 2003-09-18
Modificada: 2003-09-29
Modificada: 2003-10-14
Modificada: 2003-10-27
Modificada: 2003-11-04
Modificada: 2003-11-18

• Material didático
  • Texto Introdutório da Univ. Victoria, Canadá. A página contém uma boa introdução (Prolog Introductory Notes), porém focada em linguística. Podem pular as partes que falam disso. Leiam também as partes:
    • Prolog Terms
    • Prolog Clauses and Predicates
    • Unification in Prolog
  • Página de S. Bruda na Univ. Bishops, Canadá - siga os links "Reference Material", "On-Line Material", "Prolog"
• Interpretadores PROLOG no IC
  • /n/lang/bin/pl - na pinheiros. Para sair, digite halt. (não esqueça do ponto final) e ENTER
• Interpretadores PROLOG para instalar
  • SWI Prolog - para Windows, Unix e Mac
• Exercícios
  • Lista 8 - Para 09/09/2003 Solução dos ex. 1, 3, 4, 5 (o 2 só dá pra fazer com computador)
  • Lista 9 - Para 11/09/2003 Solução dos ex. 1, 2, 3, 4, 5
  • Lista 10 - Para 18/09/2003 Solução dos ex. 1, 2, 3, 4
  • Lista de 99 exercícios - Para o pessoal treinar pra a prova. Os exercícios até 41 são os mais interessantes para a prova, os outros são mais difíceis. Mesmo entre os de 1 a 41 há alguns repetitivos demais.
• Provas
• Campeonato
  • Foi realizado 1 (um) campeonato oficial. O resultado está aqui. Uma versão mais palatável está aqui.
  • O cálculo das notas está aqui.
  • Submetam seus jogadores para mim e para o Zé Augusto simulaneamente, por e-mail. Os enderecos são: meidanis, jquitzau, ambos "@ ic unicamp br". Veja os resultados dos treinos em: http://www.ic.unicamp.br/~jquitzau/cgi-bin/mc600/prolog/camp-results
  • Tanbo - o jogo que vamos programar neste semestre (variante 9x9)
  • Formato das jogadas: uma lista contendo dois elementos, sendo o primeiro uma letra entre "a" e "j" (exceto "i") e o segundo um número entre 1 e 9. Exemplos: [d,5], [h,2], [a,1].
  • Gerenciador, estilo suíço. Para jogar, escreva um modulo no formato deste aqui. Para usar, siga a receita abaixo:

      consult(swiss.prolog').
      campeonato([jog1, jog2, ..., jogn], 6).
      

    A primeira carrega o gerenciador e a segunda faz uma nova rodada. (nome dos jogadores sem ".prolog"e separados por vírgula). O número 6 indica o número de rodadas e pode ser substituído por outro.
  • Gerenciador, estilo todos-contra-todos. Para usar, siga a receita abaixo:

      consult('camp.prolog').
      campeonato([jog1, jog2, ..., jogn]).