%% ?- answer(X0).

answer(matches_invalid_pattern_fails) :- matches('abc', '[').