An Efficient Unification Algorithm by Alberto Martelli and Ugo Montanari implementation in C.
Input files are scanned and parsed with bison and flex tools. Memory leaks checked and removed with valgrind.
GPL v2.0 license.
Please contact me if you find it useful for any purpose.