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.

La programmation logique est un type de paradigme de programmation qui est en grande partie basée sur la logique formelle. Tout programme écrit dans un langage de programmation logique est un ensemble de phrases s sous forme logique, exprimant des faits et des règles concernant un domaine problématique.

La programmation déclarative est un paradigme de programmation. Elle consiste à créer des applications sur la base de composants logiciels indépendants du contexte et ne comportant aucun état interne. Autrement dit, l'appel d'un de ces composants avec les mêmes arguments produit exactement le même résultat, quel que soit le moment et le contexte de l'appel.

Un système d'argumentation est un moyen pour un agent de gérer des informations conflictuelles et d'en tirer des conséquences.