Etudes SLD Résolution Raphaël Richard, 24pm Academy 04 octobre 2019, 12:05 La SLD résolution (Selective linéaire Definite résolution de l’article) est la base règle d'inférence utilisée dans la programmation logique.C'est un raffinement de la résolution, qui est à la fois solide et une réfutation complète pour les clauses de Horn. Raphaël Richard, 24pm Academy 04 octobre 2019, 12:05 Tags : sld| sld résolution| inférence| programmation logique| horn Suivant