Prolog code snippets

Побудова оберненого списку на основі вхідного. Для цього використовуйте принцип рекурсії та операцію конкатенації двох списків.
domains
nList = integer*.
class predicates
task8 : (nList, nList [out]) nondeterm.
concat : (nList, nList, nList) nondeterm anyflow.
clauses
concat([], L2, L2].
concat([H | L1, L2, [H | L3] :-
concat(L1, L2, L3).
task8([], []).
task8([H | T], Res) :-
task8(T, Res1),
concat(Res1, [H], Res).