|
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.
|
Copyright © 2013 by Hassan Aït-Kaci; All Rights Reserved.