TRALE-EXTENSION:Grisu interface support

• grisu_off. switches grisu output off and textual pretty printer on
• grisu_on. switches grisu output on, if the system had been started with grisu
• grisu_debug. sends the output normally sent to grisu to standard out instead
• grisu_nodebug. reverts to sending grisu output to the socket at which grisu listsns

At system startup, grisu is on if trale has been started with -g

TRALE-EXTENSION:Unfilling

When running a grammar with a large signature (e.g., MERGE), you'll immediately notice how essential proper unfilling of uninformative features is. The code now assumes a node to be informative if

a)

it is of a type that is more specific than the appropriave value of the feature that led to it. For the top level, the appropriate value is taken to be bot.

or

b)

it is structure shared with some other node

or

c)

the value of one of its features is informative according to a), b) or c)

• unfill_on. switches on unfilling of uninformative nodes in the output

• unfill_off. switches it off

  At system startup, unfill is on.

TRALE-EXTENSION:Feature ordering

To specify the order in which features are displayed by the pretty printer, include any number of statements of the form

• f <<< g. meaning: f will be ordered before g.

and at most one each of the following statements:

• <<< h. meaning: h will be ordered last.
• >>> i. meaning: i will be ordered first.

Currently only the grisu interface takes feature ordering into account, but this should be added to the default textual pretty printer at some point.

TRALE-EXTENSION:Diff of feature structures

• diff(NrA,NrB).

• diff(NrA,PathA,NrB,PathB).
  • NrA and NrB are numbers of saved results
  • PathA and PathB are paths of the form f:g:h:i or [f,g,h,i]. The empty path for both cases is [].

Output is provided via the grisu interface.