Implementing unification and clause form for first order logic statements for an Introduction to Artifitial intelligence course