Bulgarian |
has gloss | bul: Унификация в математическата логика и по-специално в информатиката е метод за уеднаквяване на логически изрази и играе основна роля в областта на логическото програмиране. |
lexicalization | bul: Унификация |
German |
has gloss | deu: Unifikation ist eine Methode zur Vereinheitlichung prädikatenlogischer Ausdrücke. Diese hat insbesondere in der Computerlogik und Computerlinguistik eine größere Bedeutung erlangt. So nutzt etwa die Inferenzmaschine des Prolog-Interpreters Unifikation. In der Computerlinguistik gibt es sogenannte Unifikationsgrammatiken, die sich auf dieses Konzept stützen. Auch beim Theorembeweisen spielt Unifikation eine große Rolle. |
lexicalization | deu: Unifikation |
French |
has gloss | fra: Le concept dunification est une notion centrale de la logique des prédicats ainsi que dautres systèmes de logique et est sans doute ce qui distingue le plus Prolog des autres langages de programmation. |
lexicalization | fra: Unification |
Japanese |
has gloss | jpn: ユニフィケーション(Unification)は数理論理学や計算機科学の用語であり、特殊化順序(specialisation order)に従って(束論的意味で)2つの項の結び(join)を求めることである。すなわち、項の集合に t* ≤ t という順序を導入する。ここで、t* は t 内の1つまたは複数の自由変項を項に置換することで得られる項である。s と t のユニフィケーション u は(もしあれば)、s および t の置換実体(substitution instance)となる項である。s と t に共通する置換実体が u の実体でもある場合、u を最小ユニフィケーション(minimal unification)と呼ぶ。 |
lexicalization | jpn: ユニフィケーション |
Norwegian |
has gloss | nor: Innen matematisk logikk, spesielt anvendt innen informatikk, er en unifikasjon av to termer en sammenslåing (av typen en finner for delvis ordnede set) med hensyn til en spesialiserings orden. Det vil si, vi antar en preorden på et sett av termer, der t* ≤ t betyr at t* er utledet fra t ved å substituere en eller flere termer for en eller flere frie variabler i t. Unifikasjonen av u for s og t, om den eksisterer, er en term som er en substitusjons instans av både s og t. Om en felles substitusjons instans for s og t også er en instans for u, u så kalles den for en minimal unifikasjon. |
lexicalization | nor: unifikasjon |
Polish |
has gloss | pol: Unifikacja (ang. unification) to operacja na dwóch lub więcej drzewach, która znajduje takie przyporządkowanie zmiennych, że drzewa te są równe. Np. (w notacji lispowej): (+ x 2) i (+ (+ z 7) y) są unifikowalne dla y=2 i x=(+ z 7). (+ x 2) i (+ y 3) nie są unifikowalne. Podobnie unifikowalne nie są (* x 2) i (+ x x) ani (+ 2 3) i (+ 3 2) - unifikacja dotyczy tylko symboli nie ich znaczenia. |
lexicalization | pol: unifikacja |
Portuguese |
has gloss | por: Uma substituição σ é um conjunto de componentes de substituições independentes: σ = [(t1, v1), . . . , (tn, vn)]. O primeiro elemento de cada componente é um termo e o segundo elemento é uma variável, tal que: |
lexicalization | por: unificação |
Vietnamese |
has gloss | vie: Hợp nhất (tiếng Anh: unification) là quá trình tìm kiếm một phép thay thế để giúp cho một cặp số hạng hoặc các cặp các biểu thức bằng nhau. Đây là một cơ chế cơ bản trong hoạt động thực thi của một bộ biên dịch Prolog được dựa trên thuật toán Martelli-Montanari. |
lexicalization | vie: Hợp nhất |
Chinese |
has gloss | zho: 本文有关计算机科学主题。其他学科的条目参见合一 (消歧义)。 在数理逻辑中,特别是应用于计算机科学中,两个项的同一是就特殊化次序而言的并(格的最小上界), 就是说,我们在项的集合上假定一个预序,其中 t* ≤ t 意味着 t* 是通过代换(substitute)在 t 中某些项的一个或多个自由变量而从 t 获得的。s 和 t 的同一 u,如果存在的话,是 s 和 t 二者的代换实例的一个项。s 和 t 的任何公共的代换实例也是 u 的实例。 |
lexicalization | zho: 合一 |