Resolução SLD
Resolução SLD (resolução "Seletiva Linear para cláusula definida"), é a regra de inferência básica usada em lógica de programação. É um refinamento do principio da resolução, que é correta e completa para cláusulas de Horn.
Q1068763
regra de inferência
Concept
Q275603
lógica de programação
Concept
Q1051925
resolução
Concept
Q693083
correta
Concept
Q15846555
completa
Concept
Q933932
cláusulas de Horn
Concept
Q3459697
Resolução SLD
MEDIA
instance of