implementing named-argument uniterms (ISSUE-44)

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?

    -- Sandro

Received on Wednesday, 9 January 2008 14:24:13 UTC