firma(abc).
firma(klm).
firma(mno).

kobieta(anna).
kobieta(maria).
kobieta(julia).
kobieta(ewa).
kobieta(joanna).
kobieta(lena).
kobieta(teresa).

mezczyzna(jan).
mezczyzna(karol).
mezczyzna(piotr).
mezczyzna(tomasz).
mezczyzna(lukasz).
mezczyzna(marek).
mezczyzna(jozef).

% pracownik(imie, nazwisko, firma, staz_pracy).

pracownik(anna, klimczak, firma(abc), 10).
pracownik(anna, maj, firma(abc), 1).
pracownik(maria, jankowska, firma(abc), 12).
pracownik(julia, klimczak,  firma(abc), 4).
pracownik(jan, kowal, firma(abc), 21).
pracownik(karol, lis, firma(abc), 5).
pracownik(anna, lis, firma(klm), 12).
pracownik(piotr, bednarek, firma(klm), 8).
pracownik(tomasz, bednarek, firma(klm), 2).
pracownik(ewa, wilk, firma(klm), 3).
pracownik(ewa, lipiec,firma(klm), 7).
pracownik(lukasz, polak,  firma(klm), 11).
pracownik(marek, doba, firma(klm), 8).
pracownik(anna, just, firma(mno), 22).
pracownik(joanna, wilk, firma(mno), 16).
pracownik(piotr, czekaj, firma(mno), 4).
pracownik(maria, wilczak, firma(mno), 16).
pracownik(piotr, kawa, firma(mno), 14).
pracownik(marek, czubak, firma(mno), 5).
pracownik(marek, lis, firma(mno), 4).

% \= oznacza rozne od

pracownik_abc(X,Y):- pracownik(X,Y,firma(abc),_).
% to smao co ponizej pracInne(X,Y) :- pracownik(X,Y,Z,_),Z\=firma(abc).
pracInne(X,Y) :- pracownik(X,Y,Z,_), \+ Z=firma(abc).

pracKobieta(X,Y):- pracownik(X,Y,_,_),kobieta(X).

premia(X,Y,B):- pracownik(X,Y,_,Z), Z>3 -> B is Z*150; B=0.

dlugoletniPrac(X,Y,Z) :- pracownik(X,Y,Z,S), S>=10.

max2(X,Y,Z) :- X>=Y, Z=X.
max2(X,Y,Z) :- X=<Y, Z=Y.

max22(X,Y,Z) :- X>=Y -> Z=X; Z=Y.

isList([]).
isList([_|Xs]) :- isList(Xs).

isMember(X,[X|_]).
isMember(X,[X]).
isMember(X, [_|Xs]) :- isMember(X,Xs).

myLast(X,[X]):-!.
myLast(X, [_|T]) :- myLast(X,T).

multiply([X],[Y],[Z]) :- Z is X*Y.
multiply([X|Xs], [Y|Ys], [Z,Ls]) :- Z is X*Y, multiply(Xs,Ys,Ls).

suma([],0).
suma([X|Xs],S) :- suma(Xs,S1), S is X+S1.

my_l([],0).
my_l([_|Xs],L) :- my_l(Xs,L1), L is 1+L1.

element_at(X,[X|_],1).
element_at(X,[_|Xs],K) :- K>1, K1 is K-1, element_at(X,Xs,K1).

dupli([],[]).
dupli([X|Xs], [X,X|Ys]) :- dupli(Xs,Ys).

my_reverse(L1,L2) :- my_rev(L1,L2,[]).

my_rev([],L2,L2).
my_rev([X|Xs],L2,Ac) :- my_rev(Xs, L2,[X|Ac]).

end(X,L1,L2) :- append(L1,[X],L2).

start(X,L1,L2) :- L2=[X|L1].

end2(X,L1,L2) :- my_reverse(L1,Y), start(X,Y,Z), my_reverse(Z,L2).

remove_at(X,[X|Xs],1,Xs).
remove_at(X,[Y|Xs], K, [Y|Ys]) :- K>1, K1 is K-1, remove_at(X,Xs,K1,Ys).

take(L1,0,[]).
take([X|Xs], N,L2) :- N>0, N1 is N-1, take(Xs,N1,Ls), L2=[X|Ls].



--kolos2019

dolar([],[]).
dolar([X|Xs],[X,Z|Ys]) :- dolar(Xs,Ys), Z ='$'.

addX(X,[Y],[Z]) :- Z is X+Y.
addX(X, [Y|Ys], [Z|Ls]) :- Z is X+Y, addX(X,Ys,Ls).