Anyone make any sense of this. I can't even figure out what the question is asking.
Using C|C++ implement the unification algorithm:
your program should have the same behaviour as the unify with occurs check(term1,term2) build-in predicate of Gnu Prolog. Term 1 and Term 2 are 2 terms where:
-variables are in upper case letter.
-function symbols are in lower case letters.
If anyone know what this means let me know.