Início
Aleatório
Aqui perto
Entrar
Definições
Donativos
Sobre a Wikipédia
Avisos gerais
Pesquisar
Categoria
:
Programação lógica
Língua
Vigiar
Editar
Páginas na categoria "Programação lógica"
Esta categoria contém as seguintes 9 páginas (de um total de 9).
*
Programação em lógica indutiva
L
Lógica autoepistêmica
Lógica default
P
Programação de conjunto de resposta
Projeto lógico
R
Resolução SLD
S
Sistema de produção (ciência da computação)
Substituição (lógica)
U
Unificação
