How hard is it to translate from BLD with named-argument uniterms to BLD without them, or to various rule languages without them? Is this basically syntactic sugar, or is it pretty hard? If it's hard, I don't think it's appropriate to include named-argument uniterms in BLD, as much as I happen to personally like them. Specifically, can someone provide a translation algorithm and example? -- SandroReceived on Wednesday, 9 January 2008 14:24:13 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:44 GMT