Re: PowerLoom's BNF usage
Hans Chalupsky <[email protected]> Mon, 7 Jul 2008 21:59:12 -0700
| Newsgroups | gmane.comp.ai.powerloom |
|---|---|
| Message-ID | <[email protected]> |
Cameron, thanks for the pointer. It definitely make sense to relate PL-KIF to CLIF and align them as much as possible. PowerLoom was intended to support multiple logic dialects (thus the "in-dialect" construct). If we can't reasonably make PL-KIF a superset of CLIF, we should at least be able to support them as alternative input language variants. Given that Common Logic is an actual ISO standard now, we have some motivation to attempt this fairly soon. Hans >>>>> Cameron Ross <[email protected]> writes: > Just thought I'd point out that Common Logic is now an ISO standard and can > be downloaded free of charge from here: > http://standards.iso.org/ittf/PubliclyAvailableStandards/c039175_ISO_IEC_24707_2007(E).zip. > Are there any plans, or is there any interest in evolving PL-KIF to the > Common Logic CLIF dialect? Does this even make sense? > Cameron Ross. > On Fri, Jul 4, 2008 at 12:00 PM, Hans Chalupsky <[email protected]> wrote: >> Rich, >> >> the PowerLoom grammar was developed by a motivated visitor to our >> group, but we never scrutinized it much nor used it for anything, so >> it probably is incomplete, inconsistent and not quite up-to-date. >> Given that more people are getting serious about using it, we should >> fix that, firm it up and bring it in-line with the upcoming >> Common-Logic standard. That would also address the character set >> questions you voiced previously. >> >> With respect to the questions below, the only thing incorrect was your >> interpretation of braces, which we use as a grouping construct. Since >> they also mean something in Texinfo and require proper quoting, it >> looks like some of them didn't survive into the formatted version of >> the manual, we need to fix that. >> >> Hans >> >> >>>>> Rich Morin <[email protected]> writes: >> >> > I've been digging into Chapter 11 of the manual, in order to >> > write a second-level parser (ie, recognize logsent, etc.). >> >> > The BNF isn't exactly standard (or even correct in some places), >> > so I have been getting confused about some rather basic things. >> > Can someone confirm or deny (and then clarify) these statements? >> >> > asterisk "*" >> >> > An asterisk means "zero or more of this item". >> >> > braces "{...}" >> >> > Braces mean "zero or more of these items". >> >> > brackets "[...]" >> >> > Brackets mean "zero or one of these items". >> >> > parentheses "(...)" >> >> > Parentheses stand for themselves, >> > rather than acting as grouping operators. >> >> > plus sign "+" >> >> > A plus sign means "one or more of this item". >> >> > -r >> > -- >> > http://www.cfcl.com/rdm Rich Morin >> > http://www.cfcl.com/rdm/resume [email protected] >> > http://www.cfcl.com/rdm/weblog +1 650-873-7841 >> >> > Technical editing and writing, programming, and web development >> > _______________________________________________ >> > powerloom-forum mailing list >> > [email protected] >> > http://mailman.isi.edu/mailman/listinfo/powerloom-forum >> _______________________________________________ >> powerloom-forum mailing list >> [email protected] >> http://mailman.isi.edu/mailman/listinfo/powerloom-forum >> > -- > Cameron Ross, M.Sc. > Director of Technology > Symboticware Incorporated > www.symboticware.com > Just thought I'd point out that Common Logic is now an ISO standard and can be downloaded free of charge from here: <a href="http://standards.iso.org/ittf/PubliclyAvailableStandards/c039175_ISO_IEC_24707_2007(E).zip">http://standards.iso.org/ittf/PubliclyAvailableStandards/c039175_ISO_IEC_24707_2007(E).zip</a>. Are there any plans, or is there any interest in evolving PL-KIF to the Common Logic CLIF dialect? Does this even make sense? <br> > <br>Cameron Ross.<br><br><br><br><div class="gmail_quote">On Fri, Jul 4, 2008 at 12:00 PM, Hans Chalupsky <<a href="mailto:[email protected]">[email protected]</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> > Rich,<br> > <br> > the PowerLoom grammar was developed by a motivated visitor to our<br> > group, but we never scrutinized it much nor used it for anything, so<br> > it probably is incomplete, inconsistent and not quite up-to-date.<br> > Given that more people are getting serious about using it, we should<br> > fix that, firm it up and bring it in-line with the upcoming<br> > Common-Logic standard. That would also address the character set<br> > questions you voiced previously.<br> > <br> > With respect to the questions below, the only thing incorrect was your<br> > interpretation of braces, which we use as a grouping construct. Since<br> > they also mean something in Texinfo and require proper quoting, it<br> > looks like some of them didn't survive into the formatted version of<br> > the manual, we need to fix that.<br> > <br> > Hans<br> > <br> > >>>>> Rich Morin <<a href="mailto:[email protected]">[email protected]</a>> writes:<br> > <br> > > I've been digging into Chapter 11 of the manual, in order to<br> > > write a second-level parser (ie, recognize logsent, etc.).<br> > <br> > > The BNF isn't exactly standard (or even correct in some places),<br> > > so I have been getting confused about some rather basic things.<br> > > Can someone confirm or deny (and then clarify) these statements?<br> > <br> > > asterisk "*"<br> > <br> > > An asterisk means "zero or more of this item".<br> > <br> > > braces "{...}"<br> > <br> > > Braces mean "zero or more of these items".<br> > <br> > > brackets "[...]"<br> > <br> > > Brackets mean "zero or one of these items".<br> > <br> > > parentheses "(...)"<br> > <br> > > Parentheses stand for themselves,<br> > > rather than acting as grouping operators.<br> > <br> > > plus sign "+"<br> > <br> > > A plus sign means "one or more of this item".<br> > <br> > > -r<br> > > --<br> > > <a href="http://www.cfcl.com/rdm" target="_blank">http://www.cfcl.com/rdm</a> Rich Morin<br> > > <a href="http://www.cfcl.com/rdm/resume" target="_blank">http://www.cfcl.com/rdm/resume</a> <a href="mailto:[email protected]">[email protected]</a><br> > > <a href="http://www.cfcl.com/rdm/weblog" target="_blank">http://www.cfcl.com/rdm/weblog</a> +1 650-873-7841<br> > <br> > > Technical editing and writing, programming, and web development<br> > > _______________________________________________<br> > > powerloom-forum mailing list<br> > > <a href="mailto:[email protected]">[email protected]</a><br> > > <a href="http://mailman.isi.edu/mailman/listinfo/powerloom-forum" target="_blank">http://mailman.isi.edu/mailman/listinfo/powerloom-forum</a><br> > _______________________________________________<br> > powerloom-forum mailing list<br> > <a href="mailto:[email protected]">[email protected]</a><br> > <a href="http://mailman.isi.edu/mailman/listinfo/powerloom-forum" target="_blank">http://mailman.isi.edu/mailman/listinfo/powerloom-forum</a><br> > </blockquote></div><br><br clear="all"><br>-- <br>Cameron Ross, M.Sc.<br>Director of Technology<br>Symboticware Incorporated<br><a href="http://www.symboticware.com">www.symboticware.com</a>