Playing with DCG in Prolog