Unification Algorithm
First Term:
Second Term:
Show Unification Steps
By
Mehdi Sadeqi
©2010
Notice: This program can only be used for educational purposes.