Discussion:SLD-résolution
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Tout ou partie de cet article est issu de la traduction de l'article sous licence CC-BY-SA « (en) SLD resolution » dans sa version du 19 août 2007.
Consultez l'historique de la page originale pour connaître la liste de ses auteurs.
Cet article est indexé par le projet Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | À évaluer |  | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
SLD-Résolution[modifier le code]
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)