Dis-unification (computer science)

ID: dis-unification-computer-science

Dis-unification is a concept in computer science, particularly in the realm of logic programming and computational theories related to unification. While unification typically involves finding a substitution that makes different logical expressions identical, dis-unification refers to the process of determining conditions under which two terms or expressions cannot be made equivalent through any substitution.

New to topics? Read the docs here!