Main Documentation for Term.grm

# Main Documentation for grammar Term.grm

#### Description

This example is a Jacc specification of an interactive parser for Prolog terms (and thus for Prolog but without the `[H|T]` and `[a, b, ...]` notation for lists). Here are the source files. This illustrates the use of dynamic operators and how to specify top-down undo semantic actions. The parser repeatedly reads a term from the standard input, prints its canonical form - i.e., `f(t1, ... ,tn)`. All Prolog dynamic operators are predefined, but may be redefined at parse time. New dynamic operators may also be defined and redefined at parse time as well. Author: Hassan Aït-Kaci Copyright: © by the author Version: Last modified on Tue Jan 29 10:48:35 2013 by hak

Copyright © 2013 by Hassan Aït-Kaci; All Rights Reserved.