Harold and I have finally implemented a major update to FLD. http://www.w3.org/2005/rules/wiki/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. -- -- michaelReceived on Monday, 6 April 2009 01:31:13 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:55 UTC