Tag: unification

L’Unification, en informatique et en logique, est un procédé algorithmique par lesquels on tente de résoudre le problème de satisfiabilité. L’objectif de l’unification est de trouver une substitution qui démontre que les deux apparemment différents termes sont en fait identiques ou équivalents.