we can use brace notation to mix in prolog with DCG