C++ programming,"unification algorithm"
I am seeking C++ expert who is good at coding , also #include map
the algorithm will be given and public well known.
So the Important thing is whether you are really good at C++.
all codes are completed, main work is making 2 functions in unify.cpp.
unify(Substitute &theta, Predicate &x, Predicate &y) and standandizing_apart(Predicate *p1, Predicate *p2) in ‘unify.cpp.
-Please read and follow attached pdf-