Hier klicken, um die ursprüngliche Definition von «unifié» auf Französisch zu sehen.
Hier klicken, um die automatische Übersetzung der Definition auf Deutsch zu sehen.
Vereinigung
Unification
Das Konzept der Vereinigung ist ein zentraler Begriff der Logik der Prädikate sowie anderer Logiksysteme und ist wohl das, was den Prolog von den anderen Programmiersprachen unterscheidet. Die Vereinigung zweier Begriffe besteht darin, einen dritten Begriff zu finden, so dass wir von bis zu und durch Instanziierung bestimmter Variablen übergehen können. wird dann ein Unifier von und. Intuitiv ist die Vereinigung die Tatsache, dass man bestimmten Variablen einen Wert verleiht und als eine Art von Zuweisung angesehen werden kann, die nur einmal durchgeführt werden konnte. Bei der Lösung einer algebraischen Gleichung kann ein Unbekannter eine, mehrere oder keine Lösungen haben, aber sein Wert ändert sich während des Betriebs nicht; es ist das gleiche für die Vereinigung. In der Tat können wir die Auflösung einer Gleichung als Sonderfall der Vereinigung sehen. Im Prolog wird dieser Vorgang mit dem Symbol "=" bezeichnet. Le concept d'unification est une notion centrale de la logique des prédicats ainsi que d'autres systèmes de logique et est sans doute ce qui distingue le plus Prolog des autres langages de programmation. L'unification de deux termes et consiste à trouver un troisième terme tel qu'on puisse passer de à et à en instanciant certaines variables. est alors appelé un unificateur de et. Intuitivement, l'unification est le fait d'attribuer une valeur à certaines variables de et et peut être regardé comme un genre d'assignation qui ne pourrait s'effectuer qu'une seule fois. Lorsqu'on résout une équation algébrique, une inconnue peut avoir une, plusieurs ou aucune solutions, mais sa valeur ne change pas durant les opérations; c'est pareil pour l'unification. En fait on peut voir la résolution d'une équation comme un cas particulier d'unification. En prolog, cette opération est dénotée par symbole « = ».