« SLD-résolution » : différence entre les versions
(Page créée avec « == Domaine == Category:Vocabulary == Définition == == Termes privilégiés == == Anglais == === SLD resolution === SLD resolution (Selective Linear... ») |
m (Remplacement de texte — « Termes privilégiés » par « Français ») |
||
| Ligne 8 : | Ligne 8 : | ||
== | == Français == | ||
Version du 31 décembre 2018 à 14:50
Domaine
Définition
Français
Anglais
SLD resolution
SLD resolution (Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses.
Contributeurs: Claude Coulombe, Imane Meziani, wiki
