SLD-résolution

Révision datée du 20 février 2019 à 03:16 par Claude COULOMBE (discussion | contributions) (→‎Français)

(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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.

Récupérée de « https://datafranca.org/wiki/index.php?title=SLD-résolution&oldid=6281 »

Vocabulary

Contributeurs: Claude Coulombe, Imane Meziani, wiki