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.