Etudes

SLD Résolution

La SLD  résolution (Selective linéaire Definite résolution de l’article) est la base règle d'inférence utilisée dans la programmation logique.

C'est un raffinement de la résolution, qui est à la fois solide et une réfutation complète pour les clauses de Horn.

Recevez des exclus !

Contenus liés

Abonnez-vous et recevez des infos en exclu

24pm academy
17 rue etex 75018 Paris
O6 62 55 OO 1O

Search