KATR version 1.0 User Guide

• Usage:

• java Menu

• Interactive commands

• help

  Brings up a list of available commands.

• compile filename

  Compiles the file specified by filename.

• theory

  Dumps the entire theory, limited by #show, #showif, and #hide statements.

• query filename

  Runs all the queries contained in the query file specified by filename.

  You may use stdin as the filename. In this case, you may enter queries from standard input. Terminate this ``file'' by a line containing only ## .

  Queries may be of the form

  Node:<path>.

  or

  Node.

• debug level

  level 0: Shows no debugging information.
  level 1: Shows debug information while compiling file.
  level 2: Shows debug information while querying file.

• list level

  Lists the internal representation of the compiled KATR program.
  This command is useful for debugging KATR source code.