A backtracking predictive parser. This utility is used by features such as name completion, query parsing (for collecting free variables), and determining the correct constituent of a proposition when right-clicking in a proposition navigation pane.

Questions and comments should be directed to Eric Melz or Hans Chalupsky

Last modified: Thu Nov 14 19:29:06 Pacific Standard Time 2002