Consider the following Prolog program: outcome([_, E | L], [E | M]) :- !, outcome(L, M). outcome(_, []).

1) After having consulted this program, what would Prolog reply when presented with the following query? Try answering this question first without actually typing in the program, but verify your solution later on using the Prolog system. ?

- outcome([a, b, c, d, e, f, g], X).

2) Briefly describe what the program does and how it does what it does, when the first argument of the outcome/2-predicate is instantiated with a list and a variable is given in the second argument position, i.e., as in item (a). Your explanations should include answers to the following questions:

a) What case(s) is/are covered by the Prolog fact?

b) What effect has the cut in the first line of the program?

c) Why has the anonymous variable been used?

Thank you.