New version of FLD

Harold and I have finally implemented a major update to FLD.
The main changes are:

1. Aggregates
2. Modules
3. Reification significantly generalized
4. Connectives and quantifiers are now extensible: dialects can add new ones
   without the need to expand FLD.

The XML framework of FLD hasn't been updated yet, but this is not so crucial.

    -- michael

Received on Monday, 6 April 2009 01:31:13 UTC