- From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
- Date: Mon, 18 Dec 2006 21:36:01 -0500
- To: "RIF WG" <public-rif-wg@w3.org>
In partial fulfillment of what I envisaged by today: * Following the discussions since the F2F4 breakout, I extended the CORE document's basic slotted syntax by sections on slot-to-positional "SYNTACTIC TRANSFORMATION" in both: http://www.w3.org/2005/rules/wg/wiki/CORE/Conditions/Positive http://www.w3.org/2005/rules/wg/wiki/CORE/Rules/Horn * Based on recently discussed examples, I added a preliminary multisorted syntax for primitive sorts, initializing a section on "Multisorted Syntax": http://www.w3.org/2005/rules/wg/wiki/CORE/Conditions/Positive * The CORE "Discussion" section lists the still missing non-primitive-sort syntax and a semantics parameterized w.r.t. external calls: http://www.w3.org/2005/rules/wg/wiki/CORE The other part, a summary of the offline discussion between Hassan, Michael, and me, became a bit delayed by the 'recursion' discussion. Because of our current timezone difference I don't know if Michael will still send something in the Innsbruck morning. -- Harold
Received on Tuesday, 19 December 2006 02:36:14 UTC