Discuter:SLD-résolution

Un article de Wikipédia, l'encyclopédie libre.

Tout ou partie de cet article est issu de la traduction de l'article sous GFDL « (en) SLD Resolution » . Consultez l'[../../../../../en/articles/s/l/d/SLD_Resolution_e82f.html?action=history historique de la page originale] pour connaître la liste de ses auteurs.

[modifier] SLD-Résolution

Je viens de créer l'article, en le traduisant plus ou moins de sa version anglaise. La version anglaise est loin d'être parfaite, et j'ai essayé de faire de mon mieux. Mais je serais plus à l'aise à décrire la version particulière du moteur de prolog, que l'algo de SLD-Résolution pur et dur. Je pense qu'il serait intéressant qu'un spécialiste enrichisse l'article en corrigeant les erreurs éventuelles, en faisant le lien avec la SL-résolution de Kowalski, en expliquant le fonctionnement en logique du premier ordre (l'article reste sur le propositionnel pour l'instant), et en ajoutant une section sur SLDNF. - Eusebius ^[causons] 19 août 2007 à 21:03 (CEST)