Unification (computer science)

Schematic triangle diagram of syntactically unifying terms t1 and t2 by a substitution σ

Triangle diagram of narrowing step s ~› t at position p in term s, with unifying substitution σ (bottom row), using a rewrite rule l → r (top row)

In logic and computer science, unification is an algorithmic process of solving equations between symbolic expressions.

Depending on which expressions (also called terms) are allowed to occur in an equation set (also called unification problem), and which expressions are considered equal, several framework of unification are distinguished. If higher-order variables, that is, variables representing functions, are allowed in an expression, the process is called higher-order unification, otherwise first-order unification. If a solution is required to make both sides of each equation literally equal, the process is called syntactic or free unification, otherwise semantic or equational unification, or E-unification, or unification modulo theory.

单词	Unification algorithm
释义	Unification algorithm 英语百科 Unification (computer science) In logic and computer science, unification is an algorithmic process of solving equations between symbolic expressions. Depending on which expressions (also called terms) are allowed to occur in an equation set (also called unification problem), and which expressions are considered equal, several framework of unification are distinguished. If higher-order variables, that is, variables representing functions, are allowed in an expression, the process is called higher-order unification, otherwise first-order unification. If a solution is required to make both sides of each equation literally equal, the process is called syntactic or free unification, otherwise semantic or equational unification, or E-unification, or unification modulo theory.
随便看	Impaired gastric mucosal defense impairedglucose regulation Impaired glucose tolerance Impaired glucose tolerance associated with drugs Impaired glucose tolerance associated with genetic syndrome Impaired glucose tolerance associated with hormonal etiology Impaired glucose tolerance associated with insulin receptor abnormality Impaired glucose tolerance associated with pancreatic disease Impaired glucose tolerance associated with unlisted conditions impaired glucose tolerance, IGT Impaired glucose tolerance in MODY Impaired glucose tolerance in nonobese Impaired glucose tolerance in obese impaired hearing Impaired home maintenance management impaired hypoxic vasoconstriction Impaired intestinal absorption Impaired intestinal carbohydrate absorption Impaired intestinal epithelial cell digestion Impaired intestinal epithelial cell transport Impaired intestinal epithelial cell transport of amino acids Impaired intestinal epithelial cell transport of carbohydrates Impaired intestinal epithelial cell transport of fats Impaired intestinal fat absorption Impaired intestinal lymphatic transport of nutrients

Unification algorithm

Unification (computer science)