[Pando-devel] Meaning of the {synpred} objects in the Clif.g (ISO Common Logic) parser

[John B. <Joh...@ka...>]

I have been viewing the Clif.g [1] grammar in AntlrWorks and I am =
puzzled by the errors the interpreter produces when I try to parse some =
clif strings with that GUI when loaded with that grammer. Here is an =
example:

  a.. FailedPredicateException(sentence,{synpred41}?)=20

I am also curious about boxes shown in the 'Syntax Diagram' with such =
names as '{synpred41}',  '{synpred42}', '{synpred43}', shown when =
looking at the 'sentence' goal. Can someone point me to documentation =
that explains these objects? Or is someone willing to explain them to =
me? Also, do they have any affect on the operation of the parser?=20

I am interested in this now that ISO Common Logic has become an official =
ISO standard [2] for symbolic logic and conceptual graphs. Also, I am =
interested in helping to get the "ISO Common Logic Tools" [3] =
SourceForge project jump started.=20

Cheers,
John Black
www.kashori.com



1. =
http://pando.svn.sourceforge.net/viewvc/pando/code/modules/parsers/src/ne=
t/sf/pando/parsers/clif3/grammar/Clif3.g?view=3Dlog

2. =
http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?cs=
number=3D39175

3. http://sourceforge.net/projects/common-logic/