Páginas com hiperligações para "Programação lógica"
Saltar para a navegação
Saltar para a pesquisa
As seguintes páginas têm hiperligações para Programação lógica:
Mostrando 16 itens.
- Algoritmo (← afluentes)
- Lógica (← afluentes)
- Prolog (← afluentes)
- Negação por falha (← afluentes)
- Forma normal clausal (← afluentes)
- Skolemização (← afluentes)
- Cláusula de Horn (← afluentes)
- Recursividade (ciência da computação) (← afluentes)
- Interpretação pretendida (← afluentes)
- Isomorfismo de Curry-Howard (← afluentes)
- Programação de conjunto de resposta (← afluentes)
- Lógica autoepistêmica (← afluentes)
- Lógica probabilística (← afluentes)
- Gramática de análise sintática de expressão (← afluentes)
- Programação em lógica indutiva (← afluentes)
- Resolução SLD (← afluentes)