Do following terms unify in SWI prolog? If so, give the most general unifier.

You can verify your solutions in swipl by concatenating the terms with a =. The program will then show you the most general unifier. If false is shown, no unifier was found. A result of true is short for the empty unifier.