1 2 3 4 5 6 7 8 9 10 11 12
ostatni([X], X). ostatni([H|T], X) :- ostatni(T, X). bezost([_], []). bezost([H|T], [H|X]) :- bezost(T, X). odwroc([], []). odwroc(L, R) :- ostatni(L, E), bezost(L, M), odwroc(M, N), R = [E|N]. odwracaj([], []). odwracaj(L, R) :- [H|T] = L, odwracaj(T, N), append(N, [H], R). srodek([X], X). srodek(L, S) :- [H|T] = L, append(N, [_], T), srodek(N, S). %rosnacy(L) :- [H|T] = L, append(). %inserts(L, X, W) :- [H|T] = L, H =< X, [H2|T2] = T, H2 =< X, W = [].