1
2
3
4
5
6
7
8
nalezy( X,[X|_] ).
nalezy( X,[H|T] ) :- nalezy( X,T ).
 
%usun(X,[X|Reszta],Reszta).
%usun(X,[Y|Ogon],[Y|Reszta]) :-
        %usun(X,Ogon,Reszta).
 
sprawdz([H|T]):- nalezy(H,T)->writeln(H).

1
2
3
4
5
6
7
8
nalezy( X,[X|_] ).
nalezy( X,[H|T] ) :- nalezy( X,T ).
 
%usun(X,[X|Reszta],Reszta).
%usun(X,[Y|Ogon],[Y|Reszta]) :-
        %usun(X,Ogon,Reszta).
 
sprawdz([H|T]):- nalezy(H,T)->writeln(H).

1
2
3
4
5
6
7
8
nalezy( X,[X|_] ).
nalezy( X,[H|T] ) :- nalezy( X,T ).
 
%usun(X,[X|Reszta],Reszta).
%usun(X,[Y|Ogon],[Y|Reszta]) :-
        %usun(X,Ogon,Reszta).
 
sprawdz([H|T]):- nalezy(H,T)->writeln(A).

1
2
3
4
5
6
7
8
9
sortuj([],[]).
sortuj([A],[A]).
sortuj([A,B|T], [A|X]) :- A>=B, sortuj([B|T], X).
sortuj([A,B|T], [B|X]) :- A<B, sortuj([A|T], X).
posortowane([], 1).
posortowane([_], 1).
posortowane([A,B|T],X):-A>=B, posortowane([B|T], X).
posortowane([A,B|_],0):-A<B.
sortowanie(S, S):-posortowane(S, 1).
 ...

1
2
3
4
5
6
7
8
nalezy( X,[X|_] ).
nalezy( X,[H|T] ) :- nalezy( X,T ).
 
usun(X,[X|Reszta],Reszta).
usun(X,[Y|Ogon],[Y|Reszta]) :-
        usun(X,Ogon,Reszta).
 
sprawdz([H|T]):- nalezy(H,T)->usun(H,T);sprawdz(T).

1
2
3
4
5
6
7
8
nalezy( X,[X|_] ).
nalezy( X,[H|T] ) :- nalezy( X,T ).
 
usun(X,[X|Reszta],Reszta).
usun(X,[Y|Ogon],[Y|Reszta]) :-
        usun(X,Ogon,Reszta).
 
sprawdz([H|T]):- nalezy(H,T)->usun(H,T);sprawdz(T).

1
2
3
4
5
6
7
8
nalezy( X,[X|_] ).
nalezy( X,[H|T] ) :- nalezy( X,T ).
 
usun(X,[X|Reszta],Reszta).
usun(X,[Y|Ogon],[Y|Reszta]) :-
        usun(X,Ogon,Reszta).
 
sprawdz([H|T]):- nalezy(H,T)->usun(H,T);sprawdz(T).

1
2
3
4
5
parzyste([],[],[]).
parzyste([H|T],E,[H|O]):-parzyste(T,O,E).
:-parzyste([1,2,3,4,5],X,Z), writeln(X), writeln(Z).
:-parzyste([1],X,Z), writeln(X), writeln(Z).
:-parzyste([1,2,3],X,Z), writeln(X), writeln(Z).

1
2
3
4
c([],[],[],_).
c([H],[H],[H],_).
c([H1,H2|T],[H1|Y],[H2|D],O):- c(T,Y,D,L),A is L + 1.
:-c([1,2,3,4,5],X,Z,P), writeln(X),writeln(Z),writeln(P).

1
2
3
even_odd2([],[],[]).
even_odd2([H|T],E,[H|O]):-even_odd2(T,O,E).
:-even_odd2([1,2,3,4,5],X,Z), writeln(X), writeln(Z).

