In fact, the
standard compilation of DCG into Prolog clauses does something
similar using variables instead of actual state names. This also
illustrates that this method is not very useful yet; all the work
has still to be done.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.