« SLD-résolution » : différence entre les versions
m (Remplacement de texte — « Termes privilégiés » par « Français ») |
|||
| Ligne 9 : | Ligne 9 : | ||
== Français == | == Français == | ||
résolution SDL | |||
== Anglais == | == Anglais == | ||
Version du 20 février 2019 à 02:16
Domaine
Définition
Français
résolution SDL
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
