Prolog - ayuda por favor

estoy empezando con prolog, pero a marchas forzadas. el primer dia de prolog no estuve y empezaron bastante fuerte. la primera hoja del tema fue :

Necesidad
La “sencillez” de la sintaxis declarativa:
PROLOG
rev([],[]).
rev([X|Xs], Zs) :- rev(Xs,Ys), append(Ys,[X],Zs).

append([],Xs,Xs).
append([X|Xs],Ys,[X|Zs]) :- append(Xs,Ys,Zs).
CURRY
rev [] = []
rev (x:xs) = append((rev xs) ,[x])

append([] ,ys) = ys
append(x:xs,ys) = x:append(xs,ys)


el problema es que mandaron un trabajo para entregar y me toco esta parte:

7. Escribe una función curry “rev2” que tenga el mismo
efecto que “rev” pero sin utilizar “append”.
8. Escribe un predicado en PROLOG equivalente a la
función “rev2” del ejercicio anterior.

y no tengo N.P.I. de que significa cada cosa.

alguien podria hecarme una mano por favor??

gracias por anticipado
un saludo