Нажмите, чтобы посмотреть исходное определение слова «unifié» в словаре французский языка.
Нажмите, чтобы посмотреть автоматический перевод определения на русский языке.
объединение
Unification
Концепция унификации является центральным понятием логики предикатов, а также других систем логики и, вероятно, является тем, что отличает больше Prolog от других языков программирования. Объединение двух членов и состоит в нахождении третьего члена, так что мы можем перейти от и к экземпляру некоторых переменных. тогда называется унификатором и. Интуитивно унификация - это факт присвоения значения определенным переменным и может рассматриваться как вид присвоения, который может быть выполнен только один раз. При решении алгебраического уравнения неизвестное может иметь одно, несколько или вообще никаких решений, но его значение не изменяется во время операций; это то же самое для унификации. Фактически мы можем видеть разрешение уравнения как частный случай унификации. В прологе эта операция обозначается символом «=». 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 « = ».