Resultados da pesquisa

Ir para navegação Ir para pesquisar
  • ...trado entre 1995 e 2001. Presumiu-se que o aluno tinha pelo menos um curso de formação em lógica, com pelo menos um introdução informal à lógica s ...nhia para o material do popular livro ''Foundations of Logic Programming'' de J.W. Lloyd (1984,1987)<ref>Lloyd, J.W., Foundations of Logic Programming, S
    3 kB (455 palavras) - 20h19min de 7 de novembro de 2020
  • == 2. [[Exemplos de Programas em Prolog]] == <!--T:4--> 2.1 [[Coloração de mapas]]
    5 kB (654 palavras) - 13h59min de 27 de dezembro de 2020
  • == 2. [[Special:MyLanguage/Exemplos de Programas em Prolog|Sample Programs]] == 2.1 [[Special:MyLanguage/Coloração de mapas|Map colorings]]
    6 kB (768 palavras) - 14h10min de 27 de dezembro de 2020