5 lines
177 B
Text
5 lines
177 B
Text
|
Logical unification in Python, extensible via dispatch.
|
||
|
|
|
||
|
|
In logic and computer science, unification is an algorithmic process of solving
|
||
|
|
equations between symbolic expressions.
|