> 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.
- s