1
2
3
4
5
6
7
8
9
podzial([],[_],[_]).
podzial([H], [H1|[H2|T1]], [H3|T2]):- H2 is H1, H1 is H, wypisz([H1|[H2|T1]]), wypisz([H3|T2]).
podzial([H1|[H2|T]], [H3|T1], [H5|T2]):- 
H4 is H3, H6 is H5, podzial([T], [H1|[H4|T1]], [H2|[H6|T2]]).
podzial([H1|[H2|T]]):- podzial([T], [H1], [H2]).
 
 
wypisz([H|T]):- writeln(H), wypisz([T]).
:-podzial([1,2,3,4]).

1
2
3
even_odd2([],[],[]).
even_odd2([H|T],E,[H|O]):-even_odd2(T,O,E).
:-even_odd2([1,2,3,3,5],X,Z), writeln(X), writeln(Z).

1
2
3
even_odd2([],[],[]).
even_odd2([H|T],E,[H|O]):-even_odd2(T,O,E).
:-even_odd2([1],X,Z), writeln(X), writeln(Z).

1
2
3
even_odd2([],[],[]).
even_odd2([H|T],E,[H|O]):-even_odd2(T,O,E).
:-even_odd2([1,2,3,4],X,Z), writeln(X), writeln(Z).

1
2
3
4
5
6
7
8
9
podzial([],[_],[_]).
podzial([H], [H1|[H2|T1]], [H3|T2]):- H2 is H1, H1 is H, wypisz([H1|[H2|T1]]), wypisz([H3|T2]).
podzial([H1|[H2|T]], [H3|T1], [H5|T2]):- 
H4 is H3, H6 is H5, podzial([T], [H1|[H4|T1]], [H2|[H6|T2]]).
podzial([H1|[H2|T]]):- podzial([T], [H1], [H2]).
 
 
wypisz([H|T]):- writeln(H), wypisz([T]).
:-podzial([1,2,3,4]).

1
2
3
4
5
6
nalezy( X,[X|_] ).
nalezy( X,[H|T] ) :- nalezy( X,T )->usun(X,[H|T]).
 
usun(X,[X|Reszta],Reszta).
usun(X,[Y|Ogon],[Y|Reszta]) :-
        usun(X,Ogon,Reszta).

1
2
3
4
5
6
c([],[],[]).
c([_],[],[_]).
c([],[_],[_]).
c([H],[H],[H]).
c([H1,H2|T],[H1|Y],[H2|D]):- c(T,Y,D).
:-c([1,2,3,4,5],X,Z), writeln(X),writeln(Z).

1
2
3
4
5
6
c([],[],[]).
c([_],[],[E]).
c([],[_],[S]).
c([H],[H],[H]).
c([H1,H2|T],[H1|Y],[H2|D]):- c(T,Y,D).
:-c([1,2,3,4,5],X,Z), writeln(X),writeln(Z).

1
2
3
4
5
6
7
8
9
podzial([]).
podzial([H], [H1|[H2|T1]], [H3|T2]):- H2 is H1, H1 is H, wypisz([H1|[H2|T1]]), wypisz([H3|T2]).
podzial([H1|[H2|T]], [H3|T1], [H5|T2]):- 
H4 is H3, H6 is H5, podzial([T], [H1|[H4|T1]], [H2|[H6|T2]]).
podzial([H1|[H2|T]]):- podzial([T], [H1], [H2]).
 
 
wypisz([H|T]):- writeln(H), wypisz([T]).
:-podzial([1,2,3,4]).

1
2
3
4
5
6
c([],[],[]).
c([E],[],[E]).
c([],[S],[S]).
c([H],[H],[H]).
c([H1,H2|T],[H1|Y],[H2|D]):- c(T,Y,D).
:-c([1,2,3,4,5],X,Z), writeln(X),writeln(Z).

1
2
3
4
count([], [], []).
count([X|L], O, E) :- X rem 2, count(L, [X|O], E).
count([X|L], O, E) :- X rem 2, count(L, O, [X|E]).
:-count([1,2,3,4],X,Z), writeln(X), writeln(Z).

