Let L be a numerical list and consider the following Prolog definition for a predicate g(list,list) with the flow model (input,output):
g([],[]). g([H|T],[H|S
