Some of the things you say can already be achieved with Prolog DCGs, which are more or less like pattern matching over lists (usually lists of chars, but not needed).