TinyProlog
append([], Z, Z). append([A|B], Z, [A|ZZ]) :- append(B, Z, ZZ). reverse([], []). reverse([A|B], Z) :- reverse(B, Brev), append(Brev, [A], Z).
Enter query: