From: Rohit Krishna on
Has anyone tried writing a unification algorithm in Java ?
Please share the code if you have.Or is there anywhere I can find it ?
I need to build a quick prototype.