%% goal: answer(X0)

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