Hi, I ave an assignment in wich we need to code an unification algorithm in prolog. I already wrote a predicate
unifier(E1,E2,S). where S is the unification of E1 and E2 if possible.
Example: unifier(a,'A',S) gives
S = [a,'A']
(variables are in quotes to prevent prolog from interpreting them)...