suivant:
Principe
monter:
L'interpréteur
précédent:
Algorithme d'unification
Table des matières
La résolution de buts
Sous-sections
Principe
Algorithme de résolution de buts
Affichage de l'environnement
Alexandre DAGAN
2000-07-07
