Drop links or images here to add them to the editor.

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.