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-
Hello. How are you. I'm working on C++ for long and long. So I can do your task quickly as you need. I've saw your attachment carefully and have a solution to solve it. I wish you to aware me. Thank you.