Páginas com hiperligações para "Prolog"
← Prolog
As seguintes páginas têm hiperligações para Prolog:
Mostrando 15 itens.
- Lógica (← afluentes)
- Complementar (← afluentes)
- Negação por falha (← afluentes)
- Forma normal clausal (← afluentes)
- Skolemização (← afluentes)
- Cláusula de Horn (← afluentes)
- Computador (← afluentes)
- Teorema da eliminação do corte (← afluentes)
- Satisfação de restrições (← afluentes)
- Polimorfismo paramétrico (← afluentes)
- Programação de conjunto de resposta (← afluentes)
- Lógica default (← afluentes)
- Semântica de modelo estável (← afluentes)
- Programação em lógica indutiva (← afluentes)
- Resolução SLD (← afluentes)