« SLD-résolution » : différence entre les versions

Version du 31 décembre 2018 à 15: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.

Version du 1 mars 2018 à 16:43 (voir la source) Pitpitt (discussion \| contributions) (Page créée avec « == Domaine == Category:Vocabulary == Définition == == Termes privilégiés == == Anglais == === SLD resolution === SLD resolution (Selective Linear... »)		Version du 31 décembre 2018 à 15:50 (voir la source) Pitpitt (discussion \| contributions) m (Remplacement de texte — « Termes privilégiés » par « Français ») Modification suivante →
Ligne 8 :		Ligne 8 :


	== ~~Termes privilégiés~~ ==		== Français ==