> The whole purpose is to impose a standard on how logic extensions are going to> be defined. Otherwise, we will have open season for introducing all kinds of > kludges. Note that the document says that, if necessary, FLD will be extended > to accommodate other logic-based dialects. But this should be done with extra > care and not on a whim. notes from discussion -- something like: The WG plans to base future standard logic dialects on FLD, so any logic dialects being developed to become a stardard should either be specializations of FLD or justify deviating from (or extending) FLD. - sReceived on Wednesday, 28 May 2008 16:22:43 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:44 UTC