% dcg grammar to accept list of matching brackets

ok(L) :- phrase(bracks, L, []).

bracks --> [].
bracks --> ['('], bracks, [')'], bracks.
bracks --> ['['], bracks, [']'], bracks.
bracks --> ['{'], bracks, ['}'], bracks.