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