1
2
3
4
5
podzial([],'pusta').
podzial([H1|T1],X,[H2|T2]):- podzial(T1,T2,X).
 
:-podzial([1,2,3,4], Z, X), writeln(Z), writeln(X).
%:-podzial([1,2,3,4,5,6,7,8,10]).

1
2
3
4
5
6
podziel([],[],[]).
podziel([A|B],E,O) :- A mod 2 =/= 0, podziel[B,[A|E],O);
podziel([A|B],E,O) :- A mod 2 =:= 0, podziel(B,E,[A|O]).
 
:- podziel([1,2,3,4,5,6,3,1,4,6],P,N), writeln(P), writeln(N).
 

1
2
3
4
5
6
podziel([],[],[]).
podziel([A|B],E,O) := A mod 2 =/= 0, podziel[B,[A|E],O);
podziel([A|B],E,O) := A mod 2 =:= 0, podziel(B,E,[A|O]).
 
:=podziel([1,2,3,4,5,6,3,1,4,6],P,N), writeln(P), writeln(N).
 

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,H|T,T).

1
2
3
4
5
podziel([],[],[]).
podziel([A|B],E,O) :- A mod 2 == 1, podziel[B,[A|E],O);
podziel([A|B],E,O) :- A mod 2 == 0, podziel(B,E,[A|O]).
 
:- podziel([1,2,3,4,5,6,3,1,4,6],P,N), writeln(P), writeln(N).

1
2
3
4
5
podziel([],[],[]).
podziel([A|B],E,O) := A mod 2 == 1, podziel[B,[A|E],O);
podziel([A|B],E,O) := A mod 2 == 0, podziel(B,E,[A|O]).
 
:=podziel([1,2,3,4,5,6,3,1,4,6],P,N), writeln(P), writeln(N).

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,H|[T],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,H|[T],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,[H|T],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,[H|T],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)->writeln(Reszta).
 
sprawdz([H|T]):- nalezy(H,T)->usun(H,H|T,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)->writeln(Reszta).
 
sprawdz([H|T]):- nalezy(H,T)->usun(H,H|T,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)->writeln(Reszta).
 
sprawdz([H|T]):- nalezy(H,T)->usun(H,H|T,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),writeln(Reszta).
 
sprawdz([H|T]):- nalezy(H,T)->usun(H,H|T,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),writeln(Reszta).
 
sprawdz([H|T]):- nalezy(H,T)->usun(H,H|T,T).

1
2
3
4
5
6
7
8
9
/*sortowanie*/
czy_posortowane([], 'tak').
czy_posortowane([_], 'tak').
czy_posortowane([H1,H2|_], 'nie') :- (H1 > H2).
czy_posortowane([H1,H2|T], ODP) :- (H1 =< H2), czy_posortowane([H2|T], ODP).
 
:- czy_posortowane([1,3,2,3], ODP), writeln(ODP).
:- czy_posortowane([1,3,4,5], ODP), writeln(ODP).
:- czy_posortowane([1,1,1,1], ODP), writeln(ODP).
 ...

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,H|T,T).

1
2
3
4
5
podzial([],[],[]).
podzial([H|T],E,[H|O]):-podzial(T,O,E).
 
 
:-podzial([1,2,3,4,5,6,7,8,9],X,Z), writeln(Z), writeln(X).

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
podzial([],[],[]).
podzial([H|T],E,[H|O]):-podzial(T,O,E).
 
 
:-podzial([1,2,3],X,Z), writeln(Z), writeln(X).

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,H|T,T).

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,H|T,T).

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

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,H|T,T).

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

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,H|T,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,H|T,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)->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).