1
2
3
4
5
6
7
8
9
podzial([]).
podzial([H], [H1|[H2|T1]], [H3|T2]):- H2 is H1, H1 is H, wypisz([H1|[H2|T1]]), wypisz([H3|T2]).
podzial([H1|[H2|T]], [H3|T1], [H5|T2]):- 
H4 is H3, H6 is H5, podzial([T], [H1|[H4|T1]], [H2|[H6|T2]]).
podzial([H1|[H2|T]]):- podzial([T], [H1], [H2]).
 
 
wypisz([H|T]):- writeln(H), wypisz([T]).
:-podzial([1,2,3,4]).

1
2
3
4
5
6
7
8
%wywal(E,[]).
%wywal([E,E1|T]):- E=E1->wywal(E,T);wywal(E1,T).
%pb([E]):-wywal(E),writeln(E).
 
%podziel(A):- dziel_liste(A,X,Y), writeln(X), writeln(Y).
 
nalezy( X,[X|_] ).
nalezy( X,[H|T] ) :- nalezy( X,T ).

1
2
3
4
5
6
7
8
%wywal(E,[]).
%wywal([E,E1|T]):- E=E1->wywal(E,T);wywal(E1,T).
%pb([E]):-wywal(E),writeln(E).
 
%podziel(A):- dziel_liste(A,X,Y), writeln(X), writeln(Y).
 
nalezy( X,[X|_] ).
nalezy( X,[H|T] ) :- nalezy( X,T ).

1
2
3
4
count([], [], []).
count([X|L], O, E) :- X rem 2 =/= 0, count(L, [X|O], E).
count([X|L], O, E) :- X rem 2 =:= 0, count(L, O, [X|E]).
:-count([1,2,3,4],X,Z), writeln(X), writeln(Z).

1
2
3
4
count([], [], []).
count([X|L], O, E) :- X rem 2 =/= 0, count(L, [X|O], E).
count([X|L], O, E) :- X rem 2 =:= 0, count(L, O, [X|E]).
count([1,2,3,4],X,Z), writeln(X), writeln(Z).

1
2
3
4
5
6
7
8
%wywal(E,[]).
%wywal([E,E1|T]):- E=E1->wywal(E,T);wywal(E1,T).
%pb([E]):-wywal(E),writeln(E).
 
%podziel(A):- dziel_liste(A,X,Y), writeln(X), writeln(Y).
 
nalezy( X,[X|_] ).
nalezy( X,[H|T] ) :- nalezy( X,T ).

1
2
3
4
5
6
7
8
9
 
lista_sum(L,W) :- s(L,[],0,W).
dolacz(0, _, L, L).
dolacz(1, CO, L, W) :- W = [CO|L].
dolacz(K, CO, L, WYN) :- K1 is K-1, dolacz(K1, CO, [CO|L], WYN).
odwroc([], [], []).
odwroc([H], L, W) :- dolacz(1, H, L, W).
odwroc([H|T], L, W) :- dolacz(1, H, L, W1), odwroc(T, W1, W).
polacz([], L, L).
 ...

1
2
3
4
count([], [], []).
count([X|L], O, E) :- X rem 2 =/= 0, count(L, [X|O], E).
count([X|L], O, E) :- X rem 2 =:= 0, count(L, O, [X|E]).
count([1,2,3,4],X,Z) writeln(X), writeln(Z).

1
2
3
4
5
6
7
8
9
 
lista_sum(L,W) :- s(L,[],0,W).
dolacz(0, _, L, L).
dolacz(1, CO, L, W) :- W = [CO|L].
dolacz(K, CO, L, WYN) :- K1 is K-1, dolacz(K1, CO, [CO|L], WYN).
odwroc([], [], []).
odwroc([H], L, W) :- dolacz(1, H, L, W).
odwroc([H|T], L, W) :- dolacz(1, H, L, W1), odwroc(T, W1, W).
polacz([], L, L).
 ...