% Piotr Mikulski

alt(LISTA, 0, LISTA).
alt(COS, ARG, END):-wart(COS, ARG1, KONIEC),alt(KONIEC, ARG2, END), or(ARG1, ARG2, ARG).

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

kon(LISTA, 1, LISTA).
kon(COS, ARG, END):-wart(COS, ARG1, KONIEC),kon(KONIEC, ARG2, END), and(ARG1, ARG2, ARG).

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

wart(["["|LISTA], W, KONIEC):-alt(LISTA, W, ["]"|KONIEC]).
wart(["{"|LISTA], W, KONIEC):-kon(LISTA, W, ["}"|KONIEC]).

v(LISTA, W):-wart(LISTA, W, []).