Programmation Logique

SLD-Résolution

Stratégie de résolution linéaire sélective pour clauses définies, utilisée comme mécanisme d'exécution principal en Prolog.

← Zurück