Try it out
You can enter two rules and find the unifier. The calls of Unify and Unify-Var are logged so you can see how the algorithm works. Please click here for examples of rules and a rule syntax overview (Opens a popup).
|Unification mode (What's the difference?)|
|Use values and variables||Use only variables|
Start the Unification algorithm...
The source code
Written by nalpdii, last change