SLD-résolution


Révision datée du 1 mars 2018 à 15:43 par Pitpitt (discussion | contributions) (Page créée avec « == Domaine == Category:Vocabulary == Définition == == Termes privilégiés == == Anglais == === SLD resolution === SLD resolution (Selective Linear... »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Domaine

Définition

Termes privilégiés

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=991 »

Contributeurs: Claude Coulombe, Imane Meziani, wiki