Resultados da pesquisa
Ir para navegação
Ir para pesquisar
- ...ue o aluno tinha pelo menos um curso de formação em lógica, com pelo menos um introdução informal à lógica simbólica. ...provas como árvores de regras. O material desta seção é uma boa companhia para o material do popular livro ''Foundations of Logic Programming'' de J.W. Ll3 kB (455 palavras) - 20h19min de 7 de novembro de 2020
- <big>Uma breve [[Prolog_Tutorial|Introdução]] para o Prolog Tutorial</big> == 2. [[Exemplos de Programas em Prolog]] == <!--T:4-->5 kB (654 palavras) - 13h59min de 27 de dezembro de 2020
- == 2. [[Special:MyLanguage/Exemplos de Programas em Prolog|Sample Programs]] == 2.6 [[Special:MyLanguage/Dados e relações em árvores|Tree data and relations]]6 kB (768 palavras) - 14h10min de 27 de dezembro de 2020