Programmation Logique

Substitution

Application remplaçant systématiquement des variables par des termes dans une expression logique, essentielle pour l'unification et la résolution.

← Terug