[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