Grail Tutorial - Command Line Options

Instead of just running Grail with g3 there is a large number of options which you can specify on the command line. This section discusses these by theme.

Loading Grammars

Windows

The gv window keeps track of the current state of Grail's partial proofs. The statistics window keeps track of the number of substitutions performed and the number of substitutions which have been eliminated by the different filtering strategies.

Execution

Graphviz Output

These options control the way Grail exports its graphs to Graphviz.

LaTeX Output

The following options only affect the LaTeX output produced by Grail.

Debugging

The debugger options allow you to lance the Prolog debugger and verify everything works correctly. This is meant for the use of developpers and programmers wanting to add new functionality to Grail and not for the casual user.
Richard.Moot@labri.fr
Last modified: Tue Feb 10 18:52:15 CET 2009