|
This is a Jacc specification for an interactive parser for Prolog
terms, also known as First-Order Terms. We shall proceed as
for parsing Prolog terms but (at least initially), not bothering with
dynamic operators such as done in this
other term parser. In fact, this one differentiates variables
and structures at the tokenizer level and also parses Prolog list
notation.
|
Copyright © 2018 by Hassan Aït-Kaci; All Rights Reserved.