🚀 go-pugleaf

A few additional details prompted by Lee's comments.

My figures for native vs. threaded code came from comparing Quintus
Prolog with two commercial native code compilers for Prolog two years
ago, and from discussions with Richard O'Keefe about Prolog
compilation. Native code compilation techniques may have improved
since then.

The problem of access to rules is more complicated in parsers that
do not use the rules directly but instead use some kind of parsing
tables derived from the rules. Usually, the tables are much larger
than the original rule set.

The question of whether parallelism will be useful for parsing is also
rather tricky. To ensure termination and avoid an exponential
proliferation of analyses, most parsers these days use dynamic
programming techniques to merge parsing configurations. As a
consequence, parsing alternatives are no longer independent, leading
to subtle synchronization problems in parallel systems. Sigh...

-- Fernando Pereira