% Filip Murlak

wart(Lista, W) :- wart(Lista, [], [], W).

wart([Nawias], [Nawias], [W], W).
wart(["{"|Lista],Nawiasy,Wartosci,W) :- wart(Lista,["}"|Nawiasy],[1|Wartosci],W).
wart(["["|Lista],Nawiasy,Wartosci,W) :- wart(Lista,["]"|Nawiasy],[0|Wartosci],W).
wart([Nawias|Lista],[Nawias,"}"|Nawiasy],[X,Y|Wartosci],W) :- i(X,Y,Z), wart(Lista,["}"|Nawiasy],[Z|Wartosci],W).
wart([Nawias|Lista],[Nawias,"]"|Nawiasy],[X,Y|Wartosci],W) :- lub(X,Y,Z), wart(Lista,["]"|Nawiasy],[Z|Wartosci],W).

i(1,X,X).
i(0,_,0).

lub(0,X,X).
lub(1,_,1).