(correction) Matching is defined
Terry Allen (tallen@sonic.net)
Sun, 8 Jun 1997 16:48:32 -0700
"Match" is defined in the Terminology section, 1.3, contrary to what
I wrote.  "A string matches a grammatical production if it
belongs to the language generated by that production."  So if
"the l g by that p" means that you expand all the tokens it
contains, and an XML document is a string, then WFness applies
to the internals of prolog.  Perhaps a clause here to deal
specifically with documents would be a good idea.
Regards,
  Terry Allen    Electronic Publishing Consultant    tallen[at]sonic.net
                   http://www.sonic.net/~tallen/
    Davenport and DocBook:  http://www.ora.com/davenport/index.html
          T.A. at Passage Systems:  terry.allen[at]passage.com