Logiweb(TM)

7.1.8.4 Multiple qualification

Prev Up Next Page 154 of 800 Search internet


Now consider the three lgs source texts again with some changes of page.lgs. The first lgs source text is as before:

   ""P ref1
   ""R base
   ""D 0
   a
   b
   ""D 6
   " + "
   " - "
   ""B
   "We just include name definitions "[ ""N ]"
   and charge definitions "[ ""C ]" in the body"

The second lgs source text is as before:

   ""P ref2
   ""R base
   ""D 0
   x
   y
   ""D 4
   " * "
   ""D 6
   " + "
   ""B
   "We just include name definitions "[ ""N ]"
   and charge definitions "[ ""C ]" in the body"

The third lgs source text is page.lgs:

   ""P page
   ""R r1_"r1:"ref1
   ""R r2_"r2:"ref2
   ""B
   r1:a r2_* r2:x r1_+ r1:b r2_* r2:y

In the example above, constructs from ref1 are qualified by both r1_ and r1:. Thus, one can refer to a from ref1 both as r1_a and as r1:a. One can specify an arbitrary list of qualifiers for each reference.

Prev Up Next Page 154 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05