#Unifier for Predicate Calculus Expression Artificial Intelligence Course - Project 3 (PC Expression Unification) Language: C99 Platform: Win32 Application IDE: Microsoft Visual Studio 2015 (v140)