The correctness of the bracket structure, prolog

As entertainment on a Friday evening.

<br> bracket ( "]" ) --> "[" .<br> bracket ( ")" ) --> "(" .<br> bracket ( "}" ) --> "{" .<br><br>brackets --> bracket ( Close ), brackets , Close , brackets .<br>brackets --> [].<br><br> check ( BracesStr ) :-<br> phrase ( brackets , BracesStr ), ! .<br>

?- check("[[[]]][][[]][()]{}[]").
true.

?- check("[[[)]]][][[]][()]{}[]").
false.

PS The decision on your favorite YAP is welcome)