[SCL] General sugar: an idea for discussion
pat hayes
phayes at ai.uwf.edu
Mon Apr 14 20:28:22 CDT 2003
>On Sat, Apr 12, 2003 at 06:50:05PM -0500, Pat Hayes wrote:
>> Agreed, but that wasn't my point. I was meaning to suggest putting
>> this into the basic logic, at the abstract syntax level, as a
>> general-purpose device, not as another concrete syntax. Or at least
>> put the idea up for discussion. Once I get my head around Chris'
>> style of writing abstract syntax I will try to write this up more
>> precisely.
>
>Would it help if I explicitly defined the syntactic functions that
>generate the traditional FOL, CGIF, and XML-ish examples in the doc I
>worked up the other day?
YES. Thanks for the offer.
Pat
PS. To get a message to me fast, send it directly and CC the list. My
filters protect me from anything that can be classified.
>-chris
>
>_______________________________________________
>SCL mailing list
>SCL at philebus.tamu.edu
>http://philebus.tamu.edu/mailman/listinfo/scl
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32501 (850)291 0667 cell
phayes at ai.uwf.edu http://www.coginst.uwf.edu/~phayes
s.pam at ai.uwf.edu for spam
More information about the Scl
mailing list