(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