cassell@mcc-db.UUCP (Keith Cassell) (04/29/85)
There are several things about this language I can't seem to find
in the documentation available to me, nor can I figure it out.
1) What happens when there are two goals on the LHS of a grammar
rule, e.g. something like: "a, b --> c." ?
This doesn't generate a syntax error, but I can't get a
rule like this to fire either.
2) What happens when curly brackets ({}) are used in a
non-grammar rule, e.g. something like:
a :- {b}, c.
Whatever else may happen, they are not ignored.
3) What is the story on single quotes? If one reads a term
and then prints it, the quotes are removed. How can
this be avoided/detected? Also, single quotes are used to
indicate that something other than a base-10 number
is being used, e.g. 8'20 = 16 succeeds since the base
base-8 number "20" = base-10 number "16". Now what?
Any help would be greatly appreciated. If that isn't enough to motivate
your help, I'll buy the beer when you make it to Austin. Thanks in
advance.
Keith
ihnp4!ut-sally!mcc-db!cassell
db.cassell@mcc